C++浮点转整型竟会触发未定义行为

C++ float-to-int conversion can be undefined behavior

在C++中，将float转换为int时，若截断后的值超出目标整数范围，就会触发未定义行为。这种错误极易发生，且编译器默认不会发出警告。即便是Microsoft的Guidelines Support Library（GSL）中的gsl::narrow函数，也未能正确处理此类情况，反而在特定输入下产生未定义行为。尽管当前硬件和编译器可能让程序‘看似正常’，但不同平台上的表现差异可能导致严重问题。正确的做法是在转换前进行边界检查。作者基于Rust的饱和处理思路，开发了一个概念验证库cpp-clamp-cast，并推荐使用Clang和GCC的Undefined Behavior Sanitizer（-fsanitize=float-cast-overflow）来检测此类问题。