Bir şamandırayı başka bir değişkene kopyalarsam eşit olur mu?

==Kayan nokta değişkenlerinin eşitliğini kontrol etmek için kullanmanın iyi bir yol olmadığını biliyorum . Ama bunu sadece aşağıdaki ifadelerle bilmek istiyorum:

float x = ...

float y = x;

assert(y == x)

Yana ykopyalanır x, iddia doğru olacak?

assert(NaN==NaN);Kmdreko tarafından işaret edilen davanın yanı sıra, 80 bit şamandıralar geçici olarak hafızaya kaydedildiğinde ve daha sonra hala bir sicilde saklanan değerlerle karşılaştırıldığında x87-math ile durumlarınız olabilir.

Aşağıdakilerle derlendiğinde gcc9.2 ile başarısız olabilecek olası en az örnek -O2 -m32:

#include <cassert>

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

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

volatileYeterli kayıt-basınç oluşturmak için yönetmek durumunda muhtemelen etmiş, atlanabilir ysaklanabilir ve bellekten yeniden (ama derleyici yeterli, hepsi bir arada karşılaştırma ihmal edilmeyip karıştırmayın).

GCC SSS referansına bakın:

• Neden kayan nokta sonuçları optimizasyon seviyeleri, farklı derleyici sürümleri veya farklı hedef mimarileri ile değişir?

Bu true olmayacaktır xolan NaNkarşılaştırmalar üzerinde beri NaNvardır her zaman false (evet, hatta NaN == NaN). Diğer tüm durumlar için (normal değerler, alt normal değerler, sonsuzluklar, sıfırlar) bu iddia doğru olacaktır.

Kayan noktalardan kaçınma tavsiyesi , kayan nokta sayılarının aritmetik ifadelerde kullanıldığında birçok sonucu tam olarak ifade edememesi nedeniyle yapılan hesaplamalar== için geçerlidir . Atama bir hesaplama değildir ve atamanın orijinalden farklı bir değer vermesinin bir nedeni yoktur.

Standartlara uyulursa, genişletilmiş hassasiyetli bir sorun söz konusu olmamalıdır. Kaynaktan <cfloat>C miras [5.2.4.2.2.8] ( vurgu mayın ):

Atama ve yayın hariç (tüm ekstra aralığı ve hassasiyeti kaldıran) , kayan işlenenlerle işlemlerin değerleri ve normal aritmetik dönüşümlere ve kayan sabitlere tabi değerler, aralığı ve hassasiyeti, yazın.

Comments belirttiğimiz gibi Ancak, bazı derleyici, yap-seçenekleri ve hedefleri olan bazı vakalar olabilir bu paradoksal yanlış yapmak.

Evet, ykesinlikle değerini alacaktır x:

[expr.ass]/2: Basit atamada (=), sol işlenen tarafından atıfta bulunulan nesne, değeri sağ işlenenin sonucuyla değiştirilerek değiştirilir ([defns.access]).

Diğer değerlerin atanması için boşluk yoktur.

^{(Diğerleri, bir denklik karşılaştırmasının ==yine de falseNaN değerleri için değerlendirileceğini belirtmişlerdir .)}

Kayan nokta ile ilgili genel sorun, düşündüğünüz değere sahip ==olmanın kolay olmamasıdır . Burada iki değerin, her neyse, aynı olduklarını biliyoruz.

Evet, her durumda (NaN'leri ve x87 sorunlarını göz ardı ederek), bu doğru olacaktır.

Eğer bir yaparsanız memcmponlara NaN'ler ve sNaNs karşılaştırmak mümkün olurken sen eşitlik mümkün test olacak. Bu ayrıca derleyicinin değeri float80 bit yerine 32 bit'e zorlayacak değişkenin adresini almasını gerektirir . Bu, x87 sorunlarını ortadan kaldıracaktır. Buradaki ikinci iddia, ==NaN'leri doğru olarak karşılaştırmayacağını göstermeme amaçlıdır:

#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;
}

NaN'lerin farklı bir iç temsili varsa (yani farklı mantis), bunun memcmpdoğru karşılaştırmayacağını unutmayın.

Normal durumlarda, doğru olarak değerlendirilir. (veya iddia beyanı hiçbir şey yapmaz)

Düzenle :

'Olağan durumlar' ile kastedilen, diğer kullanıcıların işaret ettiği gibi yukarıda belirtilen senaryoları (NaN değerleri ve 80x87 kayan nokta birimleri gibi) hariç tutuyorum.

Bugünün bağlamında 8087 yongaların eskimesi göz önüne alındığında, konu oldukça izole edilmiştir ve sorunun kullanılan kayan nokta mimarisinin mevcut durumuna uygulanabilir olması için, bu durum NaN'ler dışındaki tüm durumlar için geçerlidir.

(8087 hakkında referans - https://home.deec.uc.pt/~jlobo/tc/artofasm/ch14/ch143.htm )

Kudos, iyi bir örnek oluşturduğu için @chtz'e ve NaN'lerden bahsettiği için @kmdreko'ya - daha önce bunları bilmiyordu!

Evet, NaN olmadığı sürece her zaman True döndürür . Değişken değeri NaN ise, her zaman False !