C++: đặc tả từng phần của các lớp mẫu template

Question

Các mã sau đây:

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

} 

mang lại cho tôi một lỗi biên dịch:

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

Tại sao tôi không thể một phần chuyên foo1()? Nếu đây không phải là cách, làm thế nào để làm điều này?

Tôi có một câu hỏi khác: nếu tôi muốn foo2() chỉ được xác định cho A = int, B = Hoo và không cho bất kỳ kết hợp nào khác, làm cách nào để làm điều đó?

Answer 1

Mẫu chức năng chỉ có thể là đầy đủ chuyên biệt, không phải một phần.

hàm thành viên của lớp mẫu sẽ được tự động hoạt động mẫu, và họ thực sự có thể được chuyên, nhưng chỉ đầy đủ:

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

Bạn một phần có thể chuyên toàn bộ lớp và sau đó xác định nó một lần nữa:

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

(Xem 14.7.3 để biết chi tiết.)

Answer 2

Mẫu vẫn có hai tham số và bạn ust viết một cái gì đó như thế này:

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

Giá trị mặc định đã được chỉ định và chỉ cần được chỉ định một lần. Từ đó trở đi, nó giống như bất kỳ mẫu hai tham số nào khác. Mã này sẽ áp dụng cho dù B là gì (mặc định hoặc ngược lại). Nếu sau đó bạn muốn chỉ định hành vi khác nhau cho một B, cụ thể thì bạn chuyên môn hóa lớp học, không chỉ là một phương pháp.

(nặng nề sửa)