式

式は計算内容を指示する演算子とその被演算子の並びです。

式の評価は結果を生成したり (例えば 2+2 の評価は結果 4 を生成します)、副作用を発生させたり (std::printf("%d",4) の評価は標準出力に文字 '4' を表示します) します。

[編集] 一般

• 値カテゴリ (lvalue, rvalue, glvalue, prvalue, xvalue) は式をその値で分類します。
• 引数および部分式の評価順序は中間結果が取得される順序を規定します。

[編集] 演算子

• 演算子の優先順位は演算子が引数に束縛される順序を定義します。
• 代替表現はいくつかの演算子のための代替となる綴りです。
• 演算子オーバーロードはユーザ定義クラスを用いる演算子の動作を指定できるようにします。

[編集] 変換

• 標準変換 — ある型から別の型への暗黙の変換
• const_cast 変換
• static_cast 変換
• dynamic_cast 変換
• reinterpret_cast 変換
• 明示的なキャスト — C スタイルのキャスト記法および関数記法を用いた変換
• ユーザ定義変換 — ユーザ定義クラスからの変換を指定できるようにします

[編集] メモリ確保

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

[編集] その他

• 定数式はコンパイル時に評価でき、コンパイル時の文脈 (テンプレート引数や配列のサイズなど) で使用できます。
• sizeof
• alignof
• typeid
• throw 式

[編集] 一次式

あらゆる演算子の被演算子は他の式または一次式です (例えば 1+2*3 では演算子 + の被演算子は部分式 2*3 と一次式 1 です)。

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

括弧内のあらゆる式も一次式に分類されます。 これは括弧がいかなる演算子よりも高い優先順位を持つことを保証します。 括弧は値、型、および値カテゴリを維持します。

[編集] リテラル

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

• 整数リテラルは整数型の10進数、8進数、16進数または2進数 (C++14以上)の数値です。
• 文字リテラルは以下の型の個々の文字です。

• char または wchar_t
• char16_t または char32_t (C++11以上)
• char8_t (C++20以上)

• 浮動小数点リテラルは float, double または long double 型の値です。
• 文字列リテラルは以下の型の文字の並びです。

• const char[] または const wchar_t[]
• const char16_t[] または const char32_t[] (C++11以上)
• const char8_t[] (C++20以上)

• ブーリアンリテラルは bool 型の値、すなわち true および false です。
• nullptr はヌルポインタ値を表すポインタリテラルです。 (C++11以上)
• ユーザ定義リテラルはユーザ指定の型の定数値です。 (C++11以上)

[編集] 未評価式

演算子 typeid、 sizeof、 noexcept および decltype (C++11以上) の被演算子は評価されない式です (それらが多相 glvalue であり typeid の被演算子である場合を除きます)。 これらの演算子はその被演算子のコンパイル時の性質を問い合わせるだけであるためです。 そのため、 std::size_t n = sizeof(std::cout << 42); はコンソール出力を行いません。

[編集] 値を破棄する式

値を破棄する式は副作用だけのための使用される式です。 そのような式から計算された値は破棄されます。 そのような式には、あらゆる式文、組み込みのコンマ演算子の左側の被演算子、および void 型にキャストするキャスト式の被演算子が含まれます。

配列からポインタおよび関数からポインタへの変換は値を破棄する式によって計算される値に適用されることはありません。 左辺値から右辺値への変換は、式が volatile 修飾された glvalue であり、以下の形式のいずれか (組み込みの意味でなければなりません) (括弧で囲まれていても構いません) である場合にのみ、適用されます。

• id 式
• 配列添字式
• クラスメンバアクセス式
• 間接参照
• メンバポインタ操作
• 第2引数および第3引数がどちらもこれらの式である条件式
• 右側の被演算子がこれらの式であるコンマ演算子

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