Có sự khác biệt nào giữa "T" và "const T" trong thông số mẫu không?

Question

Có sự khác biệt giữa 2 sau cú pháp:

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

và

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

Bất kỳ hướng dẫn chung cho mỗi khi sử dụng cú pháp?

Answer 1

số

§14.1 [temp.param] p5

[...] Các cấp cao nhất cv-vòng loại trên mẫu tham số được bỏ qua khi xác định loại của nó.

Answer 2

Tôi thấy điều này làm một tìm kiếm nhanh của tiêu chuẩn:

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 
} 

Các bình luận nói rằng họ sẽ được bỏ qua.

Tôi khuyên bạn không nên sử dụng const trong thông số mẫu vì không cần thiết. Lưu ý rằng nó không được ngụ ý - hoặc là các biểu thức hằng số khác với const.

Answer 3

Sự lựa chọn của int có lẽ là một ý tưởng tồi, nó làm cho một sự khác biệt cho con trỏ mặc dù:

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;