Pourquoi {} comme argument de fonction ne conduit-il pas à l'ambiguïté?

Considérez ce 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

Cela imprime:

vector overload
int overload

Pourquoi cela ne produit-il pas une erreur de compilation en raison d'une résolution de surcharge ambiguë? Si le deuxième constructeur est supprimé, nous obtenons vector overloaddeux fois. Comment / selon quelle métrique est intune correspondance sans ambiguïté meilleure {}que std::vector<int>?

^{La signature du constructeur peut sûrement être coupée plus loin, mais je viens d'être piégé par un morceau de code équivalent et je veux m'assurer que rien d'important n'est perdu pour cette question.}

C'est dans [over.ics.list] , c'est moi qui souligne

6 Sinon, si le paramètre est une classe X non agrégée et que la résolution de surcharge par [over.match.list] choisit un seul meilleur constructeur C de X pour effectuer l'initialisation d'un objet de type X dans la liste d'initialisation d'argument:

• Si C n'est pas un constructeur de liste d'initialisation et que la liste d'initialisation a un seul élément de type cv U, où U est X ou une classe dérivée de X, la séquence de conversion implicite a le rang de correspondance exacte si U est X, ou le rang de conversion si U est dérivé de X.

• Sinon, la séquence de conversion implicite est une séquence de conversion définie par l'utilisateur avec la deuxième séquence de conversion standard une conversion d'identité.

9 Sinon, si le type de paramètre n'est pas une classe:

• [...]

• si la liste d'initialisation ne contient aucun élément, la séquence de conversion implicite est la conversion d'identité. [ Exemple:

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

  exemple de fin]

Le std::vectorest initialisé par le constructeur et la puce en gras le considère comme une conversion définie par l'utilisateur. Pendant ce temps, pour un int, c'est la conversion d'identité, donc elle l'emporte sur le rang du premier c'tor.