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

最終更新日時(UTC):
が更新

履歴 編集

定数式からの仮想関数の呼び出しを許可(C++20)

概要

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);
}

関連項目

参照