Являются ли литералы типами во время компиляции?

Question

Производит ли эти строки один и тот же скомпилированный код?

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

Или это три?

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

---

Редактировать

Предположим, что значения на правой стороне могут быть сохранены в виде 32-битного поплавка

Answer 1

Им не разрешается преобразовывать во время компиляции, если компилятор не может доказать, что преобразование во время компиляции эквивалентно преобразованию во время выполнения. Когда компилятор может доказать это, и для многих типов это легко, большинство компиляторов выполнит преобразование во время компиляции.

Но один пример, который вы приводите, представляет собой преобразование из литерала типа double для ввода float. Это становится сложно. Для компиляторов, которые поддерживают флаги состояния с плавающей запятой (какие компиляторы C должны поддерживать, когда используется прагма FENV_ACCESS, даже если ни gcc, ни clang не реализуют эту прагму), такое преобразование потенциально может иметь побочный эффект повышения «неточного» исключения, если преобразование с double в float потеряло бы точность. В вашем случае точность не будет потеряна, но, например, float f = 1.1;, это почти наверняка было бы. Если float f = 1.1; и float f = 1.1f; имеют явно различное поведение, компилятор не может превратить один в другой.

Answer 2

На практике, я был бы удивлен, если бы они не сделали , Заявления очень просты и могут быть тривиально разрешены во время компиляции.

Но, строго говоря, вы не можете и не должны полагаться на это. Семантически здесь есть конверсии, поэтому результаты могут быть не такими, какие вы ожидаете. Если ваш код полагается на это, скорее всего, вы делаете что-то странное.