I parametri del modello devono essere tipi?

Question

Nel libro C++ di Bjarne Stroustrup (capitolo 13, pagina 331), si diceva che "un parametro modello può essere utilizzato nella definizione del successivo parametro template". E dà il seguente codice:

template<class T, T def_val> class Cont{ /* ... */ } 

Qualcuno può fornire un esempio di come utilizzare questo modello. Ad esempio, come inizializzare un oggetto di Cont? Mi sembra che "def_val" non sia un argomento di tipo e non dovrebbe essere inserito in <>. Ho sbagliato?

Grazie mille

Answer 1

si può fare qualcosa di simile:

Cont<int, 6> cnt; 
//  ^as long as this is of type T (in this case int) 
// def_val will be of type int and have a value of 6 

parametri dei modelli non sono tenuti ad essere i tipi.

Questo funziona solo quando T è un tipo integrale (int, unsigned, long, char ecc ma non float, std::string, const char*, ecc), come @Riga menzionato nella sua/il suo commento.

Answer 2

def_val è un argomento di valore. Un'esemplificazione potrebbe essere la seguente:

Cont<int, 1> foo; 

Un caso interessante in cui questo è utile è quando si desidera avere un puntatore a una classe membri come modello paremeter:

template<class C, int C::*P> 
void foo(C * instance); 

Ciò consente foo essere istanziato con un puntatore a un membro di tipo int di qualsiasi classe.

Answer 3

Ecco un esempio di come istanziare quanto sopra:

template<class T, T def_val> class Cont{ /* ... */ }; 

int main() 
{ 
    Cont<int,42> c; 
} 

Answer 4

T def_val è un oggetto di tipo T (precedentemente passata). Potrebbe essere usato per inizializzare gli oggetti nel contenitore, per esempio. Per usare, sarebbe simile:

Object init(0); 
Cont<Object, init> cont; 

(pseudo-codice; Object deve, ovviamente, essere un tipo che è legale da utilizzare in questo modo)

Che poi utilizza il secondo parametro di template. È incluso nel modello perché ha un tipo di modello; def_val deve essere di tipo T e deve essere passato quando l'oggetto viene creato.