Skip to content

Latest commit

 

History

History
33 lines (21 loc) · 2 KB

less_eager_instantiation_of_constexpr_functions.md

File metadata and controls

33 lines (21 loc) · 2 KB
Raw

評価されない文脈での定数式評価によって特殊メンバ関数がインスタンス化されることを規定

  • cpp20[meta cpp]

概要

以前まで、デフォルトコンストラクタやムーブコンストラクタといった特殊メンバ関数は、odr-usedになった段階で定義される規定になっていた。しかし、sizeofやdecltypeのオペランドのような評価されない文脈においてはodr-usedにならないため、そのような文脈では特殊メンバ関数が使用できなかった。

struct duration {
  constexpr duration() {}
  constexpr operator int() const { return 0; }
};

// duration d = duration(); // #1
int n = sizeof(short{duration(duration())});

上記プログラムはコンパイルエラーになる可能性がある。sizeofのオペランドでdurationのムーブコンストラクタを実行しているが、durationクラスがodr-usedによってインスタンス化されていないため、ムーブコンストラクタがまだ定義されていないためである。

ここで #1のコメント行を有効にすることでこのプログラムは適格となる。

このような問題を解決するため、特殊メンバ関数が定義される条件が以下のように変更になった。

「odr-usedもしくは潜在的に定数式評価される場合に特殊メンバ関数が定義される」

これによって、評価されない文脈で定数式評価した場合でも、特殊メンバ関数が利用可能となる。

この仕様は、2013年4月に欠陥報告された問題をC++20の規格書で解決したものである。問題が判明したあとコンパイラは早期に対応している可能性がある。

参照