空初始化器列表上的赋值运算符

Question

你能解释一下 STL 容器如何处理带有空初始化列表的赋值运算符吗？

什么时候我会做这样的事情：

vector<int> v;
v = { };

调用的函数是不是：

vector& operator= (initializer_list<value_type> il);

但是：

vector& operator= (vector&& x);

另一方面，当我对自己的班级做类似的事情时：

struct A {
    A& operator= (const A&) { return *this; }
    A& operator= (A&&) { return *this; }
    A& operator= (initializer_list<int>) { return *this; }
};

/* ... */

A a;
a = { };

代码在 VS2013 上无法编译，并说：

error C2593: 'operator =' is ambiguous

如果列表不为空，它工作正常，它只是调用带有初始化列表的函数。只有当列表为空时才会出现问题，在向量上它调用右值赋值运算符，在我的类上它给出错误。

这种情况在vector和其他容器中是如何处理的？

Answer 1

这似乎是一个错误 clang(see it live) 和 gcc(see it live) 接受这个程序并选择 std::initializer_list 重载看起来是正确的，因为这是一个完全匹配，这在C++ draft standard 部分部分13.3.3.1.5 列表初始化序列 段落中进行了介绍2 来自示例：

void f(std::initializer_list<int>);
f( {1,2,3} ); // OK: f(initializer_list<int>) identity conversion
f( {’a’,’b’} ); // OK: f(initializer_list<int>) integral promotion
f( {1.0} ); // error: narrowing

我们有一个身份转换，这是一个完全匹配。

对于参考重载，我们转到第 5 段，它说（强调我的未来）：

否则，如果参数是引用，请参见 13.3.3.1.4。 [注意：本节中的规则将适用于初始化底层临时参考。 ——尾注]

表示创建了临时文件，然后我们可以将规则应用于生成的临时文件。这将是一个用户定义的转换，它比精确匹配更糟糕。

所以这不应该是模棱两可的。

更新

看起来有两个与此相关的活动错误：

• Compiler confused about whether to use a initializer_list assignment operator
• VC++ 12 RC fails to choose between initializer_list enabled assignment operator and canonical one for std::pair list elements