C++ Academy · Lekcja

Idiom CRTP

Curiously recurring template pattern

Idiom CRTP to bezpłatna lekcja C++ Academy na CoddyKit. To lekcja 1 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej C++ Academy, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs C++ Academy zawiera 4 lekcji w sumie.

Czym jest CRTP

Curiously Recurring Template Pattern (CRTP) to idiom C++, w którym klasa Derived dziedziczy po szablonie bazowym utworzonym z użyciem samej klasy Derived.

Postać: class Derived : public Base<Derived>
Klasa bazowa poznaje swój typ pochodny w czasie kompilacji

template <typename T>
class Base {};

class Derived : public Base<Derived> {};

Podstawowy mechanizm

W klasie bazowej można wykonać static_cast wskaźnika this do typu pochodnego. Ponieważ typ pochodny jest parametrem szablonu, rzutowanie odbywa się w całości w czasie kompilacji i nie wiąże się z żadnym kosztem wykonania.

#include <iostream>

template <typename T>
class Base {
public:
    void interface() {
        static_cast<T*>(this)->implementation();
    }
};

class Derived : public Base<Derived> {
public:
    void implementation() { std::cout << "Derived impl\n"; }
};

int main() {
    Derived d;
    d.interface();
    return 0;
}

Dlaczego „Curiously Recurring”

Nazwa wynika z pozornego paradoksu: klasa bazowa odwołuje się do klasy pochodnej, która nie jest jeszcze w pełni zdefiniowana w momencie zapisywania szablonu bazowego.

Działa to, ponieważ szablony są tworzone dopiero wtedy, gdy są używane
W momencie tworzenia instancji Derived jest kompletnym typem

Pierwsze rzeczywiste zastosowanie

CRTP pozwala klasie bazowej udostępniać wielokrotnie używaną funkcjonalność, która wywołuje metody klasy pochodnej. W tym przypadku klasa bazowa dostarcza funkcję print(), delegując jej działanie do funkcji name() klasy pochodnej.

#include <iostream>
#include <string>

template <typename T>
struct Named {
    void print() {
        std::cout << static_cast<T*>(this)->name() << "\n";
    }
};

struct Cat : Named<Cat> {
    std::string name() { return "Cat"; }
};

int main() {
    Cat c;
    c.print();
    return 0;
}

Brak tablic vtable

W przeciwieństwie do polimorfizmu wykonywanego w czasie działania CRTP nie wymaga słowa kluczowego virtual ani wskaźnika vtable w każdym obiekcie. Rozstrzyganie wywołań odbywa się w całości w czasie kompilacji.

Mniejsze obiekty (brak ukrytego vptr)
Wywołania mogą być rozwijane przez kompilator

Zliczanie instancji

Klasycznym zastosowaniem CRTP jest licznik obiektów. Każda klasa pochodna automatycznie otrzymuje własny licznik statyczny.

#include <iostream>

template <typename T>
struct Counter {
    static inline int count = 0;
    Counter() { ++count; }
    ~Counter() { --count; }
};

struct Widget : Counter<Widget> {};

int main() {
    Widget a, b;
    std::cout << Widget::count << "\n";
    return 0;
}

Każda klasa pochodna ma własny stan

Ponieważ Counter<Widget> i Counter<Gadget> są odrębnymi instancjami szablonu, każda z nich ma niezależną składową statyczną count. Takie rozdzielenie jest niemożliwe w przypadku pojedynczej klasy bazowej niebędącej szablonem.

#include <iostream>

template <typename T>
struct Counter {
    static inline int count = 0;
    Counter() { ++count; }
};

struct A : Counter<A> {};
struct B : Counter<B> {};

int main() {
    A a1, a2;
    B b1;
    std::cout << A::count << " " << B::count << "\n";
    return 0;
}

static_cast jest tu bezpieczne

Rzutowanie w dół wewnątrz klasy bazowej jest bezpieczne tylko wtedy, gdy każdy obiekt typu Base<T> rzeczywiście jest obiektem typu T. CRTP gwarantuje to konstrukcyjnie, ponieważ T jest klasą, która dziedziczy.

Nie należy tworzyć instancji Base<Wrong> dla niezwiązanej klasy

Operatory porównań za pomocą CRTP

Można wygenerować pełny zestaw operatorów porównań na podstawie pojedynczego operator<, dziedzicząc po pomocniczej klasie porównań.

#include <iostream>

template <typename T>
struct Comparable {
    friend bool operator>(const T& a, const T& b) { return b < a; }
    friend bool operator==(const T& a, const T& b) { return !(a < b) && !(b < a); }
};

struct Num : Comparable<Num> {
    int v;
    Num(int x) : v(x) {}
    friend bool operator<(const Num& a, const Num& b) { return a.v < b.v; }
};

int main() {
    std::cout << (Num(3) > Num(2)) << "\n";
    return 0;
}

Ochrona konstruktora

Aby zapobiec przypadkowemu niewłaściwemu użyciu klasy bazowej, należy nadać jej konstruktorowi modyfikator protected, tak aby mogły ją tworzyć tylko klasy pochodne.

#include <iostream>

template <typename T>
class Base {
protected:
    Base() = default;
public:
    void run() { static_cast<T*>(this)->step(); }
};

class Job : public Base<Job> {
public:
    void step() { std::cout << "step\n"; }
};

int main() {
    Job j;
    j.run();
    return 0;
}

CRTP w bibliotekach standardowych

CRTP występuje w wielu rzeczywistych bibliotekach C++.

std::enable_shared_from_this<T> korzysta z tego wzorca
Wiele matematycznych bibliotek używających szablonów wyrażeń (Eigen) opiera się na nim
Zakresy i pomocnicze elementy iteratorów używają podobnych wzorców

Rozpoznawanie postaci X : Base<X> pomaga czytać zaawansowany kod.

Szybkie sprawdzenie

Proszę sprawdzić swoje rozumienie postaci CRTP.

Podsumowanie

Poznali Państwo idiom CRTP.

Derived : Base<Derived> przekazuje klasie bazowej jej konkretny typ
static_cast<T*>(this) umożliwia rozstrzyganie wywołań w czasie kompilacji
Brak vtable, mniejsze obiekty i wywołania możliwe do rozwinięcia przez kompilator
Wzorzec jest używany w licznikach, domieszkach operatorów porównań i pomocniczych elementach bibliotek

Często zadawane pytania

Czy lekcja „Idiom CRTP” jest bezpłatna?

Tak — pełny tekst „Idiom CRTP” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu C++ Academy, przejdź na CoddyKit PRO. Kurs C++ Academy zawiera 4 lekcji w sumie.

Co nauczysz się w „Idiom CRTP”?

Curiously recurring template pattern Ćwiczysz C++ Academy z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.

Czy potrzebuję doświadczenia, aby zacząć C++ Academy?

Nie wymagamy żadnego doświadczenia. C++ Academy w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 1 z 4.

Ile czasu zajmuje lekcja „Idiom CRTP”?

Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.

Czy mogę pisać i uruchamiać kod w tej lekcji C++ Academy?

Tak. Każda lekcja C++ Academy zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.

Wszystkie lekcje w tym kursie

← Powrót do C++ Academy