为什么在自动类型演绎中g++5要演绎对象而不是initializer_list

Question

我最近发现了这样的代码：

struct Foo{};

int main() 
{
    Foo a;
    // clang++ deduces std::initializer_list
    // g++5.1 deduces Foo
    auto b{a}; 
    a = b;
}

它在g++5.1中编译得很好，但在clang++中失败(使用-std=c++11和-std=c++14，结果相同)。原因是std::initializer_list，而Foo。std::initializer_list AFAIK，这种类型确实应该是(违反直觉的) be .为什么g++5将类型演绎为Foo

Answer 1

有一个关于C++1z的建议，它为大括号初始化(N3922)实现了新的类型演绎规则，我猜gcc实现了这些规则：

对于直接列表-初始化： 1.对于只有一个元素的带括号的列表，自动扣减将从该条目中推导出； 2.对于具有多个元素的大括号内列表，自动扣减将不正确。 [例子： auto x1 ={ 1，2 }；//解密类型(X1)是std::initializer_list auto x2 ={ 1，2.0 }；//错误:无法推断元素类型auto x3{ 1，2 }；//错误:没有单个元素自动x4 ={3 }；//解密类型(X4)是std::initializer_list auto x5{ 3 }；//解密类型(X5)是int。 -最终例子]

以下是有关"Unicorn初始化“的新更改的gcc patch。