Đúc con trỏ như mẫu đối số: Comeau & MSVC biên dịch, GCC không

Question

Xét đoạn mã sau:

template<int* a> 
class base {}; 

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

Cả Comeau và MSVC biên dịch này mà không có vấn đề (trừ Comeau cảnh báo về một biến không sử dụng), trong khi GCC thất bại trên dòng base<(int*)0> test;, nêu rõ

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

Chính xác thì nó phàn nàn về điều gì? Và ai đúng - mã này có nên biên dịch không? Cần lưu ý rằng phiên bản GCC của tôi là cực kỳ cũ (3.4.2) để có thể liên quan đến nó. Cảm ơn.

Answer 1

Từ một draft standard (nhấn mạnh thêm):

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

Rõ ràng, đó là không hợp pháp để nhanh chóng một mẫu với một con trỏ null, như một con trỏ null không trỏ đến một "tên đối tượng với mối liên hệ bên ngoài" .