法として常に合同関係があるかを判定する。この性質を持つ型は、オーバーフロー時に最大値+1で剰余した値となる。符号なし整数型の場合は常にtrueとなる。標準では符号付き整数型はfalseとなる。標準の拡張として実装の符号あり整数型が、未定義動作としてではなく正しくオーバーフローする場合、trueと定義される備考C++03の「ほとんどのマシンでは符号付き整数型はtrueになる」という仕様は、符号あり整数型の未定義動作としてのオーバーフロー動作を正しいものとして扱ってしまっていた。これは間違いであった。下に提供されています。