为什么 {} 作为函数参数不会导致歧义？

Question

考虑这段代码：

#include <vector>
#include <iostream>

enum class A
{
  X, Y
};

struct Test
{
  Test(const std::vector<double>&, const std::vector<int>& = {}, A = A::X)
  { std::cout << "vector overload" << std::endl; }

  Test(const std::vector<double>&, int, A = A::X)
  { std::cout << "int overload" << std::endl; }
};

int main()
{
  std::vector<double> v;
  Test t1(v);
  Test t2(v, {}, A::X);
}

https://godbolt.org/z/Gc_w8i

打印出来：

vector overload
int overload

为什么这不会因为重载解析不明确而产生编译错误？如果第二个构造函数被移除，我们会得到两次vector overload。 int 与 {} 相比，std::vector<int> 与 std::vector<int> 的匹配度如何？

^{构造函数签名肯定可以进一步修剪，但我只是被一段等效的代码欺骗了，想确保这个问题没有丢失任何重要的东西。}

Answer 1

它在 [over.ics.list]，强调我的

6 否则，如果参数是非聚合类 X 并且 每个 [over.match.list] 的重载分辨率选择一个最佳值 X 的构造函数 C 执行类型对象的初始化 X 来自参数初始化器列表：

• 如果 C 不是初始化列表构造函数，并且初始化列表有一个 cv U 类型的元素，其中 U 是 X 或派生类 从 X 中，如果 U 是，则隐式转换序列具有精确匹配等级 X，如果 U 派生自 X，则为转化排名。

• 否则，隐式转换序列是用户定义的转换序列，第二个标准转换序列是 身份转换。

9否则，如果参数类型不是类：

• [...]

• 如果初始化列表没有元素，则隐式 转换序列是恒等转换。 [ 示例：

  void f(int);
  f( { } ); // OK: identity conversion
  

  结束示例 ]

std::vector 由构造函数初始化，粗体符号认为它是用户定义的转换。同时，对于int，这是身份转换，所以它胜过第一c'tor的排名。