Casting puntatore come argomento di un template: Comeau & MSVC compilare, GCC fallisce

Question

Si consideri il seguente codice:

template<int* a> 
class base {}; 

int main() 
{ 
    base<(int*)0> test; 
    return 0; 
} 

Sia Comeau e MSVC compilare questo senza problemi (tranne che per Comeau avvertimento circa una variabile non utilizzato), mentre GCC fallisce sulla linea base<(int*)0> test;, affermando

In function `int main()': a casts to a type other than an integral or enumeration type cannot appear in a constant-expression

template argument 1 is invalid

che cosa esattamente si è lamenta? E chi ha ragione - dovrebbe compilare questo codice? Vale la pena notare che la mia versione GCC è estremamente vecchia (3.4.2) che potrebbe avere qualcosa a che fare con esso. Grazie.

Answer 1

Da un draft standard (il corsivo è mio):

 
14.1.3 A non-type template-parameter shall have one of the following (option- 
    ally cv-qualified) types: 
    ... 
    --pointer to object, accepting an address constant expression desig- 
    nating a named object with external linkage, 
    ... 

A quanto pare, non è legale per creare un'istanza di un modello con un puntatore nullo, come un puntatore nullo non punta a un "oggetto denominato con collegamento esterno" .