Casting wskaźnik jako szablonu argumentu: Comeau & MSVC skompilować, GCC nie

Question

Rozważmy następujący kod:

template<int* a> 
class base {}; 

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

Zarówno Comeau i MSVC skompilować to bez problemów (z wyjątkiem Comeau ostrzeżenie o nieużywanej zmiennej), natomiast nie GCC na linii base<(int*)0> test;, podając

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

Na co dokładnie narzeka? A kto ma rację - czy ten kod się skompiluje? Warto zauważyć, że moja wersja GCC to wyjątkowo stara (3.4.2), więc może mieć z tym coś wspólnego. Dzięki.

Answer 1

Z draft standard (podkreślenie dodane):

 
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, 
    ... 

Najwyraźniej nie jest to legalne instancji szablonu z pustym wskaźnikiem, jak null pointer nie wskazują na „nazwie obiektu z zewnętrznym łącznikiem” .