c++ - initializer_list 对 T 的赋值运算符要求

Question

我想知道是否 initializer_list<T>要求 T 有一个赋值运算符。以下

struct Foo
{
    Foo& operator=( const Foo& ) = delete;
};

std::vector<Foo> f = { Foo( ), Foo( ) };

在 clang 3.4.2 上编译但在 Visual Studo 2013 上失败并显示 "error C2280: 'Foo &Foo::operator =(const Foo &)' : attempting to reference a deleted function" .我假设 clang 在这里是正确的，但想检查是否不需要 T 可以分配。

Answer 1

std::initializer_list<T>不需要 T可以任何方式分配，因为复制 std::initializer_list objects 是浅层的——它不复制底层数据。

您收到错误是因为 MSVC 2013(及更低版本)不支持自动生成移动构造函数和移动赋值运算符。所以错误实际上来自std::vector试图从初始化列表中复制，而不是从初始化列表本身复制。

为什么触发错误仍然是一个问题，因为 std::vector构造函数 std::initializer_list只要求类型为 EmplaceConstructible可能还有 MoveInsertable ，两者都不使用赋值。