std::numeric_limits<T>:: is_modulo

std:: numeric_limits < T > :: is_modulo の値は、モジュロ演算でオーバーフローを処理するすべての算術型 T に対して true です。つまり、この型の加算、減算、乗算、または除算の結果が範囲 [ min() , max() ] を超える場合、その演算によって返される値は期待値から max ( ) - min ( ) + 1 の倍数だけ異なります。

is_modulo は符号付き整数型の場合 false です。ただし、実装が符号付き整数のオーバーフローをラップするように定義している場合は除きます。

標準特殊化

注記

標準規格は、LWG issue 2422の解決以前には「ほとんどのマシンにおいて、これは符号付き整数について true である」と記述していました。関連する議論については LWG issue 2422 および GCC PR 22200 を参照してください。

例

#include <iostream>
#include <type_traits>
#include <limits>
template<class T>
typename std::enable_if<std::numeric_limits<T>::is_modulo>::type
    check_overflow()
{
    std::cout << "max value is " << std::numeric_limits<T>::max() << '\n'
              << "min value is " << std::numeric_limits<T>::min() << '\n'
              << "max value + 1 is " << std::numeric_limits<T>::max()+1 << '\n';
}
int main()
{
    check_overflow<int>();
    std::cout << '\n';
    check_overflow<unsigned long>();
//  check_overflow<float>(); // compile-time error, not a modulo type
}

max value is 2147483647
min value is -2147483648
max value + 1 is -2147483648
max value is 18446744073709551615
min value is 0
max value + 1 is 0

欠陥報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

1. ↑ 定義は「2つの正の数を加算すると、3番目のより小さい数にラップアラウンドする結果が得られる可能性がある」というものです。これには以下の問題があります：
   • ラップアラウンドした値が定義されていない。
   • 結果が再現可能かどうかが明記されていない。
   • すべての値に対する加算、減算、その他の演算の実行が定義された動作を持つことを要求していない。

関連項目