¿Por qué recibo un error al intentar llamar a una función de miembro de plantilla con un parámetro de tipo explícito?

Question

No entiendo, me parece que la llamada a f es completamente inequívoca, pero no se puede compilar con expected primary-expression before ‘int’. Si hago un comentario en la línea con la llamada al f, compila bien.

template<typename T> 
struct A { 
    template<typename S> 
    void f() { } 
}; 

template<typename T> 
struct B : A<T> { 
    void g() { 
     this->f<int>(); 
    } 
}; 

Answer 1

Esto se debe a una disposición muy oscura de la norma en la que si tiene una plantilla que intenta acceder a una función de plantilla en un objeto cuyo tipo depende de un parámetro de plantilla, usted tiene que utilizar la palabra clave template de una manera extraña:

this->template f<int>(); 

Esto es similar a la rareza con typename que viene con tipos dependientes, excepto como se aplica a las funciones. En particular, si se omite la palabra clave template, hay una ambigüedad entre el análisis

this->f<int>() 

(lo que pretende), y

((this->f) < int) >() 

que no tiene sentido (de ahí su error). El uso de la palabra clave template aquí desambigua y obliga al compilador a reconocer que está buscando una llamada perfectamente válida para una función de miembro con plantilla en lugar de una masa de símbolos distorsionada.

Espero que esto ayude!