typedef Foo <> Foo derler ama geçerli mi?

Question

Aşağıdaki küçük kod VS2008 ve GCC 4.8.2 de derler

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 
} 

geçerli mi?

struct Foo { }; 

namespace bar { 
    struct Foo { }; 
} 

Sadece farklı bir kapsamda adını üzerine yazıyorsanız:

Answer 1

3.3.10/1 C++ 11 gereğince:

bir isim aynı adı taşıyan açık bir bildiriminde tarafından gizlenebilir iç içe bildirim bölgesi veya türetilmiş sınıfı.

(Vurgu benim) şablonu adı Foomain() içine typedef adı Foo tarafından (farklı kapsam) gizli olabilir yüzden

ancak aynı kapsamda şablon adı ilan edilir değil.

bu benzer durum yasal neden gelince:

struct Foo 
{ 
}; 

typedef Foo Foo; // *DOES* compile 

açıkça 7.1.3/3 ile izin Yani: Belirli bir sigara sınıf kapsamında

, bir typedef belirteci olabilir kapsamındaki bildirilen herhangi bir türün adını, daha önce başvurduğu türe başvurmak için kullanılır.

Answer 2

Evet bu geçerli olduğunu aynı nedenle, geçerli bu. Ana içerisi, yine böyle bir şey yapabilirsiniz:

::Foo<int> f2;