allow_virtual_function_calls_in_constant_expressions.md

定数式からの仮想関数の呼び出しを許可

• cpp20[meta cpp]

概要

C++20では、仮想関数に対してconstexprを指定し、定数式の文脈で呼び出せるようになる。

非constexprな仮想関数をconstexpr仮想関数としてオーバーライドでき、逆もできる。一部のオーバーライドがconstexprで、一部がそうでない場合は、非constexprな仮想関数の呼び出しのみ定数式にならない。

例

struct X {
  virtual int f() const = 0;
};

// 非constexprな純粋仮想関数を、constexpr仮想関数としてオーバーライド
struct Y : public X {
  constexpr int f() const override { return 1; }
};

int main()
{
  static constexpr Y y{};
  constexpr const X& x = y;

  static_assert(x.f() == 1);
}

関連項目

• C++11 constexpr

参照

• P1064R0 Allowing Virtual Function Calls in Constant Expressions