luokkafunktiotemplate

Luokkafunktiotemplate on ohjelmointikielissä käytetty käsite, jossa luokan jäsenfunktio määritellään template-parametreilla. Tämä mahdollistaa sen, että kyseisen jäsenfunktion käyttäytymistä voidaan mukauttaa eri tyyppien mukaan ilman, että luokan koko rakenne on templaatattu. Luokkafunktiotemplatekanavat eroaa sekä luokka-templaatista että erillisen funktiotemplaatin käytöstä: se koskee vain yhtä luokan jäsenfunktiota, jonka toimintaa voidaan varata yhä tyypin mukaan.

Syntaksi ja käyttö

Luokan sisällä voidaan määritellä jäsenfunktio, joka on templaatio. Esimerkiksi:

class Printer {

public:

template <typename T>

void print(T const& value) {

std::cout << value << std::endl;

}

};

Tässä Printerin print on templaatti, joka hyväksyy minkä tahansa T-tyypin arvoa tulostettavaksi. Käyttö:

Printer p;

p.print(42);

p.print("hello");

Jos luokka on itse templaatio, jäsenfunktiotemplate voivat käyttää sekä luokan templatparametreja että omia funktiotemplaatin parametrejaan:

template <typename T>

class Box {

public:

template <typename U>

void set(U const& value) { /* ... */ }

};

Hyödyntäminen ja rajoitteet

Luokkafunktiotemplatea voidaan käyttää erilaisia toiminnallisuuksia varten, kuten yhdenmukaistamaan tulostus, muunnokset tai erityiset käyttöliittymät riippumatta luokan varsinasta tyyppimääritelmästä. Deduktio ja tulkinta nousevat esiin samaan tapaan kuin muut templaatit, ja voivat vaatia erillisiä eräänlaisten instansoitujen määrittelyjä tai explicit-instansseja. Luokkafunktiotemplate voivat komplitoitua, kun ne ovat osa suurta luokkatemplaatit, ja niiden yhteensopivuus voi vaikuttaa kokoonpanon ja linkkauksen aikaisiin valintoihin.

Kuivattu huomio

Luokkafunktiotemplate ovat tehokas väline generisointiin, mutta ne voivat tuottaa epäselvää virheilmoitusta ja lisätä käännösaikaa. Ne tarjoavat joustavuutta ilman, että koko luokkaa tarvitsee templatisoida, ja niitä käytetään yleisesti, kun halutaan tukea useita tyyppejä yhden luokan sisäisesti.