将指针转换为模板参数：Comeau 和 MSVC 编译，GCC 失败

Question

考虑以下代码：

template<int* a>
class base {};

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

Comeau 和 MSVC 都可以毫无问题地编译它（除了 Comeau 关于未使用变量的警告），而 GCC 在 base<(int*)0> test; 行上失败，说明

在函数“int main()”中： 转换为整数或枚举类型以外的类型不能出现在常量表达式中

模板参数 1 无效

它到底在抱怨什么？谁是对的——这段代码应该编译吗？值得注意的是，我的 GCC 版本非常旧（3.4.2），因此可能与它有关。谢谢。

Answer 1

来自draft standard（已添加重点）：

14.1.3 非类型模板参数应具有以下之一（选项- 盟友 cv-qualified) 类型： ... --指向对象的指针，接受地址常量表达式设计- 使用外部链接对命名对象进行命名， ...

显然，用空指针实例化模板是不合法的，因为空指针不指向“具有外部链接的命名对象”。