Expressions

式は、 operators とその operands の連続であり、計算を指定するものです。

式の評価は結果を生成する場合があります（例えば、 2 + 2 の評価は結果 4 を生成します）また、副作用を生じる場合があります（例えば、 std:: printf ( "%d" , 4 ) の評価は標準出力に文字 '4' を出力します）。

各C++式は、2つの独立した特性によって特徴付けられます：型と値カテゴリ。

一般

• 値カテゴリ (lvalue, rvalue , glvalue, prvalue, xvalue (C++11以降) ) は式をその値によって分類する
• 評価順序 は引数と部分式の中間結果が得られる順序を指定する

演算子

• operator precedence は演算子が引数に結合される順序を定義します
• alternative representations は一部の演算子に対する代替表記です
• operator overloading はユーザー定義クラスでの演算子の動作を指定することを可能にします

変換

• 標準変換 ある型から別の型への暗黙的変換
• const_cast 変換
• static_cast 変換
• dynamic_cast 変換
• reinterpret_cast 変換
• 明示的キャスト Cスタイルキャスト表記と関数スタイル表記を使用した変換
• ユーザー定義変換 ユーザー定義クラスからの変換を指定可能にする

メモリ割り当て

• new 式 はメモリを動的に確保します
• delete 式 はメモリを動的に解放します

その他

• 定数式 はコンパイル時に評価され、コンパイル時コンテキスト（テンプレート引数、配列サイズなど）で使用できます
• sizeof
• alignof
• typeid
• throw式

基本式

任意の演算子のオペランドは、他の式または基本式となり得ます（例えば、 1 + 2 * 3 において、operator+のオペランドは 部分式 2 * 3 と基本式 1 です）。

一次式は以下のいずれかです：

• this
• リテラル（例： 2 または "Hello, world" ）
• 識別子式、以下を含む：
  • 適切に宣言された 非修飾識別子 （例： n または cout ）
  • 適切に宣言された 修飾識別子 （例： std::string::npos ）、および
  • 宣言子 で宣言される識別子

括弧内の任意の式もまた基本式として分類されます：これは括弧が任意の演算子よりも高い優先順位を持つことを保証します。括弧は値、型、および値カテゴリを保持します。

リテラル

リテラルは、ソースコードに埋め込まれた定数値を表すC++プログラムのトークンです。

• integer literals は整数型の10進数、8進数、16進数または2進数です。
• character literals は型の個々の文字です

• char または wchar_t

• 浮動小数点リテラル は型 float , double , または long double の値です
• 文字列リテラル は文字のシーケンスで、型は

• const char [ ] または const wchar_t [ ]

• ブーリアンリテラル は型 bool の値、すなわち true および false です

完全式

A 構成要素式 は以下のように定義されます:

• 式の構成要素式は、その式自体である。
• 波括弧で囲まれた初期化子リスト または（括弧で囲まれた可能性のある）式リストの構成要素式は、それぞれのリストの要素の構成要素式である。
• = で始まる 初期化子 の構成要素式は、 initializer-clause の構成要素式である。

int num1 = 0;
num1 += 1; // ケース1: 「num += 1」の構成式は「num += 1」である
int arr2[2] = {2, 22} // ケース2: 「{2, 22}」の構成式は
                      //         「2」と「22」である
                      // ケース3: 「= {2, 22}」の構成式は
                      //         「{2, 22}」の構成式である
                      //         （つまり「2」と「22」でもある）

immediate subexpressions 式 E の直接部分式は

• E のオペランドを構成する式、

• E が暗黙的に呼び出す関数呼び出し、または
• E が関数呼び出しであるか、関数を暗黙的に呼び出す場合、その呼び出しで使用される各 デフォルト引数 の構成式。

式 E の 部分式 とは、 E の直接の部分式、または E の直接の部分式の部分式のことです。 ラムダ式の「関数本体」内に現れる式は、ラムダ式の部分式ではないことに注意してください。 (C++11以降)

以下の式は full-expressions（完全式） です：

• 未評価オペランド
• 定数式

• 単純宣言 または メンバ初期化子 の宣言子（初期化子の構成式を含む）
• 寿命が延長されていない一時オブジェクト以外のオブジェクトの 生存期間 終了時に生成される デストラクタ の呼び出し

• 他のいかなる式の部分式でもなく、また何らかの完全式の一部でもない式

言語構文が関数の暗黙的な呼び出しを生成するように定義されている場合、その言語構文の使用はこの定義の目的において式と見なされます。式が現れる言語構文の要件を満たすために式の結果に適用される変換も、完全式の一部と見なされます。

初期化子について、エンティティの初期化の実行 （集約のデフォルトメンバ初期化子の評価を含む） (C++14以降) も完全式の一部と見なされます。

潜在的に評価される式

潜在的に評価される式は ODR-use です。

廃棄値式 (Discarded-value expressions)

廃棄値式 は、副作用のみを目的として使用される式です。このような式から計算された値は廃棄されます。これには、あらゆる 式文 の完全式、組み込みのコンマ演算子の左側のオペランド、または型 void へのキャストを行うキャスト式のオペランドが含まれます。

配列からポインタへの変換および関数からポインタへの変換は、破棄値式によって計算される値には適用されません。左辺値から右辺値への変換は、その式が volatile修飾 されたglvalueであり、以下の形式（組み込みの意味が必要で、括弧で囲まれている可能性あり）のいずれかを持つ場合にのみ適用されます：

• id-expression,
• array subscript expression,
• class member access expression,
• indirection,
• pointer-to-member operation,
• conditional expression where both the second and the third operands are one of these expressions,
• comma expression where the right operand is one of these expressions.

さらに、左辺値がvolatile修飾されたクラス型である場合、結果の右辺値一時オブジェクトを初期化するにはvolatileコピーコンストラクタが必要です。

不具合報告

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

関連項目