传递空初始值设定项列表时，使用右值和左值引用候选项重载解析

Question

struct Foo {};
struct Bar {};

int Baz(const Foo&) { return 0; }
int Baz(Bar&&) { return 1; }

int main()
{
  return Baz({});
}

这个电话含糊不清吗？MSVC选择右值引用重载。GCC表示这是不明确的。Clang也选择右值引用，但如果它是intbaz（std:：vector），则不再选择

{}到Bar是标准的转换序列吗？

有人能解释一下为什么这一点适用或不适用：

[...]

c）或者，如果不是这样，S1和S2都绑定到引用参数，而不是ref限定成员函数的隐式对象参数，并且S1绑定右值引用到右值，而S2绑定左值引用到右值

（https://en.cppreference.com/w/cpp/language/overload_resolution）




Answer 1

正如问题中已经提到的，标准在[over.ics.rank]/（3.2）中说：

标准转换顺序S1比标准转换顺序S2更好

...

• S1和S2是引用绑定（11.6.3），两者都不引用没有ref-限定符声明的非静态成员函数的隐式对象参数，并且S1将右值引用绑定到右值，S2绑定左值引用

...

所以GCC在这里是错误的。

实际上，通过在结构中添加默认构造函数，Clang也会受到类似的欺骗：

struct Foo {
    constexpr Foo() = default;
};
struct Bar {
    constexpr Bar() = default;
};

constexpr int Baz(const Foo&) { return 0; }
constexpr int Baz(Bar&&) { return 1; }

int main() {
  static_assert( Baz({}) == 1 );
}

MSVC是正确选择Baz（Bar）的编译器