名前空間
変種
    操作

      std::numeric_limits<T>::is_modulo

      提供: cppreference.com
       
      C++
       
      ユーティリティライブラリ
      汎用ユーティリティ
      日付と時間
      関数オブジェクト
      書式化ライブラリ(C++20)
      (C++11)
      (C++14)
      関係演算子 (C++20で非推奨)
      整数比較関数
      (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
      (C++20)
      スワップと型操作
      (C++20)
      (C++14)
      (C++11)
      (C++11)
      (C++11)
      (C++11)
      (C++17)
      一般的な語彙の型
      (C++11)
      (C++17)
      (C++17)
      (C++17)
      (C++17)
      (C++17)

      初等文字列変換
      (C++17)
      (C++17)
      (C++17)
       
      型サポート
      型の性質
      (C++11)
      (C++11)
      (C++11)
      (C++11)
      (C++14)
      (C++11)
      (C++17)
      (C++11)
      (C++11)
      (C++11)
      (C++11)(C++20未満)
      (C++11)(C++20で非推奨)
      (C++11)
      (C++11)
      (C++20)
      (C++20)
      (C++17)
      型特性定数
      (C++11)(C++17)(C++11)(C++11)
      メタ関数
      (C++17)
      (C++17)
      (C++17)
      定数評価文脈
      (C++20)
      サポートされている操作
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)(C++11)(C++11)
      (C++11)
      (C++17)(C++17)(C++17)(C++17)
      関係と性質の問い合わせ
      型変更
      型変換
      (C++11)
      (C++11)
      (C++11)
      (C++20)
      (C++11)
      (C++17)
      (C++11)
      (C++11)
      (C++20)
      (C++11)
      (C++11)(C++20未満)(C++17)
      (C++20)
       
      std::numeric_limits
      static 定数
      numeric_limits::is_modulo
      (C++11)
      static メンバ関数
      (C++11)
      ヘルパー型
       
      staticconstbool is_modulo;
      		(C++11未満)
      staticconstexprbool is_modulo;
      		(C++11以上)

      std::numeric_limits<T>::is_modulo の値は、モジュロ算術を用いてオーバーフローを処理する可能性がある(C++11未満)すべての算術型に対して true になります。 つまり、その型の加減乗除の結果が範囲 [min(), max()] の外側になった場合、そのような演算の戻り値は期待される値と max()-min()+1 の倍数だけ異なります。

      符号付き整数型の場合、処理系が符号付き整数のオーバーフローをラップすると定義しない限り、 is_modulo は false です。

      		(C++11以上)

      目次

      [編集]標準の特殊化

      Tstd::numeric_limits<T>::is_modulo の値
      /* 非特殊化 */ false
      boolfalse
      char 処理系定義
      signedchar 処理系定義
      unsignedchartrue
      wchar_t 処理系定義
      char8_ttrue
      char16_ttrue
      char32_ttrue
      short 処理系定義
      unsignedshorttrue
      int 処理系定義
      unsignedinttrue
      long 処理系定義
      unsignedlongtrue
      longlong 処理系定義
      unsignedlonglongtrue
      floatfalse
      doublefalse
      longdoublefalse

      [編集]ノート

      C++11 標準は「ほとんどのマシンでは、この値は符号付き整数型に対して true です」と言っていましたが、これは欠陥であり、訂正されました。 正確な文言は C++03 から C++11 の間で変更され、 true の値はもはや符号付き整数のオーバーフローにおける未定義動作と互換性がななくなりました。 それにより、 (最適化の機会のために) 符号付きのオーバーフローが未定義であることに頼る処理系は、符号付き整数型に対する is_modulo を false に設定するようになりました。 例としては GCC PR 22200 を参照してください。

      [編集]例

      モジュロ型の動作をデモンストレーションします。

      Run this code
      #include <iostream>#include <type_traits>#include <limits>   template<class T>typenamestd::enable_if<std::numeric_limits<T>::is_modulo>::type check_overflow(){std::cout<<"\nmax 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>(); check_overflow<unsignedlong>();// 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++ 標準に遡って適用されました。

      DR 適用先 発行時の動作 正しい動作
      LWG 2422 C++11 is_modulo was required to true
      for signed integer types on most machines       		required to be false for signed integer types
      unless signed integer overflow is defined to wrap

      [編集]関連項目

      [静的]
      		 整数型を識別します
      (パブリック静的メンバ定数)[edit]
      [静的]
      		 IEC 559/IEEE 754 の浮動小数点型を識別します
      (パブリック静的メンバ定数)[edit]
      [静的]
      		 正確な型を識別します
      (パブリック静的メンバ定数)[edit]
      「https://ja.cppreference.com/mwiki/index.php?title=cpp/types/numeric_limits/is_modulo&oldid=43737」から取得
      close