C++ 11向量push_back模糊不清

Question

请考虑以下代码:

#include <vector>

struct S { int a; double b; };

int main()
{
    std::vector<S> v;
    v.push_back({3, 4.5});
}

g ++ 4.4抱怨对push_back()的调用不明确:

error: call of overloaded ‘push_back(<brace-enclosed initializer list>)’ is ambiguous
note: candidates are: void std::vector<_Tp, _Alloc>::push_back(const _Tp&) [with _Tp = S, _Alloc = std::allocator<S>]
note:                 void std::vector<_Tp, _Alloc>::push_back(_Tp&&) [with _Tp = S, _Alloc = std::allocator<S>]

根据标准,这应该是模棱两可的,还是这只是g ++的一个问题？

我知道可以通过明确写出S的类型来解决它:

v.push_back(S{3, 4.5});

但是S的类型名称可能很长,所以我宁愿不这样做......

Answer 1

是否S必须是一个POD？如果没有,定义一个构造函数,它应该工作.

struct S
{
    int a;
    double b;

public:

    S(int a, double b) : a(a), b(b) {}
};

而且,v.push_back({3, 4.5})可能效率低于v.emplace_back(3, 4.5).

更新:闻起来像编译器错误.它与g ++ 4.6.0 20101025(实验性)完美配合.

Answer 2

在最新的草案（n3225）中，您的代码实际上是不明确的。向量中的候选者将是

void push_back(const S& x);
void push_back(S&& x);

问题是： a 的列表初始化是否比a的列表初始化更好/更差的转换序列？重载解析将使这两种转换都成为用户定义的转换序列。这意味着它们不具有可比性，因为没有规则可以这样做。const S&S&&

这是由核心问题 #1079处理的。如果该问题被接受，则目的是您的代码调用第二个候选者。顺便说一句，Jason Merril 是 GCC 开发人员:)