std::is-integer-like(C++20)

namespace std {
  template<class T>
  inline constexpr bool is-integer-like = /*see below*/;

  template<class T>
  inline constexpr bool is-signed-integer-like = /*see below*/;
}

概要

これらの説明専用の変数テンプレートは、任意の型Tが符号付/なし整数型そのものあるいはそれと同様に扱える型である場合にtrueを示すものである。

これは標準ライブラリ内において、イテレータの差分型（difference_type）として実装定義の整数型の使用を許可するためにコンセプトの文脈で使用される。

効果

is-integer-like<T>はTがintegralのモデルとなるかinteger-classである時にtrueを示す。
is-signed-integer-like<T>はTがsigned_integralのモデルとなるかsigned-integer-classである時にtrueを示す。

(signed-)integer-class型

integer-class型は組み込みの整数型と同じように動作する実装定義のクラス型である。

integer-class型の表現可能な範囲はそれが定義する値の連続集合であり、0と1を必ず含んでいなければならない。この時、その範囲に負の数が含まれていればその型はsigned-integer-class型であり、それ以外のものはunsigned-integer-class型である。

要件

Iをあるinteger-class型、Bを少なくともIと同じ範囲の値を表現可能で同じ幅を持つ別のinteger-class型とする。
Iの値a, b、a, bそれぞれと同じ値を表現するBの値x, yと任意の整数型の値cについて次のことが成り立つ。

• 式@xが適格である全ての単項演算子@について@aもまた適格であり、共に同じ値、効果、値カテゴリを持つ。@xがbool型を示す場合@aもまたbool型を示すが。@xがBを示す場合は@aはIを示す。
• 式c @= xが適格である全ての（複合）代入演算子@=についてc @= aもまた適格であり、共に同じ値、効果を持つ。式c @= aの結果はcを参照するlvalueとなる。
• 式x @ yが適格である全ての二項演算子@についてa @ bもまた適格であり、結果の値をIが表現できる場合は共に同じ値、効果、値カテゴリを持つ。x @ yがbool型を示す場合a @ bもまたbool型を示すが。x @ yがBを示す場合はa @ bはIを示す。
• integer-class型の値は任意の整数型に明示的に変換でき、任意の整数型の値はinteger-class型に暗黙的にも明示的にも変換できる。それらの変換は例外を送出しない。
• integer-class型の式Eはbool(E != I(0))のように文脈的にboolに変換できる。
• integer-class型はregular及びtotally_orderedのモデルとなる。
• 値初期化されたinteger-class型の値は0になる。

integer-class型Iについてnumeric_limits<I>の特殊化は次のような値を示す。

• numeric_limits<I>::is_specialized == true
• numeric_limits<I>::is_signed== true
  • Iがsigned-integer-class型の場合のみ
• numeric_limits<I>::digitsはIの幅と等しい
• numeric_limits<I>::digits10はstatic_cast<int>(digits * log10(2))と等しい
• numeric_limits<I>::min()とnumeric_limits<I>::max()はそれぞれ、Iの表現可能な値の最小値と最大値を返す。numeric_limits<I>::lowest()はnumeric_limits<I>::max()を返す。

バージョン

言語

• C++20

関連項目

• weakly_incrementable
• iota_view

参照

• P1522R1 Iterator Difference Type and Integer Overflow