Warum führt {} als Funktionsargument nicht zu Mehrdeutigkeiten?

Betrachten Sie diesen Code:

#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

Dies druckt:

vector overload
int overload

Warum führt dies nicht zu einem Kompilierungsfehler aufgrund einer mehrdeutigen Überlastungsauflösung? Wenn der zweite Konstruktor entfernt wird, erhalten wir vector overloadzwei Mal. Wie / nach welcher Metrik passt inteine eindeutig bessere Übereinstimmung {}als std::vector<int>?

^{Die Konstruktorsignatur kann sicherlich weiter gekürzt werden, aber ich wurde gerade von einem äquivalenten Code ausgetrickst und möchte sicherstellen, dass für diese Frage nichts Wichtiges verloren geht.}

Es ist in [over.ics.list] , Hervorhebung von mir

6 Wenn der Parameter eine nicht aggregierte Klasse X ist und die Überladungsauflösung gemäß [over.match.list] einen einzelnen besten Konstruktor C von X auswählt, um die Initialisierung eines Objekts vom Typ X aus der Liste der Argumentinitialisierer durchzuführen:

• Wenn C kein Konstruktor für die Initialisierungsliste ist und die Initialisiererliste ein einzelnes Element vom Typ cv U enthält, wobei U X oder eine von X abgeleitete Klasse ist, hat die implizite Konvertierungssequenz den Rang Exact Match, wenn U X ist, oder den Konvertierungsrang, wenn U leitet sich von X ab.

• Andernfalls ist die implizite Konvertierungssequenz eine benutzerdefinierte Konvertierungssequenz, wobei die zweite Standardkonvertierungssequenz eine Identitätskonvertierung ist.

9 Andernfalls, wenn der Parametertyp keine Klasse ist:

• [...]

• Wenn die Initialisierungsliste keine Elemente enthält, ist die implizite Konvertierungssequenz die Identitätskonvertierung. [Beispiel:

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

  Ende Beispiel]

Das std::vectorwird vom Konstruktor initialisiert und das fettgedruckte Aufzählungszeichen hält es für eine benutzerdefinierte Konvertierung. In der Zwischenzeit ist intdies die Identitätsumwandlung, sodass der Rang des ersten C'tors übertroffen wird.