c – 具有initializer_list的可选构造函数

这个特殊构造函数的目的是采用初始化器列表.有人可以举个例子说明什么时候有用吗？

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

附：不确定是否使用c 14或c 1z标签.我认为应该有c技术规范的标签

解决方法

两个独立构造函数的原因是允许构造一个以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演示了两个构造函数的实用性.