这个特殊构造函数的目的是采用初始化器列表.有人可以举个例子说明什么时候有用吗？
template <class U,class... Args> constexpr explicit optional(in_place_t,initializer_list<U> il,Args&&... args);
以上与此有何不同？
template <class... Args> constexpr explicit optional(in_place_t,Args&&... args);
参考：http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2013/n3793.html#optional.object.ctor
解决方法
两个独立构造函数的原因是允许构造一个以initializer_list为构造函数参数的对象(可选地后跟随意的参数列表).假设你有一个类似foo,看起来像这样：
struct foo
{
foo(std::initializer_list<int>) {}
};
在没有构造函数的情况下
template <class U,Args&&... args);
你将无法构建一个可选的
optional<foo> o(in_place,{1,2,3});
以上失败是因为一个braced-init-list没有类型,因此模板参数的扣除失败.你必须诉诸这样的事情：
auto il = {1,3};
optional<foo> o(in_place,il);
接受initializer_list参数的构造函数允许在构建可选对象时使用更自然的语法.
这是一个minimal example演示了两个构造函数的实用性.
