【要約】C++ float-to-int conversion can be undefined behavior [Hacker_News] | Summary by TechDistill
> Source: Hacker_News
Execute Primary Source
// Discussion Topic
C++において、floatからintへの変換が範囲外の値を持つ場合に未定義動作（UB）となる問題が議論されている。この問題は、数値変換の境界条件における言語仕様の扱いに直結する。
- ・Herb Sutterによる「内部的なUB利用は無害である」という主張に対する、エンジニアからの強い疑義。
- ・コンパイラが「UBは発生しない」と仮定して最適化を行うことで、挙動が変化するリスク。
- ・ターゲットプラットフォームや将来のコンパイラ実装に依存する、UBの不安定な性質。
- ・Core Guidelines Libraryの設計が、この問題に対して適切に対応していないという批判。
// Community Consensus
本スレッドでは、コンパイラ実装者がUBを最適化の手段として利用することの是非について、議論が交わされている。
- ・実装者側の視点: UBはMSVC等のコンパイラや標準ライブラリの実装者が、最適化を行うための「特別な権限」として機能している。
- ・安全性重視の視点: コンパイラの仮定はプラットフォームや将来のバージョンに依存するため、極めて脆弱である。
- ・設計への批判: Core Guidelines Libraryの設計が、この問題に対して一貫性を欠いているとの指摘。
- ・将来への期待: C++29において、多くのUBを「Erroneous Behavior（誤った動作）」として再定義する動きへの期待。
// Alternative Solutions
- ・C++29で予定されている、多くのUBを「Erroneous Behavior（誤った動作）」として再定義するアプローチ。
// Technical Terms
Senior Engineer Insight
> 現場の技術責任者として、UBを「コンパイラへの信頼」として利用するのは極めて危険だと判断する。Sutterの主張は実装者側の論理であり、アプリケーション開発者の視点ではない。コンパイラの最適化は、我々の想定を容易に裏切る。特に数値変換のような境界条件では、明示的な範囲チェックを徹底すべきだ。UBの緩和（C++29）を待つのではなく、防御的プログラミングを標準とするべきである。