क्या यह सी ++ मानक-अनुपालन है जो 'ए <int> :: टेम्पलेट बी <int> x; `का उपयोग कर चर को परिभाषित करने के लिए है?

Question

निम्नलिखित कोड gcc, vC++, और clang द्वारा स्वीकार किया जाता है।

template<class T> 
struct A 
{ 
    template<class U> 
    struct B 
    {}; 
}; 

int main() 
{ 
    A<int>::B<int> y; // OK as expected 
    A<int>::template B<int> x; // Also OK! Is this standard-compliant? 
}; 

यह C++ एक चर A<int>::template B<int> x; का उपयोग कर परिभाषित करने के लिए मानक अनुरूप है?

Answer 1

भले ही यह एक गैर-प्रामाणिक टिप्पणी है, मुझे लगता है कि एक जवाब से n3797 [temp.names]/6

दिया जा सकता है typename उपसर्ग के साथ मामला है, template उपसर्ग अनुमति दी है ऐसे मामलों में जहां यह सख्ती से जरूरी नहीं है; यानी, नेस्टेड-नाम-विनिर्देशक या -> या . के बाईं ओर की अभिव्यक्ति टेम्पलेट-पैरामीटर पर निर्भर नहीं है, या उपयोग टेम्पलेट के दायरे में प्रकट नहीं होता है।

ओपी के उदाहरण में, उपसर्ग template एक टेम्पलेट के दायरे से बाहर किया जाता है, और पूर्ववर्ती नेस्टेड-नाम-विनिर्देशक निर्भर नहीं है। इसलिए, उपसर्ग template आवश्यक नहीं है, लेकिन यहां अनुमति दी गई है।

---

[expr.prim.general]/8

योग्य-आईडी:
        नेस्टेड-नाम-विनिर्देशकtemplate_ऑप्ट   अयोग्य -आईडी

प्लस [temp.names]/5

एक नाम कीवर्ड template लगाया जाता है या एक टेम्पलेट आईडी होगा नाम एक वर्ग टेम्पलेट का उल्लेख होगा।

[temp.names]/1 का कहना है कि B<int> वास्तव में एक (सरल) टेम्पलेट आईडी है।