Son eki olmayan kayan nokta değişmezleri double türündedir , bu taslak C ++ standart bölümünde 2.14.4 Kayan değişmez değerler ele alınmıştır :
[...] Bir sonek tarafından açıkça belirtilmediği sürece kayan değişmez değerin türü çifttir. [...]
böylece atamak bir hatadır 3.0bir çift değişmezi a şamandıra ?:
float a = 3.0
Hayır, dönüştürülmez, 4.8 Kayan nokta dönüşümleri bölümünde ele alınmaktadır :
Kayan nokta türündeki bir prvalue, başka bir kayan nokta türünün bir pr değerine dönüştürülebilir. Kaynak değeri hedef türünde tam olarak gösterilebiliyorsa, dönüşümün sonucu bu tam temsildir. Kaynak değeri iki bitişik hedef değer arasındaysa, dönüşümün sonucu bu değerlerden herhangi birinin uygulama tanımlı bir seçimidir. Aksi takdirde, davranış tanımsızdır.
GotW # 67'de bunun etkileri hakkında daha fazla ayrıntı okuyabiliriz : çift veya hiçbir şey söyleyen:
Bu, bir çift sabitin örtük olarak (yani sessizce) bir float sabitine dönüştürülebileceği anlamına gelir, bunu yapmak hassasiyeti (yani verileri) kaybetse bile. Bunun C uyumluluğu ve kullanılabilirlik nedenleriyle kalmasına izin verildi, ancak kayan nokta çalışması yaparken aklınızda bulundurmaya değer.
Tanımlanmamış davranış olan bir şey yapmaya çalışırsanız, yani bir float'ın temsil edebileceği minimum değerden küçük veya maksimum değerden daha büyük bir float'a çift miktar koymaya çalışırsanız, kalite derleyicisi sizi uyaracaktır. Gerçekten iyi bir derleyici, tanımlanabilecek, ancak bilgi kaybedebilecek bir şey yapmaya çalışırsanız, yani bir float tarafından temsil edilebilen minimum ve maksimum değerler arasında bir float'a çift miktar koyarsanız, isteğe bağlı bir uyarı sağlayacaktır. tam olarak bir şamandıra olarak temsil edilmelidir.
Bu yüzden genel durum için farkında olmanız gereken uyarılar var.
Pratik bir perspektiften, bu durumda, teknik olarak bir dönüşüm olsa da sonuçlar büyük olasılıkla aynı olacaktır , bunu godbolt üzerinde aşağıdaki kodu deneyerek görebiliriz :
#include <iostream>
float func1()
{
return 3.0;
}
float func2()
{
return 3.0f ;
}
int main()
{
std::cout << func1() << ":" << func2() << std::endl ;
return 0;
}
ve biz sonuçları görüyoruz func1ve func2ikisini de kullanarak, aynıdır clangve gcc:
func1():
movss xmm0, DWORD PTR .LC0[rip]
ret
func2():
movss xmm0, DWORD PTR .LC0[rip]
ret
As Pascal bu yorumunda işaret her zaman bu saymak mümkün olmayacaktır. 0.1Ve 0.1fsırasıyla kullanmak , dönüştürmenin artık açıkça yapılması gerektiğinden, oluşturulan derlemenin farklı olmasına neden olur. Aşağıdaki kod:
float func1(float x )
{
return x*0.1;
}
float func2(float x)
{
return x*0.1f ;
}
aşağıdaki derlemeyle sonuçlanır:
func1(float):
cvtss2sd %xmm0, %xmm0 # x, D.31147
mulsd .LC0(%rip), %xmm0 #, D.31147
cvtsd2ss %xmm0, %xmm0 # D.31147, D.31148
ret
func2(float):
mulss .LC2(%rip), %xmm0 #, D.31155
ret
Dönüşümün performans üzerinde bir etkisi olup olmayacağını belirleyip belirlemediğinize bakılmaksızın, doğru türü kullanmak niyetinizi daha iyi belgeler. Örneğin, açık bir dönüşüm kullanmak static_cast, dönüşümün yanlışlıkla değil, bir hatayı veya olası bir hatayı işaret edebilecek şekilde tasarlandığını netleştirmeye yardımcı olur.
Not
Supercat'ın işaret ettiği gibi, örneğin 0.1ile çarpma 0.1feşdeğer değildir. Yorumdan alıntı yapacağım çünkü mükemmeldi ve bir özet muhtemelen bunu hak etmeyecektir:
Örneğin, f 100000224'e eşitse (bu tam olarak bir kayan nokta olarak gösterilebilir), onu onda bir ile çarpmak 10000022'ye yuvarlanan bir sonuç vermelidir, ancak 0.1f ile çarpmak bunun yerine hatalı bir şekilde 10000023'e yuvarlayan bir sonuç verecektir. Eğer on'a bölme niyetindeyseniz, çift sabit 0.1 ile çarpma muhtemelen 10f'ye bölmeden daha hızlı ve 0.1f ile çarpmadan daha kesin olacaktır.
Asıl amacım, başka bir soruda verilen yanlış bir örneği göstermekti, ancak bu, oyuncak örneklerinde ince sorunların olabileceğini iyi bir şekilde gösteriyor.
3.0sizin için bir float'a dönüştürecektir. Sonuç, ile ayırt edilemezfloat a = 3.0f.