W jaki sposób klasa może dziedziczyć z szablonu opartego na sobie?

Question

Podczas czytania artykułu, natknąłem następującej składni:

template <typename T> 
class MyTemplate 
{ 
    T* member; 
    T* method(); 
    // ... 
} 

class MyClass : public MyTemplate<MyClass> 
{ 
    // ... 
} 

nie dokładnie zrozumieć, jak MyClass może dziedziczyć z szablonu, który jest oparty na sobie. Czy możesz wyjaśnić, jak to działa?

Answer 1

Nazywa się to Curiously Recurring Template Pattern lub CRTP w skrócie. Służy do uzyskania efektu statycznego polimorfizmu, wykorzystując fakt, że do czasu uzyskania numeru MyTemplate<MyClass> w linii class MyClass : public MyTemplate<MyClass>, jest on częściowo zdefiniowany (jest to typ niekompletny), więc można przechowywać wskaźniki do tego typu, itp. i robić z nim rzeczy, które nie wymagają pełnego typu.

Answer 2

Proszę wyjaśnić, jak to działa?

Uhm ... to po prostu robi? Standardowo pozwala na to, aby parametry szablonu były typu niekompletnego. A ponieważ żadna metoda w klasie bazowej CRTP nie wymaga w pełni zdefiniowanego typu, wszystko jest w porządku.

§3.9.2 P3 [basic.compound]
Wskaźniki niepełnych typów są dozwolone, choć istnieją ograniczenia dotyczące tego, co można zrobić z nich (3.11).

§14.3.1 p2 [temp.arg.type]
[Uwaga: Argument typu szablonu może być niekompletny (3.9). -end note]

Answer 3

To się nazywa CRTP. Służy do statycznego polimorfizmu, który może być szybszy niż użycie wirtualnego.

: public MyTemplate<MyClass> 

instancję MyTemplate<MyClass>, chociaż od MojaKlasa jest niekompletna można używać tylko T w sposób, który nie wymaga kompletnego typu. Takich jak użycie wskaźnika lub wywołanie funkcji składowej.

Zresztą wystarczy spojrzeć na fragmencie, to jest w zasadzie taki sam, jak ten:

class MyClass 
{ 
    MyClass* member; 
    MyClass* method(); 
} 

który jest w pełni legalny i zrozumiałe.