Klassensjablonen

Net als functies kunnen ook klassen worden geparametriseerd met betrekking tot een of meer gegevenstypen. Hierdoor kunnen we generieke datastructuren (zoals lijsten, wachtrijen, stapels of wrappers) definiëren die met elk gegevenstype werken zonder code te dupliceren.

Een klassensjabloon definiëren

Om een ​​klassensjabloon te declareren, gebruiken we de syntaxis template <typename T> direct vóór de klassendefinitie. Binnen de klasse kunnen we de typeparameter T gebruiken om lidvariabelen, retourtypen of lidfunctieparameters te definiëren.

template <typename T>
class Box {
private:
    T value;
public:
    Box(T v) : value(v) {}

    T getValue() const {
        return value;
    }
};

Instantiatie

Wanneer we een object van een klassensjabloon maken, moeten we het type expliciet specificeren tussen punthaken <> (hoewel de compiler begint met C++17, kan de compiler dit in sommige contexten afleiden via Class Template Argument Deduction of CTAD):

Box<int> intBox(10);        // T becomes int
Box<double> doubleBox(3.14); // T becomes double

Sjabloonspecialisatie

Soms willen we een ander gedrag voor een klassensjabloon wanneer deze wordt geïnstantieerd met een specifiek type. In dit geval definiëren we een totale specialisatie met behulp van de syntaxis template <>, gevolgd door de klassendefinitie die het doeltype specificeert:

// Total specialization for the bool type
template <>
class Box<bool> {
private:
    bool value;
public:
    Box(bool v) : value(v) {}

    void printState() {
        std::cout << (value ? "True" : "False");
    }
};

Probeer het zelf