A részleges sablonspecializáció egy C++ programozási nyelvi mechanizmus , amelyet arra terveztek, hogy az általános sablonosztályokat speciális feladatokra vagy paraméterezett adattípusaik meghatározott részhalmazára specializálja [1] . Az amerikai tudós és a C++ megalkotója, B. Stroustrup szerint a sablonspecializáció hatékony eszköz a kódkötetek ellenőrizetlen növekedésének megakadályozására a sablonosztály eszközök aktív használatával, még közepes méretű szoftverprojektek fejlesztésekor is. Ennek az az oka, hogy nem teszi lehetővé az egyes adattípusokhoz redundáns kódreplikák generálását, azok általánosabb kódrészletekkel való helyettesítését, és ezen túlmenően a végtermék fordítási és összekapcsolási idejének csökkentését [2] .
A C++-ban egy paraméterezett adattípus (sablon) explicit specializálása egy további sablonosztály létrehozásával valósul meg, amelyben az elsődleges osztály bemeneti paraméterei teljesen vagy részben újradefiniálva vannak bizonyos adattípusokkal [1] [3] .
Az ilyen felülírás szintaxisa a következő [4] :
sablon < sablon osztály bemeneti paramétereinek listája > _ osztály | szerkezet | union class_name < sablon osztály argumentumlista > _ _ _Például [1] :
// elsődleges osztály sablon < typename Window , typename Controller > class Widget { /* ... a paraméterezett Widget osztály megvalósítása bármilyen ablakhoz és bármely Controller eseménykezelőhöz */ }; // az elsődleges osztálysablon kifejezett specializációja <> osztály Widget < DialogWindow , DialogController > { /* ... a Widget osztály megvalósítása a DialogWindow párbeszédpanel és a DialogController párbeszédpanel eseménykezelővel való munkához */ };Megjegyzendő, hogy az elsődleges osztályban található adattípus-definíciókat soha nem használják a részleges specializáció tagjainak példányosítására. Az elsődleges osztály speciális verzióinak kódmegvalósításának azonban semmi köze ehhez, és tartalmazhat olyan tagokat, amelyeknek semmi közük az elsődleges osztály tagjaihoz [4] .
A kódgenerálás szakaszában a fordító, amikor megfelelő sablont keres, részben megrendeli az elsődleges osztály szakirány számára elérhető változatait, és kiválasztja közülük a legmegfelelőbbet. Ha nincs, akkor a fordító hibaüzenetet generál [4] .
Az osztálysablon részleges specializációja az elsődleges osztály paramétereinek bizonyos konfigurációja, amely argumentumként szolgál a speciális megvalósításhoz. Példa egy ilyen specializációra bármely konténerosztály , amely mutatóobjektumok tárolására van megvalósítva [2] [5] :
// elsődleges osztály sablon < típusnév T > osztályú vektor { /* ... konténer osztály megvalósítása T típusú objektumokhoz... */ }; // az elsődleges osztály részleges specializációja mutatók tárolására sablon < típusnév T > osztály Vektor < T *> { /* ... konténer osztály megvalósítása T típusú objektumokra mutató mutatókhoz... */ };Ebben az esetben a sablonparaméter argumentum nem a sablonnak argumentumként átadott kifejezés, hanem a deklarált elsődleges osztálysablon [2] alapján készült argumentumkonstrukcióból származik .
Paraméterezett sablonosztály egyes metódusainak részleges szakosítása nem megengedett [1] , és részleges specializáció nem engedélyezett az alapértelmezett paraméterek használatára [5] .
A részleges sablonspecializáció rugalmas használata lehetővé teszi néhány nem triviális típusú számítás hatékony végrehajtását. Például az osztályok meglehetősen egyszerű összeállítása segíthet egy többdimenziós tömb szerkezetének (dimenzióinak számának) kiszámításában korábban ismeretlen típusú elemekkel [5] :
// elsődleges osztály sablon < class T > struct RankOfArray { static const int value = 0 ; }; // ismétlődő részlegesen specializált osztálysablon < class T , int N > struct RankOfArray < T [ N ] > { static const int value = 1 + RankOfArray < T > :: value ; };