टाइपपीफ फू <> फू संकलित करता है लेकिन क्या यह मान्य है?

Question

कोड की निम्न बिट VS2008 और जीसीसी 4.8.2 में संकलित

template<typename T=void> 
struct Foo 
{ 
}; 

// typedef Foo<> Foo; // Does *NOT* compile 

int main() 
{ 
    typedef Foo<> Foo; 
    Foo f1; 

    // Foo<char> f2;  // Does *NOT* compile 
    //::Foo<char> f3; // COMPILES 
} 

यह वैध है?

Answer 1

प्रति सी ++ 11 3.3.10/1 के रूप में:

एक नाम पर है कि एक ही नाम के एक स्पष्ट घोषणा से छिपा हो सकता है घोंसला घोषित क्षेत्र या कक्षा व्युत्पन्न।

(जोर मेरा)

है यही कारण है कि टेम्पलेट का नाम Foomain() अंदर typedef नाम Foo द्वारा छिपा हो सकता है (एक अलग गुंजाइश), लेकिन एक ही दायरे में के रूप में टेम्पलेट का नाम घोषित किया जाता है नहीं।

क्यों यह इसी तरह के मामले में कानूनी है करने के लिए के रूप में:

struct Foo 
{ 
}; 

typedef Foo Foo; // *DOES* compile 

स्पष्ट 7.1.3/3 द्वारा अनुमति दी है कि:

किसी दिए गए गैर-वर्ग दायरे में, एक typedef विनिर्देशक हो सकता है उस स्कोप में घोषित किसी भी प्रकार के नाम को फिर से परिभाषित करने के लिए उपयोग किया जाता है, जिस प्रकार से यह पहले से संदर्भित होता है।

Answer 2

हाँ, यह वैध है, एक ही कारण है कि यह वैध है के लिए:

struct Foo { }; 

namespace bar { 
    struct Foo { }; 
} 

तुम सिर्फ एक अलग दायरे में नाम अधिलेखित कर रहे हैं। मुख्य के अंदर, आप अभी भी कुछ इस तरह कर सकते हैं:

::Foo<int> f2;