Visual C++ Derleyici, "typename" olmayan bir isim olarak bağımlı isim verir?

Question

Bugün arkadaşlarımdan biri şu kod onun Visual Studio 2008 de derler söyledi:

#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; 
} 

Genellikle g ++ kullanın ve her zaman ikinci PRINTALL() çağrısını geçmek reddediyorum. Bildiğim gibi, bu sorun için, g ++ bir şablonu tercüme etmenin standart yolunu yapıyor.

Bilgim yanlış mı, yoksa VS2008'in uzantısı mı?

Answer 1

Bu bir uzantı değildir. şablonu ayrıştırmak ve örnekleme noktasında olmayan tüm bağımlı isimler

belirlemek, şablonu geçerli ürettiğini kontrol tanımının noktada

1. :

   VC++ düzgün iki faz yorumunu hiç uygulanmamış Kod

VC++ hiçbir zaman ilk aşamayı uygulamamıştır ... bu, yalnızca uyumlu olmayan bir kod kabul ettiği anlamına gelmediği için değil, aynı zamanda bazı durumlarda tamamen farklı bir kod oluşturduğu anlamına da gelir. o T bağlı değildir şablonun tanımı ve foo kararı noktasında kullanılabilecek tek tanım çünkü

• uyumlu derleyici, "int" yazdırır: Bu kod ile

  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>(); 
  } 
  

  .

• VC++ o Aptalca kadarıyla farklılıklar gitmek gibi görünebilir 1

fazı ile rahatsız etmemişti, çünkü "çift" yazdırmak, ancak sayı düşünürsen orada büyük bir programda var kapsamaktadır arasında olacak Birisi şablon kodunuzdan sonra aşırı yüklenme riski taşır ... ve BAM:/

Answer 2

"Uzantı" nın VC++ 'yı bu bağlamda tam olarak nasıl tanımlayacağından emin değilim, fakat evet, gcc'nin bu konuda daha iyi bir uyumu var.