clang 和 gcc 为相同的代码生成不同的逻辑。哪个是对的？

Question

我发现 gcc-8 和 clang-6 产生的逻辑有差异。

这发生在一个真实的代码库中，当我使用 clang 开发时，我使用 gcc 部署。

请告知哪个编译器有错误，以便我可以适当地提交错误。

概要

A 可隐式转换为 B A 可以从 A（复制/移动）和 std::initializer_list<B> 构造。

从A&& 初始化A 时：

• clang 选择移动构造函数
• gcc 选择 initializer_list 构造函数。

现场演示：https://coliru.stacked-crooked.com/a/bc50bd8f040d6476

MCVE

#include <initializer_list>
#include <utility>
#include <iostream>

struct thing;

struct thing_ref
{
    thing_ref(thing&& other) : ref_(other) {}
    thing_ref(thing& other) : ref_(other) {}

    thing& ref_;
};

struct thing
{
    thing() {}

    thing(std::initializer_list<thing_ref> things)
    {
        std::cout << "initializer_list path\n";
    }

    thing(thing&& other)
    {
        std::cout << "move path\n";
    }

    thing(thing const& other)
    {
        std::cout << "copy path\n";
    }
};

struct foo
{
    foo(thing t) : mything { std::move(t) } {}
    thing mything;
};

int main()
{
    thing t;

    auto f = foo { std::move(t) };
}

编译器设置：

没有什么特别的，根据 coliru 链接：-std=c++17 -O2

Answer 1

标准草案（T 是 thing）[dcl.init.list]：

列表初始化是从一个花括号初始化列表初始化一个对象或引用。 ...

类型 T 的对象或引用的列表初始化定义如下：

• 如果花括号初始化列表包含指定初始化列表 [不适用]

• 如果 T 是一个聚合类并且 [不适用]

• 否则，如果 T 是字符数组 [不适用]

• 否则，如果 T 是一个聚合[不适用]

• 否则，如果初始化列表没有元素[不适用]

• 否则，如果 T 是 std::initializer_­list<E> 的特化 [不适用]

• 否则，如果 T 是类类型，则考虑构造函数。 枚举适用的构造函数，并通过重载解析选择最佳构造函数[applies]

• ...

[over.match.list]:

当非聚合类类型 T 的对象被列表初始化，使得 [dcl.init.list] 指定根据本节中的规则执行重载解析时，重载解析分两个阶段选择构造函数：

• 最初，候选函数是类 T 的初始化列表构造函数 ([dcl.init.list])，参数列表由初始化列表作为单个参数组成. [适用]

• 如果找不到可行的初始化列表构造函数，则再次执行重载解析，其中候选函数是类 T 的所有构造函数，参数列表由初始化列表。

如果初始化列表没有元素并且 T 有默认构造函数，则省略第一阶段。 [不适用]

返回 [dcl.init.list] 以了解 initializer-list constructor 是什么：

如果构造函数的第一个参数是 std::initializer_­list<E> 类型或对某些类型 E 的可能有 cv 限定的 std::initializer_­list<E> 的引用，并且要么没有其他参数，要么所有其他参数都具有默认值，则该构造函数是初始值设定项列表构造函数参数（[dcl.fct.default]）。

还有一个方便的注释，重申了结论：

注意：初始化列表构造函数在列表初始化中优于其他构造函数

我的结论：

应首先考虑初始化列表构造函数候选者，并在其有效时使用。由于thing 隐式转换为thing_ref，它应该是有效的。在我看来，GCC 符合要求。

如果您想初始化具有初始化列表构造函数的类型的对象，但不想使用该构造函数，则不要使用列表初始化，即不要使用大括号初始化列表。