Şablon alt sınıfı nasıl uzmanlaşır?

Question

Şablon sınıfını başka bir sınıfta uzmanlaştırmaya çalışıyorum ama derleyici izin vermiyor. Kod, Foo sınıfı dışında çalışır ama içeride değil ve Bla'nun Foo sınıfına özel olmasını istiyorum.

class Foo { 
    template<typename ... Ts> struct Bla; 
    template<> struct Bla<> { static constexpr int x = 1; }; 
}; 

error: explicit specialization in non-namespace scope 'class Foo' 

Answer 1

:

class Foo { 
public: // so we can test it easily 
    template<typename ... Ts> struct Bla; 
}; 

// specialize it outside the class 
template<> class Foo::Bla<> { static constexpr int x = 1; }; 

int main() 
{ 
    std::cout << Foo::Bla<>::x; 
} 

Answer 2

Bunu yapamazsınız. Hata güzelce özetliyor. Sınıf şablonları sadece isim alanı kapsamında uzmanlaşabilir. class Foo bir ad alanı değil.

Burada standart [temp.class.spec] Bu örneğe göre olduğu gibi, dış sınıfa yapabilir

: A sınıfı şablonu kısmi uzmanlık ilan veya herhangi bir ad kapsamına redeclared edilebilir

hangi tanım tanımlanabilir (14.5.1 ve 14.5.2). [Örnek:

template<class T> struct A { 
    struct C { 
     template<class T2> struct B { }; 
    }; 
}; 

// partial specialization of A<T>::C::B<T2> 
template<class T> template<class T2> 
    struct A<T>::C::B<T2*> { }; 

A<short>::C::B<int*> absip; // uses partial specialization 

-end örnek] Bunu sınıfı, kullanım içeride uzman olamaz