C++: la especialización parcial de clases de plantilla plantilla

Question

el siguiente código:

using namespace std; 

template <typename X> 
class Goo {}; 


template <typename X> 
class Hoo {}; 


template <class A, template <typename> class B = Goo > 
struct Foo { 
    B<A> data; 
    void foo1(); 
    void foo2(); 

}; 


template <typename A> 
void Foo<A>::foo1() { cout << "foo1 for Goo" << endl;} 


int main() { 
    Foo<int> a; 
    a.foo1(); 

} 

me da un error del compilador:

test.cc:18: error: invalid use of incomplete type 'struct Foo<A, Goo>' 
test.cc:11: error: declaration of 'struct Foo<A, Goo>' 

Por qué no puedo parcialmente especializarse foo1()? Si este no es el camino, ¿cómo hago esto?

Tengo otra pregunta: ¿qué pasa si quiero que foo2() se defina solo para A = int, B = Hoo y no para ninguna otra combinación, ¿cómo hago eso?

Answer 1

Las plantillas de función solo pueden ser totalmente especializadas, no parcialmente.

Las funciones miembro de plantillas de clase son automáticamente funcionan las plantillas, y pueden de hecho ser especializados, pero sólo plenamente:

template <> 
void Foo<int, Goo>::foo1() { } // OK 

puede especializarse parte de toda la clase y luego definirlo de nuevo:

template <typename A> 
struct Foo<A, Goo> 
{ 
    // ... 
}; 

(Ver 14.7.3 para más detalles.)

Answer 2

La plantilla todavía tiene dos parámetros, y estoy UST escribir algo como esto:

template <typename A, template <typename> class B> 
void Foo<A,B>::foo1() { cout << "foo1" << endl;} 

El valor por defecto se ha especificado, y sólo necesita ser especificado una vez. A partir de ese momento, es como cualquier otra plantilla de dos parámetros. Este código se aplicará independientemente de qué B sea (predeterminado o no). Si luego desea especificar un comportamiento diferente para un B en particular, y luego, usted se especializa en la clase, no solo en un método.

(pesadamente corregida)