विज़ुअल सी ++ कंपाइलर आश्रित-नाम को "टाइपनाम" के बिना एक प्रकार के रूप में अनुमति देता है?

Question

आज मेरे दोस्तों में से एक ने मुझे बताया कि निम्नलिखित कोड अपने विजुअल स्टूडियो 2008 पर अच्छी तरह से संकलित:

#include <vector> 
struct A 
{ 
    static int const const_iterator = 100; 
}; 
int i; 
template <typename T> 
void PrintAll(const T & obj) 
{ 
    T::const_iterator *i; 
} 
int main() 
{ 
    std::vector<int> v; 
    A a; 
    PrintAll(a); 
    PrintAll(v); 
    return 0; 
} 

मैं आमतौर पर जी ++ का उपयोग करें, और यह हमेशा दूसरे PrintAll() कॉल पारित करने के लिए इंकार कर दिया। जैसा कि मुझे पता है, इस समस्या के लिए, g ++ टेम्पलेट का अनुवाद करने का मानक तरीका कर रहा है।

तो, क्या मेरा ज्ञान गलत है, या यह वीएस -2008 का विस्तार है?

Answer 1

यह कोई विस्तार नहीं है।

कुलपति ++ ठीक से दो चरणों व्याख्या कभी नहीं लागू किया:

1. परिभाषा के बिंदु पर, टेम्पलेट को पार्स और सभी गैर निर्भर नाम
2. निर्धारित इन्स्टेन्शियशन के बिंदु पर, जाँच करें कि टेम्पलेट मान्य पैदा करता है कोड

कुलपति ++ पहले चरण कभी नहीं लागू किया ... यह असुविधाजनक है, यह न केवल यह है कि यह कोड है कि गैर-संगत लेकिन यह भी है कि यह कुछ स्थितियों में एक पूरी तरह अलग कोड का उत्पादन होता है स्वीकार करता है इसका मतलब है के बाद से। क्योंकि यह केवल परिभाषा टेम्पलेट की परिभाषा और foo के संकल्प के बिंदु पर उपलब्ध T पर निर्भर नहीं करता था

• अनुरूप compilers, "पूर्णांक" प्रिंट होगा:

  void foo(int) { std::cout << "int" << std::endl; } 
  
  template <class T> void tfoo() { foo(2.0); } 
  
  void foo(double) { std::cout << "double" << std::endl; } 
  
  int main(int argc, char* argv[]) 
  { 
      tfoo<Dummy>(); 
  } 
  

  इस कोड के साथ

  ।

• कुलपति ++, "डबल" प्रिंट होगा क्योंकि यह कभी चरण 1

यह बेवकूफ जहाँ तक मतभेद जाना के रूप में लग सकता है से परेशान है, लेकिन भी शामिल है की अगर आप संख्या के बारे में लगता है कि आप एक बड़े कार्यक्रम में होता है, इसलिए एक जोखिम है कि कोई आपके टेम्पलेट कोड के बाद अधिभार पेश करेगा ... और बीएएम:/

Answer 2

मुझे यकीन नहीं है कि "विस्तार" बिल्कुल इस संबंध में मैं वीसी ++ का वर्णन कैसे करूंगा, लेकिन हां, इस संबंध में जीसीसी के पास बेहतर अनुरूपता है।