C++ における整数型の怪と "移植性のある" オーバーフローチェッカー (第5回 : 続・符号付き整数型のチェック) - Qiita

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに この連載では、C++ の整数型の奇妙な特性、そしてその中で整数オーバーフローを引き起こさないためのオーバーフローチェッカーをどう書くか、について主に解説します。 第5回では、第4回で証明できなかった一部の符号付き整数型のチェック方法から入っていきます。この回の内容は第4回と直結しているため、まずそちらを読んでから読み始めることを強く推奨します。 連載インデックス 第1回 : 整数型の怪と対策の不足 第2回 : 符号無し整数型のチェック 第3回 : C言語の整数の性質を知る 第4回 : 符号付き整数型のチェックと動機の動機 第5