在 C++ 中将浮点数与双溢出相乘

Question

我对这个警告的意义有点困惑：
算术溢出：对 4 字节值使用运算符“”，然后将结果转换为 8 字节值。在调用 '' 运算符之前将值转换为更广泛的类型以避免溢出。

#include <iostream>
using std::cin;
using std::cout;
using std::ios_base;

int main() {
    cout.setf(ios_base::fixed, ios_base::floatfield);
    double mints = 10.0 / 3.0;
    const float c_MILLION = 1e6;
    cout << "\n10 million mints: " << 10 * c_MILLION * mints;

    cin.get();
}

根据我的理解，当我们将浮点值与双精度值相乘时，我们基本上是将 4 字节值乘以 8 字节值，因此根据我阅读的链接，我们将失去一些精度：

• Cannot implicitly convert type 'double' to 'float'
• Multiply a float with a double
  

http://www.cplusplus.com/articles/DE18T05o/#:~:text=Overflow%20is%20a%20phenomenon%20where,be%20larger%20than%20the%20range

但是，当我输出这个时，我得到一个双精度值
https://i.stack.imgur.com/EOQzm.png

如果是这样，如果 c_MILLION 自动将其更改为双精度结果，为什么还要提醒我将其强制转换为双精度值？无论如何，它无法将 8 字节值转换为 4 字节值。那么，既然它已经让我们摆脱了这个麻烦，为什么还要费心去警告程序员呢？
或者它也可以将 8 字节值转换为 4 字节值。如果是这样，它如何确定要打印的类型？这是一个我无法从我阅读的链接中找到答案的问题。
如果它自动将结果转换为 8byte 值，那么显示此警告的意义何在？
这是警告：
https://i.stack.imgur.com/L2szy.png

严重性代码说明项目文件行抑制状态 警告 C26451 算术溢出：对 4 字节值使用运算符“*”，然后将结果转换为 8 字节值。在调用运算符'*'之前将值转换为更广泛的类型以避免溢出（io.2）

问题是我将int 值与double 值相乘。但是当它自动将int 与double 的乘法转换为double 值时，警告仍然不存在。

Answer 1

警告是因为这个乘法：10 * c_MILLION。 c_MILLION 的某些值可能会丢失一些精度，如果首先将 c_MILLION 转换为 double，这些精度不会丢失。由于这个乘法的结果被转换为double，一个错误的程序员可能会假设如果操作数首先是double，则没有超出预期的精度丢失。因此发出警告。