Tại sao {} làm đối số hàm không dẫn đến sự mơ hồ?

Xem xét mã này:

#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

Bản in này:

vector overload
int overload

Tại sao điều này không tạo ra lỗi biên dịch do độ phân giải quá tải mơ hồ? Nếu hàm tạo thứ hai bị loại bỏ, chúng ta sẽ nhận được vector overloadhai lần. Làm thế nào / bởi số liệu nào là intmột kết hợp tốt hơn rõ ràng hơn {}so với std::vector<int>?

^{Chữ ký của nhà xây dựng chắc chắn có thể được cắt bớt, nhưng tôi chỉ bị lừa bởi một đoạn mã tương đương và muốn đảm bảo không có gì quan trọng bị mất cho câu hỏi này.}

Nó nằm trong [over.ics.list] , nhấn mạnh vào tôi

6 Mặt khác, nếu tham số là lớp X không tổng hợp và độ phân giải quá tải cho mỗi [over.match.list] chọn một hàm tạo tốt nhất C của X để thực hiện khởi tạo một đối tượng loại X từ danh sách trình khởi tạo đối số:

• Nếu C không phải là hàm tạo của danh sách khởi tạo và danh sách khởi tạo có một phần tử loại cv U, trong đó U là X hoặc một lớp có nguồn gốc từ X, chuỗi chuyển đổi ngầm định có Xếp hạng khớp chính xác nếu U là X hoặc xếp hạng Chuyển đổi nếu U có nguồn gốc từ X.

• Mặt khác, chuỗi chuyển đổi ngầm định là chuỗi chuyển đổi do người dùng xác định với chuỗi chuyển đổi tiêu chuẩn thứ hai là chuyển đổi nhận dạng.

9 Mặt khác, nếu loại tham số không phải là một lớp:

• [...]

• nếu danh sách trình khởi tạo không có phần tử, trình tự chuyển đổi ẩn là chuyển đổi danh tính. [ Thí dụ:

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

  ví dụ cuối]

Nó std::vectorđược khởi tạo bởi constructor và dấu đầu dòng in đậm coi đó là một converison do người dùng định nghĩa. Trong khi đó, đối với một int, đây là chuyển đổi danh tính, do đó, nó vượt qua thứ hạng của người đầu tiên.