コンパイル時にリテラルが型キャストされていますか？

Question

これらの行は同じコンパイルコードを生成しますか？

double one = 1.0; 
double one = 1.f; 
double one = 1; 

またはこの3つ？

float one = 1.0; 
float one = 1.f; 
float one = 1; 

---

編集

右側の値は実際には32ビットの浮動小数点

Answer 1

コンパイル時の変換が実行時の変換と同等であることをコンパイラが証明できない限り、コンパイル時には変換できません。コンパイラがそれを証明することができ、多くのタイプのために、ほとんどのコンパイラはコンパイル時に変換を実行します。

しかし、あなたが与える例の1つは、タイプdoubleのリテラルからタイプfloatへの変換です。これはやりにくくなる。浮動小数点ステータスフラグをサポートするコンパイラ（FENV_ACCESSプラグマが使用されているときにCコンパイラがサポートする必要があるコンパイラでは、gccもclangもそのプラグマを実装していないにもかかわらず、このような変換では "不正確"例外が発生する可能性がありますdoubleからfloatへの変換は精度を失います。あなたの場合、精度は失われませんが、例えばfloat f = 1.1;、それはほぼ確実です。 float f = 1.1;とfloat f = 1.1f;の動作がはっきりと異なる場合、コンパイラは一方を他方に切り替えることはできません。

Answer 2

として保存することができ、想定彼らはしなかった場合、私は驚かれることと思います。ステートメントは非常に簡単で、コンパイル時に簡単に解決できます。

厳密に言えば、これに頼ることはできません。意味的にコンバージョンが行われているので、結果は期待通りではない可能性があります。あなたのコードがこれに依存しているなら、あなたは何とか変なことをしているのでしょうか？