C 17 make_optional constexpr-ness

This page表示C 17中的make_optional函数返回constexpr optional< ...&gt ;.我想(虽然我可能错了)这需要可选的< T>有一个constexpr副本或移动构造函数.然而,this page也表示情况并非如此.

我不知道make_optional是如何实现的,因为目前的C 1z草案就是如此.有关说明,请参阅this post.是否有一些解决方法,或者它只是标准草案/ cppreference的错误？

解决方法

感谢@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包装器;它是复制/移动构造(尽管通常由编译器省略),它阻止代码编译,因为没有constexpr复制/移动构造函数.

我们可以通过使用其成员值初始化constexpr变量来验证返回(临时)包装器对象的constexpr-ness.