is-integer-like , is-signed-integer-like

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

イテレータライブラリ

イテレータのコンセプト
indirectly_readable (C++20) indirectly_writable (C++20) weakly_incrementable (C++20) incrementable (C++20) is-integer-like is-signed-integer-like (C++20)(C++20)	sentinel_for (C++20) sized_sentinel_for (C++20) input_iterator (C++20) output_iterator (C++20) input_or_output_iterator (C++20)	forward_iterator (C++20) bidirectional_iterator (C++20) random_access_iterator (C++20) contiguous_iterator (C++20)
イテレータのプリミティブ
input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tagcontiguous_iterator_tag (C++20)	iter_value_titer_difference_titer_reference_titer_const_reference_titer_rvalue_reference_titer_common_reference_t (C++20)(C++20)(C++20)(C++23)(C++20)(C++20)	iterator (C++17で非推奨) iterator_traits incrementable_traits (C++20) indirectly_readable_traits (C++20)
アルゴリズムのコンセプトとユーティリティ
間接呼び出し可能コンセプト
indirectly_unary_invocableindirectly_regular_unary_invocable (C++20)(C++20)	indirect_unary_predicate (C++20) indirect_binary_predicate (C++20)	indirect_equivalence_relation (C++20) indirect_strict_weak_order (C++20)
共通アルゴリズム要件
indirectly_movable (C++20) indirectly_movable_storable (C++20) indirectly_copyable (C++20)	indirectly_copyable_storable (C++20)   indirectly_swappable (C++20) indirectly_comparable (C++20)	permutable (C++20) mergeable (C++20) sortable (C++20)
ユーティリティ
indirect_result_t (C++20)	projected (C++20)	projected_value_t (C++26)
イテレータアダプタ
reverse_iterator make_reverse_iterator (C++14) move_iterator (C++11) make_move_iterator (C++11) default_sentinel_tdefault_sentinel (C++20)(C++20) unreachable_sentinel_tunreachable_sentinel (C++20)(C++20)	front_insert_iterator back_insert_iterator inserter insert_iterator front_inserter back_inserter move_sentinel (C++20)	common_iterator (C++20) counted_iterator (C++20) basic_const_iterator (C++23) const_iterator (C++23) const_sentinel (C++23) make_const_iterator (C++23) make_const_sentinel (C++23)
ストリームイテレータ istream_iterator    ostream_iterator istreambuf_iterator ostreambuf_iterator	イテレータのカスタマイゼーションポイント ranges::iter_move (C++20) ranges::iter_swap (C++20)
イテレータ操作 advance distance prev (C++11)   next (C++11) ranges::advance (C++20) ranges::distance (C++20) ranges::prev (C++20) ranges::next (C++20)	Rangeアクセス begincbegin (C++11)(C++14) rbegincrbegin (C++14)(C++14)   endcend (C++11)(C++14) rendcrend (C++14)(C++14)   sizessize (C++17)(C++20) empty (C++17) data (C++17)

 

template< class T > constexpr bool /*is-integer-like*/ = /* see description */;	(1)	(C++20以降) (説明用*)
template< class T > constexpr bool /*is-signed-integer-like*/ = /* see description */;	(2)	(C++20以降) (説明用*)

1) /*is-integer-like*/<T> は、T が整数型のような型である場合にのみ true です。

2) /*is-signed-integer-like*/<T> は、T が符号付き整数型のような型である場合にのみ true です。

整数クラス型

型 T は、整数型のように振る舞う、実装定義の型の集合に含まれる場合、下記で定義されるとおり、「整数クラス型」です。整数クラス型は必ずしもクラス型であるとは限りません。

整数クラス型は、\(\scriptsize 2^N \)2N
個の連続する整数を表すことができ、ここで N は正の整数であり、整数クラス型の「幅」と呼ばれます。

整数クラス型は、符号付きまたは符号なしのいずれかです。

• 「符号付き整数クラス型」は、[\(\scriptsize -2^{N-1} \)-2N-1
  , \(\scriptsize 2^{N-1}-1 \)2N-1
  -1] のすべての整数を表すことができ、ここで N はすべての符号付き整数型の幅よりも大きいです。
• 「符号なし整数クラス型」は、[\(\scriptsize 0 \)0, \(\scriptsize 2^N-1 \)2N
  -1] のすべての整数を表すことができ、ここで N はすべての符号なし整数型の幅よりも大きいです。

