将负的 const double 转换为 unsigned 结果为 0 而非常量 double 很好

Question

我有这个代码：

#include <iostream>

int main() {
    double val = -400.0;
    const double constVal = -400.0;
    std::cout << val << std::endl;
    std::cout << static_cast<unsigned>(val) << std::endl;
    std::cout << constVal << std::endl;
    std::cout << static_cast<unsigned>(constVal) << std::endl;

    return 0;
}

当我运行它时，这是输出：

-400
4294966896
-400
0

为什么会发生这种情况？适量的谷歌搜索在这个问题上没有显示任何内容。

Answer 1

从cppreference.com：

浮点类型的纯右值可以转换为任何整数类型的纯右值。小数部分被截断，即小数部分被丢弃。如果该值不能适合目标类型，则行为未定义（即使目标类型是无符号的，模运算也不适用）。如果目标类型是 bool，这是一个布尔转换（见下文）。

-400 不能放入unsigned，因此行为未定义。试图对任何类型的一致性进行推理都是无用的。

由于这是未定义的行为，编译器在这种情况下可以做任何它想做的事情。通常，他们会做任何使他们的（定义的）行为更容易编码的事情。尽管有流行的说法，编译器不太可能让恶魔从你的鼻子里飞出来，但人们不应该期待任何特别的行为。