Specjalizacja metodą częściową C++

Question

Czy istnieje częściowa specjalizacja dla metody klasy szablonów?

template <class A, class B> 
class C 
{ 
    void foo(); 
} 

nie działa specjalizować się to tak:

template <class A> void C<A, CObject>::foo() {}; 

Każda pomoc?

Answer 1

Jeśli już wyspecjalizowane klasy można podać inną realizację foo w wyspecjalizowanych zajęć:

template<typename A, typename B> 
class C 
{ 
public: 
    void foo() { cout << "default" << endl; }; 
}; 

template<typename A> 
class C<A, CObject> 
{ 
public: 
    void foo() { cout << "CObject" << endl; }; 
}; 

---

specjalizować funkcję składową w Visual C++ 2008 można zrobić to szablon też:

template<typename A, typename B> 
class C 
{ 
    template<typename T> 
    void foo(); 

    template<> 
    void foo<CObject>(); 
}; 

Powyższe rozwiązanie wydaje się być dostępne tylko w przyszłym standardzie C++ (zgodnie z projektem nr 2914 14.6.5.3/2).

Answer 2

Ponieważ klasa jest szablon, trzeba się specjalizować, że:

template <class A> 
class C<A, CObject> 
{ 
    void foo() { ... } 
} 

Answer 3

Jeśli dobrze pamiętam, nie można dokonać częściowej specjalizacji szablonu dla funkcji. Nie jestem pewien, czy jest on włączony w C++ 0X

Aktualizacja: (Oczekiwanie na potwierdzenie) Jak zauważył w komentarzach, częściowa specjalizacja szablonu funkcji jest możliwe w C++ 0x.

Answer 4

Myślę, że jest tam nieporozumienie.

Istnieją dwa rodzaje szablonów:

• klasy szablon
• Metody szablon

w przykładzie, masz klasę szablonu, który oczywiście zawiera kilka metod. W takim przypadku będziesz musiał wyspecjalizować klasę.

template <class A> 
class C<A,CObject> 
{ 
    void foo() { ... } // specialized code 
}; 

Problem w przykładzie jest stosunkowo prosta: zdefiniować foo metodę specjalizacji C, ale to nigdy nie było specjalizacji oświadczył wcześniej.

Problem polega na tym, że musisz w pełni wyspecjalizować swoją klasę C (a tym samym skopiować wiele danych). Istnieje kilka obejść.

• Dziedziczenie (kompozycja?): wykonaj wszystkie typowe prace w klasie bazowej, a następnie przejmuj i klasyfikuj klasę C
• Przyjaciel: zamiast używać metody "foo" będącej członkiem C, zdefiniuj ją jako funkcję przyjazną dla znajomych i specjalizuj się tylko ta metoda
• Delegacja: mieć swój „foo” metoda wywołania innej metody „bar”, która jest bezpłatna funkcja, i specjalizują „bar” odpowiednio

które w kod daje:

// 1- Inheritance 
template <class A, class B> 
class CBase 
{ 
    // Everything that does not require specialization 
}; 

template <class A, class B> 
class C: public CBase<A,B> 
     // depending on your need, consider using another inheritance 
     // or even better, composition 
{ 
    void foo(); // generic 
}; 

template <class A> 
class C<A,CObject> : public CBase<A,CObject> 
{ 
    void foo(); // specialized 
}; 

// 2- Friend 
// note the change in signature: 
// - now you need to pass the attributes to be changed 
// - the last parameter helps differentiating the overload 
// as there is no specialization for functions 
template <class A, class B> void foo(Arg1&, Arg2&, const B&); 
template <class A> void foo(Arg1&, Arg2&, const CObject&); 

template <class A, class B> 
class C 
{ 
    friend template <class, class> foo; 
}; 

// 3- Delegation 
// same signature as foo in (2) 
template <class A, class B> void bar(Arg1&, Arg2&, const B&); 
template <class A> void bar(Arg1&, Arg2&, const CObject&); 

template <class A, class B> 
class C 
{ 
    void foo() { bar(member1, member2, B()); } 
}; 

Mam nadzieję, że to wyjaśni i pomoże!

Answer 5

Nie, nie ma częściowej specjalizacji szablonu funkcji w C++ 0x do dodania.

Jak słusznie wspomniano powyżej, w odniesieniu do szablonów funkcyjnych zasadniczo 2 rzeczy zostały zrobione:

• argumenty domyślnym szablonie zostały udostępnione;
• zostały wprowadzone szablony variadyczne.

Wcześniejsze obejścia powinny być stosowane do "emulowania" specjalizacji szablonów funkcji cząstkowych.