consteval 指定子 (C++20以上)

 

C++

言語

標準ライブラリヘッダ

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

名前付き要件

言語サポートライブラリ

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

診断ライブラリ

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

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

入出力ライブラリ

ローカライゼーションライブラリ

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

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

技術仕様書

 

C++言語

 

宣言

概要 宣言の構文 宣言指定子 宣言子 指定子 typedef inline virtual 関数指定子 explicit 関数指定子 friend constexpr (C++11) consteval (C++20) 記憶域クラス指定子 classstruct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile 複雑型指定子 属性 (C++11)

宣言子 参照 ポインタ 配列 ブロック宣言 シンプルな宣言 → 構造化束縛宣言 (C++17) エイリアス宣言(C++11) 名前空間エイリアス定義 using 宣言 using 指令 static_assert 宣言 (C++11) asm 宣言 不透明な enum の宣言(C++11) その他の宣言 名前空間定義 関数宣言 クラステンプレート宣言 関数テンプレート宣言 テンプレートの明示的実体化(C++11) テンプレートの明示的特殊化 リンケージ指定 属性の宣言 (C++11) 空の宣言

 

• consteval - 関数が即時関数である、すなわち、その関数のすべての呼び出しがコンパイル時定数を生成しなければならないことを指定します。

説明

consteval 指定子は関数または関数テンプレートが即時関数である、すなわち、その関数のすべての呼び出しが (直接または間接的に) コンパイル時定数式を生成しなければならないことを指定します。 デストラクタ、確保関数、または解放関数には適用できません。 consteval 指定子は inline を暗黙に含みます。 同じ宣言指定子の並びの中に consteval 指定子と constexpr 指定子の両方が現れることはできません。 関数または関数テンプレートの宣言のいずれかが consteval 指定子を含む場合、その関数または関数テンプレートのすべての宣言がその指定子を含まなければなりません。

即時関数は constexpr 関数であり、場合によっては constexpr 関数または constexpr コンストラクタに適用可能な要件を満たさなければなりません。

最も内側の非ブロックスコープが即時関数の関数引数スコープでない即時関数の呼び出しは定数式を生成しなければなりません。 そのような呼び出し (即時呼び出しと言います) は、たとえ未評価被演算子内であっても、常に評価されます。

consteval int sqr(int n) {
  return n*n;
}
constexpr int r = sqr(100);  // OK。
 
int x = 100;
int r2 = sqr(x);  // エラー、呼び出しが定数を生成しません。
 
consteval int sqrsqr(int n) {
  return sqr(sqr(n)); // この時点では定数式ではありませんが、 OK です。
}
 
constexpr int dblsqr(int n) {
  return 2*sqr(n); // エラー、囲っている関数が consteval でなく、 sqr(n) が定数ではありません。
}

即時関数を表す識別子式は即時関数の部分式内または即時関数の文脈内でのみ使用できます。 即時関数へのポインタまたは参照を取ることはできますが、定数式評価を脱出することはできません。

consteval int f() { return 42; }
consteval auto g() { return f; }
consteval int h(int (*p)() = g()) { return p(); }
constexpr int r = h();   // OK。
constexpr auto e = g();  // ill-formed、即時関数へのポインタは定数式の結果として許されません。

キーワード

consteval

関連項目

• constexpr
• 定数式