Thông số mẫu không phải loại

Tôi hiểu rằng tham số mẫu không phải kiểu phải là một biểu thức tích phân không đổi. Ai đó có thể làm sáng tỏ lý do tại sao nó như vậy?

template <std::string temp>
void foo()
{
     // ...
}

error C2993: 'std::string' : illegal type for non-type template parameter 'temp'.

Tôi hiểu biểu thức tích phân không đổi là gì. Lý do gì không cho phép các loại không phải hằng số std::stringnhư trong đoạn mã trên?

Lý do bạn không thể làm điều này là vì các biểu thức không phải hằng số không thể được phân tích cú pháp và thay thế trong thời gian biên dịch. Chúng có thể thay đổi trong thời gian chạy, điều này sẽ yêu cầu tạo một mẫu mới trong thời gian chạy, điều này không thể thực hiện được vì mẫu là một khái niệm thời gian biên dịch.

Đây là những gì tiêu chuẩn cho phép đối với các tham số mẫu không phải kiểu (14.1 [temp.param] p4):

Tham số mẫu không phải kiểu phải có một trong các kiểu sau (tùy chọn đủ điều kiện cv):

• kiểu tích phân hoặc kiểu liệt kê,
• con trỏ tới đối tượng hoặc con trỏ tới hàm,
• tham chiếu giá trị đến đối tượng hoặc tham chiếu giá trị đến hàm,
• con trỏ tới thành viên,
• std::nullptr_t.

Điều đó không được phép.

Tuy nhiên, điều này được cho phép:

template <std::string * temp> //pointer to object
void f();

template <std::string & temp> //reference to object
void g();

Xem §14.1 / 6,7,8 trong Tiêu chuẩn C ++ (2003).

Hình minh họa:

template <std::string * temp> //pointer to object
void f()
{
   cout << *temp << endl;
}

template <std::string & temp> //reference to object
void g()
{
     cout << temp << endl;
     temp += "...appended some string";
}

std::string s; //must not be local as it must have external linkage!

int main() {
        s = "can assign values locally";
        f<&s>();
        g<s>();
        cout << s << endl;
        return 0;
}

Đầu ra:

can assign values locally
can assign values locally
can assign values locally...appended some string

Bạn cần có khả năng xử lý các đối số mẫu

template <std::string temp>
void f() {
 // ...
}

f<"foo">();
f<"bar">(); // different function!?

Bây giờ một cấy ghép sẽ cần phải đưa ra một chuỗi ký tự duy nhất cho std::string hoặc, cho vấn đề đó, bất kỳ lớp nào khác do người dùng xác định tùy ý, lưu trữ một giá trị cụ thể, ý nghĩa của nó không được triển khai. Ngoài ra, giá trị của các đối tượng lớp tùy ý không thể được tính toán tại thời điểm biên dịch.

Nó được lên kế hoạch để xem xét cho phép các loại lớp theo nghĩa đen làm các loại tham số mẫu cho post-C ++ 0x, được khởi tạo bằng các biểu thức hằng số. Chúng có thể bị xáo trộn bằng cách xử lý đệ quy các thành viên dữ liệu theo giá trị của chúng (ví dụ: đối với các lớp cơ sở, chúng ta có thể áp dụng theo chiều sâu đầu tiên, từ trái sang phải). Nhưng nó chắc chắn sẽ không hoạt động cho các lớp học tùy ý.

Đối số mẫu không phải kiểu được cung cấp trong danh sách đối số mẫu là một biểu thức có giá trị có thể được xác định tại thời điểm biên dịch. Các đối số như vậy phải là:

biểu thức hằng, địa chỉ của các hàm hoặc đối tượng có liên kết bên ngoài, hoặc địa chỉ của các thành viên lớp tĩnh.

Ngoài ra, chuỗi ký tự là các đối tượng có liên kết nội bộ, vì vậy bạn không thể sử dụng chúng làm đối số mẫu. Bạn cũng không thể sử dụng con trỏ toàn cục. Không cho phép các ký tự dấu phẩy động, do có khả năng làm tròn lỗi rõ ràng.