Kiedy kompilator może wywnioskować parametr szablonu?

Question

Czasami to czasami nie działa:

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 
} 

Czy istnieje sposób, aby włamać się wokół powyższym przykładzie? To znaczy. zmusić kompilator do wyprowadzenia parametru szablonu z parametru konstruktora.

Czy zostanie to naprawione w przyszłości, czy też jest ku temu dobry powód?

Jaka jest ogólna zasada, gdy kompilator może odczytać parametr szablonu?

Answer 1

parametry szablonu można wywnioskować na szablonów funkcyjnych gdy typ parametru można wywnioskować z szablonu Parametry

Więc można wywnioskować tutaj:

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

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

ale nie tutaj:

template <typename T> 
T f() { 
    return T(); 
} 

I nie w szablonach klas.

Więc zwykle rozwiązanie problemu jest stworzenie funkcji otoki, podobną do funkcji standardowej biblioteki std::make_pair:

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); } 

a następnie zadzwonić auto a = MakeMyClass(5); instancji klasy.

Answer 2

Przeczytać na Template Argument Deduction (i ADL or Koenig lookup).