template - typedef c++

Cuando un compilador puede inferir un parámetro de plantilla?

Question

A veces funciona, a veces no:

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
}

¿Hay alguna forma de piratear el ejemplo anterior? Es decir, obliga al compilador a deducir el parámetro de la plantilla del parámetro constructor.

¿Esto se solucionará en el futuro, o hay una buena razón para no hacerlo?

¿Cuál es la regla general cuando el compilador puede inferir un parámetro de plantilla?

Answer 1

Lea sobre la Deducción del argumento de la plantilla (y la búsqueda de ADL o Koenig ).

Answer 2

Los parámetros de la plantilla se pueden inferir para las plantillas de función cuando el tipo de parámetro se puede deducir a partir de los parámetros de la plantilla

Entonces se puede inferir aquí:

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

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

Pero no aquí:

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

Y no en las plantillas de clase .

Entonces, la solución habitual para su problema es crear una función de contenedor, similar a la función de biblioteca estándar 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); }

y luego llame a auto a = MakeMyClass(5); para crear una instancia de la clase.