c++ - "float = float - float"中是否存在隐式类型提升？

Question

我们正在使用 QA-C 来实现 MISRA C++ 一致性，但是该工具会为这样的代码喷出错误:

float a = foo();
float b = bar();
float c = a - b;

据我所知，这没有隐式类型提升，因为一切都将发生在 float 大小的 block 中，但该工具告诉我减法会导致一个。有没有可能存在隐性提升的情况？

Answer 1

这里不涉及隐式提升。

当涉及涉及二元运算符的转换时，它们被称为普通算术转换。

来自 C++ 标准，[expr]/11 :

11 Many binary operators that expect operands of arithmetic or enumeration type cause conversions and yield result types in a similar way. The purpose is to yield a common type, which is also the type of the result. This pattern is called the usual arithmetic conversions, which are defined as follows:
...
(11.4) — Otherwise, if either operand is float, the other shall be converted to float.

由于在您的示例中两个操作数都是float，因此没有此类转换或提升。
因此，这可能是该工具的误报。