¿La compilación de este código es un comportamiento estándar?

Question

Consideremos el siguiente código:

struct Undefined; 

template <typename T> 
void TemplateFunction() 
{ 
    Undefined obj; 
} 

int main() 
{ 
    return 0; 
} 

I era siempre la impresión de que las funciones de plantilla y los métodos de la plantilla (o métodos parte de una clase de plantilla), sólo se comprobará la sintaxis (a menos que se instancian) en cuyo caso el código anterior debe compilar.

El problema es que no se compila con Xcode (ver: 4.3.2, usando el compilador LLVM) y ahora me pregunto si el código no es estándar es decir, debe no compilar en un compilador conforme a el estándar C++ 03? El error de Xcode es:

variable tiene tipo incompleto "Indefinido"

Tenga en cuenta que en el código original, el objeto no definido es parte de la afirmación estática.

Answer 1

El compilador tiene razón al rechazar el código, aunque otros compiladores lo aceptarán con mucho gusto. En particular, la cotización estaría dentro §14.6 [temp.res]/8

[...] Si hay especialización válida se puede generar para una definición de plantilla, y que la plantilla no se instancia, es la definición de plantilla mal formado, no requiere diagnóstico. [...] Si un tipo utilizado en un nombre no dependiente está incompleto en el punto en el que se define una plantilla, pero se completa en el punto en el que se realiza una instanciación, y si la integridad de ese tipo afecta si o no el programa está bien formado o afecta la semántica del programa, el programa está mal formado; [...]

Es decir, la plantilla es mal formados aunque el compilador no es necesario para diagnosticarla.