インクリメント/デクリメント演算子

 

C++

コンパイラサポート

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

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

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

言語サポートライブラリ

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

診断ライブラリ

メモリ管理ライブラリ

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

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

コンテナライブラリ

イテレータライブラリ

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

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

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

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

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

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

C++言語

全般
プリプロセッサ コメント	キーワード エスケープシーケンス
フロー制御
条件実行文
if	switch
繰り返し文 (ループ)
for 範囲for文 (C++11)	while do-while
ジャンプ文
continue - break	goto - return
関数
関数宣言
ラムダ式
inline指定子
動的例外仕様 (C++17まで*)
noexcept指定子 (C++11)
例外
throw式 tryブロック	catchハンドラ
名前空間
名前空間宣言	名前空間エイリアス
型
基本型 列挙型 関数型	クラス/構造体型 共用体型
指定子
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
記憶域期間指定子
初期化
デフォルト初期化 値初期化 ゼロ初期化 コピー初期化 直接初期化	集成体初期化 リスト初期化 (C++11)   定数初期化 参照初期化

式
値カテゴリ 評価順序	演算子 演算子の優先順位
代替表現
リテラル
ブーリアン - 整数 - 浮動小数点数
文字 - 文字列 - nullptr (C++11)
ユーザー定義 (C++11)
ユーティリティ
属性 (C++11)
型
typedef宣言
型エイリアス宣言 (C++11)
キャスト
暗黙の型変換 static_cast const_cast	明示的な型変換 dynamic_cast reinterpret_cast
メモリ確保
new式	delete式
クラス
クラス宣言 コンストラクタ thisポインタ	アクセス指定子 friend指定子
クラス固有の関数プロパティ
仮想関数 override指定子 (C++11)   final指定子 (C++11)	explicit (C++11) static
特殊メンバ関数
デフォルトコンストラクタ コピーコンストラクタ ムーブコンストラクタ (C++11)	コピー代入 ムーブ代入 (C++11) デストラクタ
テンプレート
クラステンプレート 関数テンプレート	テンプレートの特殊化 パラメータパック (C++11)
その他
インラインアセンブリ	C++の歴史

 

式

全般
値カテゴリ 評価順序 定数式 一次式	ラムダ式 (C++11) requires式 (C++20) パックインデックス式 (C++26) 評価される可能性のある式
リテラル
整数リテラル 浮動小数点リテラル ブーリアンリテラル 文字リテラル	エスケープシーケンス 文字列リテラル ヌルポインターリテラル (C++11) ユーザー定義リテラル (C++11)
演算子
代入演算子 インクリメントとデクリメント 算術演算子 論理演算子 比較演算子 メンバーアクセス演算子 その他の演算子 new式 delete式 throw式	alignof sizeof sizeof... (C++11) typeid noexcept (C++11) 畳み込み式 (C++17) 演算子の代替表現 優先順位と結合規則 演算子のオーバーロード デフォルト比較 (C++20)
型変換
暗黙の型変換 明示的な型変換 通常の算術変換     ユーザー定義変換	const_cast static_cast dynamic_cast reinterpret_cast

 

インクリメント/デクリメント演算子は、オブジェクトの値をインクリメントまたはデクリメントします。

演算子名	構文	オーバーロード可能	プロトタイプの例 (class T の場合)
			クラス定義内	クラス定義外
前置インクリメント	++a	はい	T& T::operator++();	T& operator++(T& a);
前置デクリメント	--a	はい	T& T::operator--();	T& operator--(T& a);
後置インクリメント	a++	はい	T T::operator++(int);	T operator++(T& a, int);
後置デクリメント	a--	はい	T T::operator--(int);	T operator--(T& a, int);
注釈 組み込み演算子の前置バージョンは*参照*を返し、後置バージョンは*値*を返し、典型的なユーザー定義オーバーロードも同様のパターンに従うため、ユーザー定義演算子も組み込み演算子と同じように使用できます。ただし、ユーザー定義演算子のオーバーロードでは、任意の型を戻り値型として使用できます（voidを含む）。 intパラメータは、演算子の前置バージョンと後置バージョンを区別するために使用されるダミーパラメータです。ユーザー定義の後置演算子が呼び出されるとき、そのパラメータに渡される値は常にゼロですが、関数呼び出し表記（例: a.operator++(2) または operator++(a, 2)）を使用して演算子を呼び出すことで変更される可能性があります。

