Czy jest jakaś różnica między "T" i "const T" w parametrze szablonu?

Question

Czy jest jakaś różnica między 2 następujących składni:

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

i

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

wszelkich ogólnych wytycznych dla kiedy użyć każdego składni?

Answer 1

nr

§14.1 [temp.param] p5

[...] najwyższego poziomu CV-kwalifikacyjne na szablonach parametrusą ignorowane przy ustalaniu jego typ.

Answer 2

Znalazłem to robi szybkie wyszukiwanie normy:

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 
} 

Komentarz mówi, że są ignorowane.

Nie zalecam używania const w parametrach szablonu, ponieważ jest to niepotrzebne. Zauważ, że nie jest to również "dorozumiane" - są to wyrażenia stałe, które różnią się od const.

Answer 3

Wybór int był chyba zły pomysł, to robi różnicę dla wskaźników choć:

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;