¿Los parámetros de la plantilla deben ser tipos?

Question

En el Bjarne Stroustrup C++ Book (capítulo 13, página 331), decía que "se puede usar un parámetro de plantilla en la definición del parámetro de plantilla posterior". Y da el siguiente código:

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

Puede alguien dar un ejemplo de cómo utilizar esta plantilla. Por ejemplo, ¿cómo inicializar un objeto de Cont? Me parece que "def_val" no es un argumento de tipo, y no debe colocarse en <>. ¿Me equivoco?

Muchas gracias

Answer 1

se puede hacer algo como esto:

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 

parámetros de plantilla no están obligados a ser tipos.

Esto sólo funciona cuando T es un tipo entero (int, unsigned, long, char etc, pero no float, std::string, const char*, etc), como @Riga mencionado en su/su comentario.

Answer 2

def_val es un argumento de valor. Una instancia podría tener este aspecto:

Cont<int, 1> foo; 

Un caso interesante en donde esto es útil es cuando se desea tener un puntero a una clase miembros como plantilla Paremeter:

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

Esto permite foo estar instanciado con un puntero a un miembro del tipo int de cualquier clase.

Answer 3

Aquí está un ejemplo de cómo crear una instancia de lo anterior:

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

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

Answer 4

T def_val es un objeto de tipo T (que fue aprobada previamente). Podría usarse para inicializar elementos en el contenedor, por ejemplo. Para utilizar, se vería algo como:

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

(pseudo-código; Object debe ser, obviamente, un tipo que es legal el uso de esta forma)

que luego utiliza el segundo parámetro de plantilla. Está incluido en la plantilla porque tiene un tipo de plantilla; def_val debe ser del tipo T y se debe pasar cuando se crea el objeto.