C++ 14標準ライブラリのどの部分が、どの部分をconstexprにすることができますか？

Question

新しいrelaxed C++14 constexpr rulesでは、コンパイル時のプログラミングがより表現力豊かになります。スタンダード・ライブラリーもまたアップグレードされるかどうかは疑問です。特に、std::initializer_list,std::pair,std::tuple,std::complex,std::bitsetおよびstd::arrayは、constexprと記された主要候補のように見える。

質問：標準ライブラリの部分が今constexprをマークされます

• ？
• 他の部分はと表示されますconstexpr？
• なぜ<cmath>と<algorithm>の機能がconstexprと表示されていませんか？
• 下位互換性の理由はありませんか？

Answer 1

標準ライブラリのどの部分にconstexprとマークされますか？私はC++ 14、N3690のために見てきたドラフトから

、以下は（C++ 11標準と比較して）これまでconstexprに変更されます＆短剣;:

• std::error_categoryのデフォルトコンストラクタ
• std::forward
• std::move
• std::move_if_noexcept
• std::pairのすべての演算子の比較
• std::getstd::pairとstd::tupleのすべての演算子の比較。
• std::make_tuple
• std::tupleのオペレータ比較
• std::optionalのすべてのオペレータの比較
• std::optionalのコンストラクタのすべてのすべての
std::bitsetや他のコンテナのための
• operator[]とsizeを（移動のために保存）。
• std::complexのオペレータ比較

＆短剣のすべて。 _{私は手動でこれをしなかったので、あなたはいくつかのエラーを期待することができます:(}

あなたがチェックすることができ constexprの追加の他、おそらくより正確なリストについては

：N3469、N3470、およびN3471

他の部分をマークすることができ

constexprの？

constexpr（std::numeric_limits評価、std::tupleとstd::pair construc可能性のもののほとんどはtorsなど）は、C++ 11標準ですでにconstexprとマークされていました。 std::ratioの時点および他のコンポーネントがconstexprとマークされていないが、N3469で修正されたバグがありました。

constexpr追加の恩恵を受けるものはstd::initializer_listとなるでしょう。これは今回は何も起こりませんでした（それを許可する提案があるかどうかわかりません）。

下位互換性の理由はありませんか？

これは拡張あるので、そのまま古いコードはまだコンパイルされ、何も今病気に形成されていないため、ほとんどのものが壊れたことはありません。しかし、それがなかった古いものにconstexprを追加すると、予期していないと驚くべき結果が得られます。provided here（Thanks TemplateRex）

Answer 2

先週（2010年9月23-28日）スタンダード委員会は標準ライブラリの多くのルーチンにconstexprを追加しました。

forward_as_tuple

• 事業者という名前のすべての比較/論理/ビット単位のoperator()方法。 （less、greater、plus、minus、bitwise_and、logical_or、not1 - 残り）

@TemplateRex：私たちは、コンパイル時に配列をソートするに近づいています。

しかし、標準ライブラリの実装者が標準で定義されていない呼び出しをconstexprとしてconstexprにする自由を持っていないことを示すLWGの問題も解決しました。実装の違いによって、いくつかのコード。