すべての整数クラス型は、regular および three_way_comparable<std::strong_ordering> をモデル化します。

整数クラス型の 値初期化されたオブジェクトは値 ​0​ を持ちます。

整数クラス型 T の式 E は、bool(E != T(0)) のように、文脈変換により bool に変換可能（コンテキスト変換）です。

整数型のような型

(cv修飾された) bool 以外の型は、integral をモデル化するか、または整数クラス型である場合に、「整数型のような型」です。

• 整数型のような型は、signed_integral をモデル化するか、または符号付き整数クラス型である場合に、「符号付き整数型のような型」です。
• 整数型のような型は、unsigned_integral をモデル化するか、または符号なし整数クラス型である場合に、「符号なし整数型のような型」です。

必須の振る舞い

整数クラス型の式は、任意の整数型のような型に明示的に変換可能であり、同じ幅で同じ符号を持つ任意の整数クラス型には暗黙的に変換可能です。整数型の式は、任意の整数クラス型に暗黙的にも明示的にも変換可能です。整数型と整数クラス型の間の変換、および2つの整数クラス型間の変換は、例外を発生させません。そのような変換の結果は、宛先型の幅 N を法とする合同な一意の値です。

以下の型を Int<T> と表記します。

• T が整数クラス型の場合、Int<T> は、T と同じ符号を持ち同じ幅を持つ、一意の仮想的な拡張整数型です。
• T が整数型の場合、Int<T> は T と同じ型です。

以下の型、値、および演算子を考慮します。

型	定義
IC	整数クラス型
IL	整数型のような型
値	定義
a	IC 型のオブジェクト
b	IL 型のオブジェクト
c	整数型の左辺値
x	a と同じ値を表す Int<IC> 型のオブジェクト
y	b と同じ値を表す Int<IL> 型のオブジェクト
Operator	定義
@=	+=, -=, *=, /=, %=, &=, |=, ^=, <<=, >>= のいずれか
@	+, -, *, /, %, &, |, ^, <<, >>, &&, ||, ==, !=, <, >, <=, >=, <=>, , のいずれか

以下の式は、指定された条件が満たされる場合、適切に形成され、指定された結果と効果を持ちます。

式	条件	結果	効果
a++	条件なし	a の評価前の値と同じ値を持つ IC 型の右辺値	a の値を 1 加算して変更します。
a--			a の値を 1 減算して変更します。
++a	a += 1 に式等価
--a	a -= 1 に式等価
&a	std::addressof(a) に式等価
!a	!x は適切に形成されます。	!x と同じ
+a	+x は適切に形成されます。	+x と同じですが、型は IC です。	+x と同じ
-a	-x は適切に形成されます。	-x と同じですが、型は IC です。	-x と同じ
~a	~x は適切に形成されます。	~x と同じですが、型は IC です。	~x と同じ
c @= a	c @= x は適切に形成されます。	c を参照する左辺値	c @= x と同じ
a @= b	x @= y は適切に形成されます。	a を参照する左辺値	x @= y と同じですが、x に格納される値は a に格納されます。
a @ b	x @ y は適切に形成されます。	x @ y と同じですが、結果の型は異なります。 もし x @ y が Int<IC> 型の場合、結果は IC 型になります。 もし x @ y が Int<IL> 型の場合、結果は IL 型になります。 もし x @ y がそれ以外の型 T の場合、結果は T 型になります。	x @ y と同じ
b @ a	y @ x は適切に形成されます。	y @ x と同じですが、結果の型は異なります。 もし y @ x が Int<IC> 型の場合、結果は IC 型になります。 もし y @ x が Int<IL> 型の場合、結果は IL 型になります。 もし y @ x がそれ以外の型 T の場合、結果は T 型になります。	y @ x と同じ

不具合報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 3366 (P2393R1)	C++20	整数クラス型とその対応する 整数型との間の変換は、表現可能な値を生成することが保証されていませんでした。	保証された
LWG 3376 (P2393R1)	C++20	整数クラス型はクラス型のみである可能性がありました。	も許可 非クラス型
LWG 3467	C++20	bool が整数型のような型として考慮されていました。	除外された
LWG 3575 (P2393R1)	C++20	整数クラス型は三方向比較可能であることが保証されていませんでした。	保証された

関連項目

weakly_incrementable (C++20)

semiregular 型が前置および後置インクリメント演算子でインクリメントできることを規定する (コンセプト)