टेम्पलेट तर्क के रूप में कास्टिंग सूचक: Comeau और MSVC संकलन, जीसीसी में विफल रहता है

Question

निम्नलिखित कोड पर विचार करें:,

template<int* a> 
class base {}; 

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

दोनों Comeau और MSVC मुद्दों के बिना इस संकलन (Comeau एक अप्रयुक्त चर के बारे में चेतावनी को छोड़ कर), जबकि जीसीसी में विफल रहता है 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

वास्तव में यह क्या है के बारे में शिकायत की जाती है? और कौन सही है - क्या यह कोड संकलित होना चाहिए? यह ध्यान देने योग्य है कि मेरा जीसीसी संस्करण है अत्यधिक पुराना (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, 
    ... 

जाहिर है, यह एक अशक्त सूचक के साथ एक टेम्पलेट का दृष्टांत के लिए कानूनी नहीं है, के रूप में एक नल पॉइंटर एक "बाहरी लिंकेज के साथ नामित वस्तु" को इंगित नहीं करता ।