template metaprogramming

Angol

Főnév

template metaprogramming (tsz. template metaprogrammings)

1. (informatika) A C++ template metaprogramming (TMP) egy fejlett programozási technika, amely lehetővé teszi, hogy a sablonokat (template-eket) ne csak típusok általánosítására, hanem programok futás előtti, fordítási időben történő végrehajtására is használjuk. Ez lehetőséget ad statikus számításokra, kódgenerálásra, és optimalizálásra, még a program tényleges futása előtt.

---

🔹 Alapfogalmak

1. Template

A C++ template-ek lehetővé teszik, hogy típusok vagy értékek szerint paraméterezhető kódot írjunk. Két fő típusa van:

• Function template: típusfüggetlen függvény.
• Class template: típusfüggetlen osztály.

2. Metaprogram

Egy metaprogram olyan program, amely más programok szerkezetét vagy viselkedését generálja vagy módosítja. TMP esetén a C++ fordító futtatja ezt a metaprogramot fordítási időben.

---

🔹 Motiváció

Miért használjunk TMP-t?

• Statikus számítás (pl. faktoriális, prímszámok, Fibonacci, stb.)
• Kódgenerálás (pl. típusok közötti különbségek alapján specializált kód)
• Teljesítményoptimalizálás: nincs runtime overhead
• Típusbiztonságos programozás
• Kompilációs hibák időben történő detektálása

---

🔹 Egyszerű példa – faktoriális

template<int N>
struct Factorial {
    static const int value = N * Factorial<N - 1>::value;
};

template<>
struct Factorial<0> {
    static const int value = 1;
};

// Használat:
int main() {
    int x = Factorial<5>::value; // 120
}

Ez a sablon rekurzívan kiszámítja az N! értéket fordítási időben.

---

🔹 TMP kulcselemei

1. Sablonspecializáció

Lehetővé teszi, hogy bizonyos template-paraméterekre külön implementációt írjunk.

template<typename T>
struct IsPointer {
    static const bool value = false;
};

template<typename T>
struct IsPointer<T*> {
    static const bool value = true;
};

2. Sablon rekurzió

TMP nem tartalmaz ciklusokat. Ehelyett rekurziót használunk:

template<int N>
struct Sum {
    static const int value = N + Sum<N - 1>::value;
};

template<>
struct Sum<0> {
    static const int value = 0;
};

3. constexpr (C++11+)

Bár nem része a klasszikus TMP-nek, a constexpr funkciók hasonló előnyöket adnak:

constexpr int factorial(int n) {
    return (n <= 1) ? 1 : n * factorial(n - 1);
}

Ez runtime és compile-time időben is működhet.

---

🔹 TMP vs. Futásidejű programozás

Jellemző	TMP	Runtime
Futási időben hajtódik végre?	❌	✅
Fordítási időben hajtódik végre?	✅	❌
Kódgenerálás ideje	Fordításkor	Futáskor
Teljesítmény overhead	Nincs	Lehet
Hibák észlelése	Kompilációkor	Futáskor

---

🔹 TMP technikák

Type traits (C++11 óta <type_traits>)

• std::is_integral<T>::value
• std::is_same<T, U>::value
• std::enable_if

template<typename T>
typename std::enable_if<std::is_integral<T>::value>::type
foo(T val) {
    // csak integer típusokra
}

SFINAE

Substitution Failure Is Not An Error: ha a sablon behelyettesítése hibát ad, a fordító nem dob hibát, hanem kizárja azt az overload-ot.

Static if (C++17: if constexpr)

template<typename T>
void printType(T val) {
    if constexpr (std::is_integral<T>::value)
        std::cout << "egész szám\n";
    else
        std::cout << "nem egész szám\n";
}

---

🔹 Komplexabb példa – Típuslista

template<typename... Ts>
struct TypeList {};

template<typename T, typename... Ts>
struct Length<TypeList<T, Ts...>> {
    static const int value = 1 + Length<TypeList<Ts...>>::value;
};

template<>
struct Length<TypeList<>> {
    static const int value = 0;
};

Ez a példa kiszámítja egy variadic sablon típuslistájának hosszát fordítási időben.

---

🔹 Használati területek

• STL: std::vector, std::map, std::function is heavily template-based.
• Boost.MPL és Boost.Hana: metaprogramozási könyvtárak.
• Eigen, Blitz++: matematikai könyvtárak TMP-t használnak optimalizációra.
• Compile-time konfiguráció: például függvényváltozatok beégetése típustól vagy értéktől függően.

---

🔹 Előnyök és hátrányok

✅ Előnyök

• Maximális teljesítmény (minden a fordító idején dől el)
• Magas típusbiztonság
• Rugalmas és újrafelhasználható kód

❌ Hátrányok

• Nehezen olvasható (különösen hibák)
• Hosszabb fordítási idő
• Hibakeresés nehéz lehet (összetett template stack trace)
• Komplexitás, amely nem mindig indokolt

---

🔹 Modern TMP: constexpr vs. classic TMP

A modern C++ (C++14–C++20) constexpr, if constexpr, és concepts bevezetésével sok TMP használat egyszerűbbé vált, például:

template<typename T>
constexpr bool is_pointer_v = std::is_pointer<T>::value;

A klasszikus TMP és a modern constexpr gyakran együtt használhatók.

---

🔹 Összefoglalás

A C++ template metaprogramming:

• Lehetővé teszi számítások végrehajtását fordítási időben
• Kulcsfontosságú nagy teljesítményű, típusfüggetlen, újrafelhasználható kód létrehozásához
• Használata nagy hatalmat ad, de megfontoltan kell alkalmazni
• A modern C++ fejlesztései (pl. constexpr, if constexpr, concepts) barátságosabbá és praktikusabbá tették

További információk

• template metaprogramming - Szótár.net (en-hu)
• template metaprogramming - Sztaki (en-hu)
• template metaprogramming - Merriam–Webster
• template metaprogramming - Cambridge
• template metaprogramming - WordNet
• template metaprogramming - Яндекс (en-ru)
• template metaprogramming - Google (en-hu)
• template metaprogramming - Wikidata
• template metaprogramming - Wikipédia (angol)