铸造指针作为模板参数：科莫和MSVC编译，GCC失败

Question

考虑下面的代码：

template<int* a> 
class base {}; 

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

两个科莫和MSVC编译这个没有问题（除了科莫警告有关未使用的变量），而GCC失败在base<(int*)0> test;线，说明

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

究竟它是什么抱怨？谁是对的 - 这个代码是否应该编译？值得注意的是我的GCC版本是极其旧的（3.4.2），所以可能与它有关。谢谢。

Answer 1

从draft standard（强调）：

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

显然，这是不合法的实例化一个模板，一个空指针，作为一个空指针没有指向一个“外部链接命名的对象” 。