前置演算子

前置インクリメントおよびデクリメント式は次の形式を持ちます。

++ 式
-- 式

1) 前置インクリメント (pre-increment)

2) 前置デクリメント (pre-decrement)

組み込み前置演算子

1) 式 ++x は x += 1 と同等ですが、以下の例外があります。

式の型が (おそらく揮発性修飾された) bool の場合、式は true に設定されます。このようなインクリメントは非推奨です。	(C++17まで)
式の型が (おそらく cv 修飾された) bool の場合、プログラムは ill-formed です。	(C++17以降)
式の型が揮発性修飾されている場合、インクリメントは非推奨です。	(C++20以降)

2) 式 --x は x -= 1 と同等ですが、以下の例外があります。

• 式の型が (おそらく cv 修飾された) bool の場合、プログラムは ill-formed です。

式の型が揮発性修飾されている場合、デクリメントは非推奨です。

(C++20以降)

オーバーロード

ユーザー定義演算子に対するオーバーロード解決では、bool 以外のすべての任意に volatile 修飾された算術型 A、およびすべての任意に volatile 修飾された任意に cv 修飾されたオブジェクト型へのポインタ P について、以下の関数シグネチャがオーバーロード解決に参加します。

A& operator++(A&)
bool& operator++(bool&)		(非推奨)(C++17まで)
P& operator++(P&)
A& operator--(A&)
P& operator--(P&)

後置演算子

後置インクリメントおよびデクリメント式は次の形式を持ちます。

式 ++
式 --

1) 後置インクリメント (post-increment)

2) 後置デクリメント (post-decrement)

組み込み後置演算子

後置インクリメントまたはデクリメントの結果は、式に (変更前の)lvalue-to-rvalue変換を適用して得られる値です。結果の型は、式の型のcv非修飾バージョンです。

式が (おそらく cv 修飾された) bool 以外の算術型または完全なオブジェクト型へのポインタの変更可能な lvalue ではない場合(C++17以降)、プログラムは ill-formed です。

式の型が揮発性修飾されている場合、インクリメントまたはデクリメントは非推奨です。

(C++20以降)

1) 式の値は、それが前置 ++ 演算子のオペランドであるかのように変更されます。

2) 式の値は、それが前置 -- 演算子のオペランドであるかのように変更されます。

後置インクリメントまたはデクリメントの値計算は、式の変更より前にシーケンスされます。不確定な順序の関数呼び出しに関して、後置インクリメントまたはデクリメントの操作は単一の評価です。

オーバーロード

ユーザー定義演算子に対するオーバーロード解決では、bool 以外のすべての任意に volatile 修飾された算術型 A、およびすべての任意に volatile 修飾された任意に cv 修飾されたオブジェクト型へのポインタ P について、以下の関数シグネチャがオーバーロード解決に参加します。

A operator++(A&, int)
bool operator++(bool&, int)		(非推奨)(C++17まで)
P operator++(P&, int)
A operator--(A&, int)
P operator--(P&, int)

例

このコードを実行

#include <iostream>
 
int main()
{
    int n1 = 1;
    int n2 = ++n1;
    int n3 = ++ ++n1;
    int n4 = n1++;
//  int n5 = n1++ ++;   // error
//  int n6 = n1 + ++n1; // undefined behavior
    std::cout << "n1 = " << n1 << '\n'
              << "n2 = " << n2 << '\n'
              << "n3 = " << n3 << '\n'
              << "n4 = " << n4 << '\n';
}

出力

n1 = 5
n2 = 2
n3 = 4
n4 = 4

注釈

副作用が伴うため、組み込みのインクリメントおよびデクリメント演算子は、シーケンス規則の違反による未定義動作を避けるために注意して使用する必要があります。

後置インクリメントおよび後置デクリメントではオブジェクトの一時的なコピーが構築されるため、戻り値が使用されないコンテキストでは、前置インクリメントまたは前置デクリメント演算子の方が通常は効率的です。

標準ライブラリ

