咨询C11标准6.3.1.4节第1段：浮点转unsigned int规则的正确性

参考C11标准相关段落：

当实数浮点类型的有限值转换为除_Bool外的整数类型时，小数部分被舍弃（即向零截断）。如果整数部分的值无法用目标整数类型表示，则行为未定义。[61]

对应的脚注61补充说明：

将整数类型转换为无符号类型时执行的取余操作，在将实数浮点类型转换为无符号类型时无需执行。因此，可移植的实数浮点值范围是 (−1, Utype_MAX+1)

针对你给出的unsigned int相关转换实例，逐一验证你的理解是否正确：

实例1 #

float    a = 3.14;
uint32_t b = (uint32_t)a; // 行为定义明确，b == 3

结论：理解正确
3.14的整数部分为3，完全在uint32_t的取值范围（0~4294967295）内，截断小数后结果为3，转换行为完全符合标准定义。

实例2 #

float    a = -1.23;
uint32_t b = (uint32_t)a; // 未定义行为（UB）！

结论：理解正确
-1.23的整数部分是-1，而uint32_t作为无符号类型无法表示负数，满足“整数部分无法用目标类型表示”的条件，因此转换行为属于未定义行为。

实例3 #

float a = 2147483646.0;   // 行为定义明确
uint32_t b = (uint32_t)a; // 行为定义明确，b == 2147483646

结论：理解正确
2147483646远小于uint32_t的最大值4294967295，整数部分可被目标类型准确表示，转换后值保持不变，行为明确。

实例4 #

uint8_t  c = (uint8_t )a;  // 未定义行为（UB）！

结论：理解正确
2147483646远超出uint8_t的取值范围（0~255），整数部分无法用目标类型表示，因此转换行为属于未定义行为。

总结 #

你对所有实例的理解均完全符合C11标准的规定，全部正确。

内容的提问来源于stack exchange，提问作者D.J. Elkind