C 和 C++ 编译器何时将浮点数隐式转换或提升为双精度值？

Question

对于嵌入式项目，我想知道符合标准的 C 编译器 (C99) 和 C++ 编译器 (C++11) 何时最有可能将单浮点变量/值隐式提升为 double-浮动。

我知道两种情况：

1. 不带f 后缀的文字。例如：3.14
2. 将浮点数传递给具有可变参数列表的函数 (...)

还有其他人吗？模板呢？

this question 的回答对我也很有帮助 - 包括在此处以供参考。

Answer 1

在 C 中：

带有. 且没有后缀的数字文字，例如3.14，不涉及任何推广。它的整个生命周期都是double。

如果浮点数是函数调用的参数，并且被调用的函数在范围内没有原型，或者参数对应于省略号 (...)，则浮点数被提升为双精度在原型范围内。

浮点数在以下任何情况下转换为双精度：

• float 是函数调用的参数，对应于作用域原型中double 类型的参数。
• 二元运算符有double 和float 作为两种参数类型。适用的运营商是：* / + - < > <= >= == !=
• 条件运算符将double 和float 作为第二个和第三个操作数（按任意顺序）
• 浮点数被转换为double
• 浮点数被分配给double（包括复合分配）

---

在 C++ 中，上述所有情况仍然适用，除了没有原型的情况（因为 C++ 要求所有函数调用在范围内都有原型）。

有一个新案例：standard conversion sequence，太复杂了，无法简单概括。但作为一个例子，这个 C++ 代码包含从 float 到 double 的隐式转换：

class T { public: T(double dummy) {} };
void foo(T); 
foo(3.14f); // Conversion sequence: float->double->T

但我不确定这是否是 C++ 的详尽列表。