![全てのループ文の許可
constexpr int f()
{
int x = 0;
// OK : for文
for (int i = 0; i < 5; ++i) { x += i + 1; }
// OK : 範囲for文
int ar[] = {6, 7, 8};
for (const int& i : ar) { x += i; }
// OK : while文
while (true) { x += 9; break; }
// OK : do-while文
do { x += 10; } while (false);
}
return x;](https://image.slidesharecdn.com/cpp14relaxingconstraintsonconstexpr-131026042048-phpapp01/85/C-14-relaxing-constraints-on-constexpr-8-320.jpg)
C++14 relaxing constraints on constexpr
- 1. C++14 constexprの制限緩和 高橋 晶(Akira Takahashi) faithandbrave@longgate.co.jp 2013/10/26(土) C++14規格レビュー勉強会
- 2. はじめに • この発表は、C++14のコア言語に導入される予定の 「constexprの制限緩和(Relaxing constraints on constexpr)」に関す るレビュー資料です。 • 提案文書： http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3597.html http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3598.html http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3652.html
- 6. 変数宣言の許可 constexpr int f() { int result = 0; // OK // 関数f()自体がconstexprであるため、 // 変数resultはconstexprである必要はない。 return result; } ただし、 • static or thread_local記憶域の変数宣言は許可されない。 • 未初期化変数の宣言は許可されない。
- 7. if文とswitch文の許可 constexpr int abs(int x) { if (x < 0) // OK return -x; return x; } enum class Weekday { Sun, Mon, Tue, }; constexpr Weekday intToWeekday(int n) { switch (n) { case 0: return Weekday::Sun; case 1: return Weekday::Mon; case 2: return Weekday::Tue; } throw std::out_of_range("n is out of week"); } ただし、goto文は許可されない
- 8. 全てのループ文の許可 constexpr int f() { int x = 0; // OK : for文 for (int i = 0; i < 5; ++i) { x += i + 1; } // OK : 範囲for文 int ar[] = {6, 7, 8}; for (const int& i : ar) { x += i; } // OK : while文 while (true) { x += 9; break; } // OK : do-while文 do { x += 10; } while (false); } return x;
- 9. 変数書き換えの許可 constexpr int square(int x) { x *= x; // OK : 変数は書き換えてもよい return x; }
- 10. 変数書き換えの許可 struct X { int x; constexpr X(int x) : x(x) {} }; constexpr int square() { x *= x; // OK : メンバ変数も書き換えられる return x; } constexpr int square(int n) { X x(n); return x.square(); }
- 11. 戻り値型としてvoidを許可 constexprとして扱える型分類である「リテラル型(literal type)」に voidが追加される。 これを使用して、参照パラメータを書き換えて返すスタイルが可能になる。 constexpr void square(int& x) { x *= x; } constexpr int f(int x) { square(x); return x; }
- 12. constexpr非静的メンバ関数の 暗黙のconst修飾を削除 C++11では、constexpr非静的メンバ関数は、暗黙でconstが付いていた。 struct X { constexpr int f(); // これは以下と同じ // constexpr int f() const; }; C++14ではこの仕様が削除され、const or mutableを明示的に指定する ことになった。 ※既存コードの互換性は壊れない。