Jika saya menyalin pelampung ke variabel lain, apakah mereka akan sama?

Saya tahu bahwa menggunakan ==untuk memeriksa persamaan variabel floating-point bukanlah cara yang baik. Tapi saya hanya ingin tahu itu dengan pernyataan berikut:

float x = ...

float y = x;

assert(y == x)

Sejak ydisalin dari x, akankah pernyataan itu benar?

Selain assert(NaN==NaN);case yang ditunjukkan oleh kmdreko, Anda dapat memiliki situasi dengan x87-matematika, ketika float 80bit disimpan sementara untuk memori dan kemudian dibandingkan dengan nilai-nilai yang masih disimpan di dalam register.

Mungkin contoh minimal, yang gagal dengan gcc9.2 saat dikompilasi dengan -O2 -m32 :

#include <cassert>

int main(int argc, char**){
    float x = 1.f/(argc+2);
    volatile float y = x;
    assert(x==y);
}

Demo Godbolt: https://godbolt.org/z/X-Xt4R

Itu volatile mungkin dapat dihilangkan, jika Anda berhasil membuat daftar-tekanan yang cukup telah ydisimpan dan reloaded dari memori (tapi membingungkan cukup compiler, tidak menghilangkan perbandingan semua-bersama-sama).

Lihat referensi FAQ GCC:

• Mengapa hasil floating-point berubah dengan tingkat optimisasi atau versi kompiler yang berbeda atau arsitektur target yang berbeda?

Ini tidak akan benar jika xini NaN, karena perbandingan pada NaNyang selalu salah (ya, bahkan NaN == NaN). Untuk semua kasus lain (nilai normal, nilai subnormal, infinities, nol) pernyataan ini akan benar.

Saran untuk menghindari ==mengapung berlaku untuk perhitungan karena angka floating point tidak dapat mengekspresikan banyak hasil persis ketika digunakan dalam ekspresi aritmatika. Tugas bukanlah perhitungan dan tidak ada alasan bahwa tugas akan menghasilkan nilai yang berbeda dari yang asli.

Evaluasi presisi yang diperluas harus menjadi masalah jika standar diikuti. Dari <cfloat>diwarisi dari C [5.2.4.2.2.8] ( penekanan milik saya ):

Kecuali untuk penugasan dan pemeran (yang menghapus semua jangkauan ekstra dan presisi) , nilai operasi dengan operan mengambang dan nilai yang tunduk pada konversi aritmatika biasa dan konstanta mengambang dievaluasi ke format yang jangkauan dan ketelitiannya mungkin lebih besar dari yang dipersyaratkan oleh Tipe.

Namun, seperti yang ditunjukkan oleh komentar, beberapa kasus dengan penyusun, opsi bangun, dan target tertentu dapat menjadikan ini salah secara paradoks.

Ya, ypasti akan mengambil nilai x:

[expr.ass]/2: Dalam penugasan sederhana (=), objek yang dirujuk oleh operan kiri dimodifikasi ([defns.access]) dengan mengganti nilainya dengan hasil operan kanan.

Tidak ada peluang untuk nilai-nilai lain yang ditugaskan.

^{(Yang lain telah menunjukkan bahwa perbandingan kesetaraan ==akan tetap dievaluasifalse untuk nilai NaN.)}

Masalah umum dengan floating-point ==adalah mudah untuk tidak memiliki cukup nilai yang Anda pikir Anda lakukan. Di sini, kita tahu bahwa kedua nilai itu, apa pun itu, adalah sama.

Ya, dalam semua kasus (mengabaikan masalah NaNs dan x87), ini akan benar.

Jika Anda melakukan memcmppada mereka, Anda akan dapat menguji kesetaraan sambil dapat membandingkan NaNs dan sNaNs. Ini juga akan meminta kompiler mengambil alamat variabel yang akan memaksa nilai menjadi 32-bit floatalih - alih yang 80-bit. Ini akan menghilangkan masalah x87. Penegasan kedua di sini dimaksudkan untuk gagal menunjukkan bahwa ==tidak akan membandingkan NaNs sebagai benar:

#include <cmath>
#include <cassert>
#include <cstring>

int main(void)
{
    float x = std::nan("");
    float y = x;
    assert(!std::memcmp(&y, &x, sizeof(float)));
    assert(y == x);
    return 0;
}

Perhatikan bahwa jika NaNs memiliki representasi internal yang berbeda (mis. Mantissa yang berbeda), maka memcmptidak akan membandingkan true.

Dalam kasus biasa, itu akan dievaluasi ke true. (atau pernyataan tegas tidak akan melakukan apa-apa)

Edit :

Dengan 'kasus biasa' yang saya maksud adalah mengecualikan skenario yang disebutkan di atas (seperti nilai NaN dan unit floating point 80x87) sebagaimana ditunjukkan oleh pengguna lain.

Mengingat usang 8087 chip dalam konteks saat ini, masalah ini agak terisolasi dan untuk pertanyaan yang berlaku dalam keadaan saat ini arsitektur floating-point yang digunakan, itu berlaku untuk semua kasus kecuali untuk NaNs.

(referensi tentang 8087 - https://home.deec.uc.pt/~jlobo/tc/artofasm/ch14/ch143.htm )

Kudos to @chtz untuk mereproduksi contoh yang baik dan @kmdreko untuk menyebutkan NaNs - tidak tahu tentang mereka sebelumnya!

Ya, itu akan selalu mengembalikan True , kecuali jika itu NaN . Jika nilai variabel NaN maka selalu mengembalikan False !