インクリメントおよびデクリメント演算子は、多くの標準ライブラリ型でオーバーロードされています。特に、すべてのLegacyIteratorは operator++ をオーバーロードし、すべてのLegacyBidirectionalIteratorは operator-- をオーバーロードします。たとえそれらの演算子が特定のイテレータにとって何もしない場合でもです。

算術型に対するオーバーロード
operator++operator++(int)operator--operator--(int)	アトミック値を1増減させる (std::atomic<T> のパブリックメンバ関数)
operator++operator++(int)operator--operator--(int)	ティック数を増減する (std::chrono::duration<Rep,Period> のパブリックメンバ関数)
イテレータ型に対するオーバーロード
operator++operator++(int)	イテレータを進める (std::raw_storage_iterator<OutputIt,T> のパブリックメンバ関数)
operator++operator++(int)operator+=operator+operator--operator--(int)operator-=operator-	reverse_iterator を進めるかデクリメントする (std::reverse_iterator<Iter> のパブリックメンバ関数)
operator++operator++(int)operator+=operator+operator--operator--(int)operator-=operator-	move_iteratorを進める、または減らす (std::move_iterator<Iter> のパブリックメンバ関数)
operator++operator++(int)	何も行わない (std::front_insert_iterator<Container> のパブリックメンバ関数)
operator++operator++(int)	何も行わない (std::back_insert_iterator<Container> のパブリックメンバ関数)
operator++operator++(int)	何も行わない (std::insert_iterator<Container> のパブリックメンバ関数)
operator++operator++(int)	イテレータを進める (std::istream_iterator<T,CharT,Traits,Distance> のパブリックメンバ関数)
operator++operator++(int)	何も行わない (std::ostream_iterator<T,CharT,Traits> のパブリックメンバ関数)
operator++operator++(int)	イテレータを進める (std::istreambuf_iterator<CharT,Traits> のパブリックメンバ関数)
operator++operator++(int)	何も行わない (std::ostreambuf_iterator<CharT,Traits> のパブリックメンバ関数)
operator++operator++(int)	イテレータを次のマッチに進める (std::regex_iterator<BidirIt,CharT,Traits> のパブリックメンバ関数)
operator++operator++(int)	イテレータを次のサブマッチに進める (std::regex_token_iterator<BidirIt,CharT,Traits> のパブリックメンバ関数)

欠陥報告

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

DR	適用対象	公開された動作	正しい動作
CWG 2855	C++98	組み込みの前置インクリメントおよび 前置デクリメントには通常の算術変換が適用されるが、後置の対応物には適用されなかった	も適用される
CWG 2901	C++98	組み込みの後置インクリメントおよび後置デクリメントには lvalue-to-rvalue 変換が適用されなかった	適用済み

関連項目

演算子の優先順位

演算子のオーバーロード

共通の演算子
代入	インクリメント デクリメント	算術	論理	比較	メンバ アクセス	その他
a = b a += b a -= b a *= b a /= b a %= b a &= b a |= b a ^= b a <<= b a >>= b	++a --a a++ a--	+a -a a + b a - b a * b a / b a % b ~a a & b a | b a ^ b a << b a >> b	!a a && b a || b	a == b a != b a < b a > b a <= b a >= b a <=> b	a[...] *a &a a->b a.b a->*b a.*b	関数呼び出し a(...)
						コンマ a, b
						conditional a ? b : c
特殊な演算子
static_castは、ある型を関連する別の型に変換する dynamic_castは、継承階層内で変換する const_castは、cv修飾子を追加または削除する reinterpret_castは、型を関連のない型に変換する C形式のキャストは、static_cast、const_cast、reinterpret_castの組み合わせによって、ある型を別の型に変換する newは、動的ストレージ期間を持つオブジェクトを作成する deleteは、new式によって以前に作成されたオブジェクトを破棄し、取得したメモリ領域を解放する sizeofは、型のサイズを問い合わせる sizeof...は、パラメータパックのサイズを問い合わせる (C++11以降) typeidは、型の型情報を問い合わせる noexceptは、式が例外を投げる可能性があるかどうかをチェックする (C++11以降) alignofは、型のアライメント要件を問い合わせる (C++11以降)

C ドキュメント (インクリメント/デクリメント演算子)