İşlev argümanı olarak {} neden belirsizliğe yol açmıyor?

Bu kodu düşünün:

#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

Bu yazdırır:

vector overload
int overload

Belirsiz aşırı yük çözünürlüğü nedeniyle neden bir derleme hatası oluşturmuyor? İkinci kurucu kaldırılırsa, vector overloadiki kez elde ederiz . Metrik nedir tarafından nasıl / intBir açık bir şekilde iyiye maç {}daha std::vector<int>?

^{Yapıcı imzası kesinlikle daha da kesilebilir, ama sadece eşdeğer bir kod parçası tarafından kandırıldım ve bu soru için önemli bir şeyin kaybolmadığından emin olmak istiyorum.}

Bu öyle [over.ics.list] , vurgu mayın

6 Aksi takdirde, parametre toplu olmayan bir X sınıfı ise ve [over.match.list] başına aşırı yük çözünürlüğü, X türünde bir nesnenin argüman başlatıcı listesinden başlatılmasını gerçekleştirmek için X'in en iyi tek bir yapıcısını C seçer:

• C bir başlatıcı listesi yapıcısı değilse ve başlatıcı listesi cv U türünde tek bir öğeye sahipse (burada U X veya X'den türetilmiş bir sınıfsa), örtük dönüşüm sırasında U X ise Tam Eşleme sırası veya U, X'den türetilir.

• Aksi takdirde, örtük dönüşüm dizisi, ikinci standart dönüşüm dizisi bir kimlik dönüşümüne sahip olan kullanıcı tanımlı bir dönüşüm dizisidir.

9 Aksi takdirde, parametre tipi bir sınıf değilse:

• [...]

• başlatıcı listesinde öğe yoksa, örtük dönüşüm sırası kimlik dönüşümüdür. [ Misal:

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

  son örnek]

std::vectorYapıcı ve kalın gördüğü bir kullanıcı tanımlı konversiyon bir mermi ile başlatılır. Bu arada, bir için int, bu kimlik dönüşümüdür, bu yüzden ilk müşterinin rütbesini düşürür.