C++ の float→int 変換は未定義動作、多くのコードが見落とし

要約

C++ で float を int に変換する際、truncate 後の値が int の範囲に収まらない場合は未定義動作となる。-Wall -Wextra を有効にしても警告されず、暗黙変換・explicit キャスト・static_cast のいずれでも同じリスクがある。マイクロソフトの Guidelines Support Library (GSL) の gsl::narrow も同じ落とし穴に陥っており、ドキュメントでは安全と説明しながら実装上は未定義動作のままである。x86 の CVTTSS2SI や AArch64 の FCVTZS など現在のプロセッサは INT_MIN へマップ or 飽和処理で「通常は動く」が、コンパイラ最適化で予期しない変換を受ける可能性がある。正しい対策は bounds check を cast 前に実施し、UBSan (-fsanitize=float-cast-overflow) での検証が推奨される。