La compilazione di questo comportamento standard del codice?

Question

Si consideri il seguente codice:

struct Undefined; 

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

int main() 
{ 
    return 0; 
} 

ero sempre sotto l'impressione che le funzioni dei modelli e metodi di template (o metodi parte di una classe template) saranno controllati solo per la sintassi (a meno che non siano istanziati), nel qual caso il codice sopra deve compilare.

Il problema è che non viene compilato con Xcode (ver: 4.3.2, utilizzando il compilatore LLVM) e ora sto chiedendo se il codice di cui sopra è non standard ossia deve non compila su un compilatore conforme al lo standard C++ 03? L'errore da Xcode è:

variabile ha tipo incompleto "Definire"

noti che nel codice originale, l'oggetto non definito è parte del asserzione statica.

Answer 1

Il compilatore ha ragione nel rifiutare il codice, anche se altri compilatori lo accetteranno volentieri. In particolare, la citazione sarebbe all'interno di §14.6 [temp.res]/8

[...] Se non è possibile generare una specializzazione valida per una definizione di modello e tale modello non viene istanziato, la definizione del modello è mal formata, nessuna diagnostica richiesta. [...] Se un tipo utilizzato in un nome non dipendente è incompleta al punto in cui un modello viene definito, ma è completa al punto in cui viene eseguita un'esemplificazione, e se la completezza di quel tipo determina se o no il programma è ben formato o influenza la semantica del programma, il programma è mal formato; [...]

Cioè, il modello è mal formate anche se il compilatore non è tenuto a diagnosticarla.