支撑时的汇编误差。

Question

当我试图支撑 std :: vector＆lt; foo＆gt; 的同事时，我的一位同事发现了与GCC的奇怪汇编错误提供了一个模板构造函数，例如在以下示例中：（

#include <vector>

struct Foo{
    template <class T> Foo(T) {}
    Foo(const Foo&) = delete;
    Foo(Foo&&) = default;
};

int main(){
    std::vector<Foo> v1(std::vector<Foo>{}); // ok
    std::vector<Foo> v2{std::vector<Foo>{}}; // compilation error
}

请参阅 Compiler Explorer 。）

IS这是一个错误吗？如果是这样，（我想在实例化过程中）在哪里犯错了？换句话说，由于所有三个编译器的代码都可以，一旦删除了模板的约束，后者的旅行gcc中会有什么？

Answer 1

如果我们停止使用向量，以便可以看到正在使用哪些构造函数，那么也许会更清楚地发生了什么。

template <typename T>
struct V {
    V() { std::cout << "V Default\n"; }
    V(const V&) { std::cout << "V Copy\n"; }
    V(V&&) { std::cout << "V Move\n"; }
    V(std::initializer_list<T>) { std::cout << "V list<" << typeid(T).name() << ">\n"; }
};

struct Foo {
    template <class T>
    Foo(T) {  std::cout << "Foo <" << typeid(T).name() << ">\n"; }
    Foo(const Foo&) = delete;
    Foo(Foo&&) { std::cout << "Foo Move\n"; }
};

https://godbolt.org/z/z/9qs9bvjjz

; foo＆gt; 从 v＆lt; foo＆gt; 使用（）和 {} 。

V<Foo> v0{};
V<Foo> v1(v0);
V<Foo> v2{v1};

要使用GCC和Clang创建 V1 ，我们获得了“ V复制”，请将v选择为最佳的V ctor。对于 v2 ，我们也会获得“ V复制”，但是对于GCC，我们获得了“ V list＆lt; foo＆gt;”。它使用V的初始化列表构造函数，而不是复制构造函数。

现在，应该想知道，我们如何从 v＆lt; foo＆gt; 的一个元素的列表中获取 std :: prinitizer_list＆lt; foo＆gt; ？这是因为 foo 的模板构造函数，它提供了转换构造函数，可以从 v＆lt; foo＆gt; 中创建 foo 。

海湾合作委员会的行为与我们写的一样：

V<Foo> v2( { Foo(v1) } );

我认为海湾合作委员会在这里是正确的。

v＆lt; foo＆gt; v2 {v1} 是直接列表initialization，分辨率分为两个阶段。第一个是仅考虑 std :: prinitizer_list 构造函数，然后第二个是将所有构造函数视为参数。第一阶段应通过将 v1 转换为 foo 来产生匹配，这就是GCC选择的。

如果尚不清楚，一旦选择了initializer_list构造函数，则您会出现矢量错误，因为不可能将构造函数与不可复制对象列表一起使用。 initializer_list的元素是const，并且向量从中被复制。

Answer 2

是一个错误吗？

我认为， GCC在拒绝程序的情况下是正确的：

std :: vector 具有构造函数 采用 std :: pritializer_list

vector (initializer_list<value_type> il, const allocator_type& alloc = allocator_type());

code ：当您写作时：

std::vector<Foo> v2{std::vector<Foo>{}};

在上述语句中，引用的初始化器列表ctor ctor vector 可以使用/使用。

此外，复制构造函数 foo :: foo（const foo＆amp;）将在此处使用，因为来自 dcl.init.lst ：

类型的对象 std :: prinitizer_list＆lt; e＆gt; 是从初始化器列表中构造的const e ，其中 n 是初始化器列表中的元素数量。 该数组的每个元素都用初始化器列表的相应元素进行复制定义，并且构建了std :: prinistizer_list对象，以引用该数组。

（强调矿山）

但是，由于复制构造函数为已删除，我们会得到上述错误。您可以通过默认复制ctor而不是按照来确认确实是这种情况。 “>此演示，我们可以注意到那里 nockiles（compiles）问题。