对T </t>的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对象很浅 - 它不会复制基础数据。

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

这仍然是一个问题，为什么错误被触发，因为std::vector构造函数只需要std::initializer_list类型EmplaceConstructible和MoveInsertable，但两者都不使用分配。