¿Hay alguna diferencia entre "T" y "const T" en el parámetro de la plantilla?

Question

¿Hay alguna diferencia entre los siguientes 2 sintaxis:

template<int N> struct A;   // (1) 

y

template<const int N> struct A; // (2) 

Cualquier pauta general para cuándo utilizar cada uno de sintaxis?

Answer 1

No.

§14.1 [temp.param] p5

[...] el nivel superior CV-calificadores en la plantilla-parámetro se ignoran cuando se determina su tipo.

Answer 2

Me encontraron esta haciendo una búsqueda rápida del estándar:

template<const short cs> class B { }; 
template<short s> void g(B<s>); 
void k2() { 
    B<1> b; 
    g(b); // OK: cv-qualifiers are ignored on template parameter types 
} 

El comentario dice que son ignorados.

Recomendaré no usar const en los parámetros de la plantilla, ya que no es necesario. Tenga en cuenta que tampoco está 'implícito' - son expresiones constantes que son diferentes de const.

Answer 3

La elección de int era probablemente una mala idea, se hace una diferencia para los punteros sin embargo:

class A 
{ 
public: 
    int Counter; 
}; 

A a; 


template <A* a> 
struct Coin 
{ 
    static void DoStuff() 
    { 
     ++a->Counter; // won't compile if using const A* !! 
    } 
}; 

Coin<&a>::DoStuff(); 
cout << a.Counter << endl;