C++ 17 make_optional constexpr-ness

Question

This pageは、C++ 17のmake_optional関数がconstexpr optional<...>を返します。私は思うが（私は間違っているかもしれない）これはoptional<T>にはconstexprコピーまたは移動コンストラクタが必要であると思うだろう。しかし、this pageもそうではないと言います。

make_optionalは、現在C++ 1zドラフトが実装されているため、どのように実装できますかわかりません。説明のためにthis postを参照してください。いくつかの回避策がありますか、それとも単に標準のドラフト/ cppreferenceの間違いですか？

Answer 1

@ Yakkと@ T.Cのおかげです。その説明のために。私は例が物事をより明確にすべきであると感じ：

struct wrapper { 
    int value; 

    // non-explicit constexpr constructor 
    constexpr wrapper(int v) noexcept : value(v) {} 

    // non-constexpr copy & move constructors 
    wrapper(const wrapper& that) noexcept : value(that.value) {} 
    wrapper(wrapper&& that) noexcept : value(that.value) {} 
}; 

constexpr wrapper make_wrapper(int v) 
{ 
    return {v}; 
} 

int main() 
{ 
    constexpr auto x = make_wrapper(123); // error! copy/move construction, 
              // but no constexpr copy/move ctor 

    constexpr int y = make_wrapper(123).value; // ok 
    static_assert(y == 123, "");    // passed 
} 

のでmake_wrapperが正常constexpr wrapperを返すん。 constexprコピー/移動コンストラクタがないので、コードがコンパイルされないようにするのは、コピー/移動のコンストラクションです（通常はコンパイラによって省略されます）。

返された（一時的な）wrapperオブジェクトのメンバ値を使用してconstexpr変数を初期化することによって、constexprの状態を確認できます。

Answer 2

return {something};を使用してC++ 11で戻り値を直接構築することができます。constexprの非明示的なctorsがある場合は、それを関数から返すことができます。