Bir derleyici bir şablon parametresi çıktığında?

Question

Bazen bazen değil çalışır: Yukarıdaki örnekte etrafında kesmek için bir yol

template <class T> 
void f(T t) {} 

template <class T> 
class MyClass { 
public: 
    MyClass(T t) {} 
}; 

void test() { 
    f<int>(5); 
    MyClass<int> mc(5); 
    f(5); 
    MyClass mc(5); // this doesn't work 
} 

var mı? Yani Derleyici, şablon parametresini yapıcı parametresiyle karşılaştırmaya zorlar.

Gelecekte bu düzeltilecek mi, yoksa iyi bir neden mi var?

Derleyici şablon parametresini önerdiğinde genel kural nedir?

Answer 1

Şablon parametreleri parametre tipi şablondan anlaşılabilmektedir zaman fonksiyon şablonları bilgilerin tahmin parametreleri edilebilir

Yani

burada çıkarılabilir: burada

template <typename T> 
void f(T t); 

template <typename T> 
void f(std::vector<T> v); 

ama:

Ve sınıfı şablonlarda değil.

template <class T> 
    class MyClass { 
    public: 
     MyClass(T t) {} 
     void print(){ 
      std::cout<<"try MyClass"<<std::endl; 
     } 
    }; 

    template <typename T> 
    MyClass<T> MakeMyClass(T t) { return MyClass<T>(t); } 

ve ardından sınıf örneğini oluşturmak için auto a = MakeMyClass(5); çağırır:

Yani sorunun olağan çözümü standart kütüphane fonksiyonu std::make_pair benzer bir sarmalayıcı işlevini yaratmaktır.

Answer 2

Template Argument Deduction (ve ADL or Koenig lookup) adresinden okuyun.