将超出范围的double/float强制转换为uint8_t是否会导致未定义行为？

我尝试将double值“向下转换”为uint8_t类型，代码如下：

uint8_t downcast(uint8_t *down1, uint8_t *down2)
{
    //常规空指针检查
    double fval = 100.0; //在uint8_t取值范围内
    *down1 = (uint8_t)fval;  //应该可以正常工作...

    fval = 1000.0; //超出uint8_t取值范围
    *down2 = (uint8_t)fval;  //这能正常工作吗？？
}

我看到一些帖子建议进行这类“量化转换”，但不确定是否正确。我记得曾看到过，当double变量的值超出目标类型取值范围时，无论是C风格强制转换还是static_cast<uint8_t>(fval)都会导致未定义行为，想请教对此的看法？

核心结论 #

当浮点数转换为无符号整数类型（比如uint8_t）时，如果浮点数的值超出了目标无符号类型的取值范围，行为在C和C++的现代标准里是明确规定的，并非未定义行为。

具体规则说明 #

• C标准（C99及之后）：转换无符号整数时，若浮点数的整数部分超出目标类型范围，结果等于该整数部分对(目标类型最大值 + 1)取模的结果。以uint8_t为例，最大值是255，1000的整数部分对256（255+1）取模得232，所以转换结果就是232。
• C标准（C11及之后）：规则和C标准完全对齐，同样执行模运算。但要注意，C++11之前的旧标准中，这种情况确实属于未定义行为，这也是你之前记忆的来源。
• 和有符号整数的区别：如果是转换到有符号整数类型（比如int8_t），当浮点数超出范围时，行为才是未定义的，这是容易混淆的点。

实际使用提示 #

• 如果你需要的是边界截断（比如超出255就取255，低于0就取0），直接强制转换的逻辑不适用，得自己手动做边界判断，比如用C++的std::clamp：

  *down2 = static_cast<uint8_t>(std::clamp(fval, 0.0, 255.0));
  

• 确保编译器启用了现代标准（比如编译时加-std=c99或-std=c++11及以上参数），老旧编译器可能不遵循新规则。

内容的提问来源于stack exchange，提问作者C M