Error de plantilla confuso

Además de los puntos que otros hicieron, tenga en cuenta que a veces el compilador no podía tomar una decisión y ambas interpretaciones pueden producir programas válidos alternativos al instanciar

#include <iostream>

template<typename T>
struct A {
  typedef int R();

  template<typename U>
  static U *f(int) { 
    return 0; 
  }

  static int f() { 
    return 0;
  }
};

template<typename T>
bool g() {
  A<T> a;
  return !(typename A<T>::R*)a.f<int()>(0);
}


int main() {
  std::cout << g<void>() << std::endl;
}

Esto imprime 0 cuando se omite template antes de f<int()> pero 1 cuando se inserta. Lo dejo como un ejercicio para averiguar qué hace el código.

Introdúzcalo justo antes del punto donde está el recuadro:

template<typename T, typename U, int N> struct X {
     void f(T* t)
     {
        t->template f0<U>();
     }
};

Editar: la razón de esta regla se vuelve más clara si piensas como un compilador. Los compiladores generalmente solo miran hacia adelante uno o dos tokens a la vez, y generalmente no "miran hacia adelante" al resto de la expresión.[Editar: ver comentario] La razón de la palabra clave es la misma que la razón por la que necesita la palabra clave typename para indicar nombres de tipo dependientes: le dice al compilador "oye, el identificador que estás a punto de ver es el nombre de una plantilla, en lugar del nombre de un miembro de datos estático seguido de un signo menos que".

Extracto de Plantillas C++

El.construcción de plantilla Un problema muy similar fue descubierto después de la introducción de typename. Considere el siguiente ejemplo usando el tipo estándar de bitset:

template<int N> 
void printBitset (std::bitset<N> const& bs) 
{ 
    std::cout << bs.template to_string<char,char_traits<char>, 
                                       allocator<char> >(); 
} 

La construcción extraña en este ejemplo es .plantilla. Sin ese uso adicional de template, el compilador no sabe que el token menos que (

En conclusión, el .la notación de plantilla (y notaciones similares como ->template) debe usarse solo dentro de las plantillas y solo si siguen algo que depende de un parámetro de plantilla.