Perché è necessario aggiungere una L o F dopo un valore assegnato a una costante C++?

Question

Ho visto alcuni posti online e non riesco a trovare una buona spiegazione per perché dovremmo aggiungere una F o L dopo un valore assegnato a una costante C++. Ad esempio:

const long double MYCONSTANT = 3.0000000L; 

Qualcuno può spiegare perché è necessario? La dichiarazione del tipo non implica che il valore assegnato a MYCONSTANT sia un lungo doppio? Qual è la differenza tra la riga sopra e

const long double MYCONSTANT = 3.0000000;  // no 'L' appended 

Whew!

Answer 1

Le costanti a virgola mobile hanno tipo double per impostazione predefinita in C++. Poiché uno long double è più preciso di uno double, è possibile perdere cifre significative quando le costanti long double vengono convertite in double. Per gestire queste costanti, è necessario utilizzare il suffisso L per mantenere la precisione long double. Ad esempio,

long double x = 8.99999999999999999; 
long double y = 8.99999999999999999L; 
std::cout.precision(100); 
std::cout << "x=" << x << "\n"; 
std::cout << "y=" << y << "\n"; 

L'uscita per questo codice sul mio sistema, dove double è di 64 bit e long double 96, è

x=9 
y=8.9999999999999999895916591441391574335284531116485595703125 

Quello che sta succedendo qui è che x ottiene arrotondato prima della cessione, in quanto il la costante viene convertita implicitamente in double e 8.99999999999999999 non è rappresentabile come numero in virgola mobile a 64 bit. (Si noti che la rappresentazione come long double non è completamente precisa sia. Tutte le cifre dopo la prima stringa di 9 s sono un tentativo di approssimare il numero decimale 8.99999999999999999 più fedelmente possibile utilizzando 96 bit binari.)

Nel Ad esempio, non è necessaria la costante L, poiché 3.0 è rappresentabile esattamente come double o long double. Il valore costante double viene convertito implicitamente in long double senza alcuna perdita di precisione.

Il caso con F non è così ovvio. Può aiutare con il sovraccarico, come sottolinea Zan Lynx. Non sono sicuro, ma potrebbe anche evitare alcuni sottili errori di arrotondamento (ad esempio, è possibile che la codifica come float fornisca un risultato diverso dalla codifica come double, quindi arrotondando a float).

Answer 2

No, la dichiarazione non implica che l'inizializzatore abbia un tipo specifico. Il tipo di inizializzazione è lo stesso, indipendentemente dal tipo di inizializzazione della variabile.

Quindi, se si inizializza uno long double, ma si utilizza un double per l'intializzazione, sarebbe piuttosto sciocco. Utilizzando il suffisso L, si dice che è un letterale a virgola mobile di tipo long double. Aggiunto a un intero letterale, direi che il tipo ha long int.

Answer 3

Quando esiste un valore letterale, viene considerato di un determinato tipo. 3.0 è considerato un doppio 3 è considerato un int. 3.0F lo rende in un float invece di un doppio 3.0L lo rende un doppio lungo invece di un doppio. 3L è un int lungo invece di un int.

Nota almeno in g ++ e VS08 entrambi gli esempi funzionano correttamente.

Answer 4

L'esempio non ne ha bisogno, ma la ragione principale per cui so di utilizzare i tipi espliciti sui valori letterali è di assicurarsi che venga chiamato il sovraccarico della funzione corretta.

Questo può fare una grande differenza di costruttori, sovraccarichi operatore, ecc

a volte non c'è modo conveniente per ottenere il letterale nel tipo giusto, quindi è necessario utilizzare uno static_cast o mettere un costruttore in tutto il letterale.