const biến là tham số mẫu không phải kiểu (VARIABLE không thể xuất hiện trong biểu thức không đổi)

Question

Tại sao tính năng này hoạt động?

char __nontype[] = "foo"; 
typedef TemplateClass<T, __nontype> MyClass; 

Nhưng điều này (có biến cố định) phải không?

const char __nontype[] = "foo"; 
typedef TemplateClass<T, __nontype> MyClass; 

Lỗi trình biên dịch:

lỗi: '__nontype' không thể xuất hiện trong một hằng số thể hiện

lỗi: template luận 2 không hợp lệ

Answer 1

Sự khác biệt là vì const ảnh hưởng đến liên kết. Nó hoạt động nếu bạn thêm extern. Điều đó nói rằng, theo như tôi có thể nói:

14.3.2 Template non-type arguments [temp.arg.nontype]

A template-argument for a non-type, non-template template-parameter shall be one of:

• an integral constant expression (including a constant expression of literal class type that can be used as an integral constant expression as described in 5.19); or
• the name of a non-type template-parameter; or
• a constant expression (5.19) that designates the address of an object with static storage duration and external or internal linkage or a function with external or internal linkage, including function templates and function template-ids but excluding non-static class members, expressed (ignoring parentheses) as & id-expression, except that the & may be omitted if the name refers to a function or array and shall be omitted if the corresponding template-parameter is a reference; or
• a constant expression that evaluates to a null pointer value (4.10); or
• a constant expression that evaluates to a null member pointer value (4.11); or
• a pointer to member expressed as described in 5.3.1.

cũng nên hoạt động mà không cần extern. Đối tượng được phép có liên kết nội bộ, nhưng trình biên dịch của bạn chưa hỗ trợ. Đây là một trong những thay đổi trong C++ 11, tiêu chuẩn C++ trước đó không cho phép nó.

Answer 2

Lỗi cho biết: kết quả không phải là một biểu thức liên tục (nó được biết tại thời gian liên kết, nhưng không phải thời gian biên dịch).

Dưới đây là một ví dụ mà sẽ công việc:

typedef const char *nontype_t; 
template <nontype_t> struct Y {}; 

char hello[] = "hello"; 
constexpr char* world = hello; 

int main() 
{ 
    Y<hello> a; 
}