Tại sao các mẫu không thể được khai báo trong một hàm?

Question

Reading C++ Templates: The Complete Guide và nó nói

Lưu ý rằng các mẫu không thể được khai báo trong một chức năng

Nó không đưa ra lời giải thích và/hoặc tham chiếu chéo với bất kỳ chương khác trong cuốn sách hoặc tài nguyên bên ngoài.

Ai đó có thể giúp giải thích điều này. Có lẽ nó được giải thích sau trong cuốn sách nhưng chưa có. Nếu được giải thích trước đó, tôi phải bỏ lỡ nó.

Ví dụ:

int main() 
{ 
    class DummyClass // This compiles ok 
    { 
    int object; 
    }; 

    template <typename T> // compile error "expected primary-expression before "template"" 
    class DummyTemplate 
    { 
    T object; 
    }; 

    return 0; 
} 

Tôi không hiểu được thông báo lỗi từ gcc một trong hai. Các thông báo lỗi nói:

expected primary-expression before "template" 

Answer 1

Nó có nghĩa là bạn không thể làm một cái gì đó giống như

void foo() 
    { 
     template <typename T> //Error 
     T something; 
    } 

tờ khai mẫu sau đây chỉ được phép ở, không gian tên, hoặc phạm vi lớp học toàn cầu. :)

Lý do đằng sau nó là gì?

Không được phép vì tiêu chuẩn nói như vậy.

ISO C++ - 98 (Mục 14,2)

Một mẫu khai có thể xuất hiện chỉ như là một lời tuyên bố phạm vi không gian tên hoặc lớp học.

Điều đó có hợp lý không?

Answer 2

Chính xác thì việc sử dụng sẽ là gì? Vì vậy, bạn có thể khai báo các biến mẫu mà bạn chỉ có thể sử dụng trong hàm? Điều đó thực sự hữu ích?

Answer 3

Câu trả lời ngắn gọn về lý do tại sao điều này là do những người viết trình biên dịch và tiêu chuẩn c/C++ muốn nó như thế nào. Các khuôn mẫu bên trong các hàm phải được coi là quá hỗn loạn và/hoặc khó hiểu hoặc phân tích cú pháp, vì vậy chúng cấm nó.

Answer 4

Thời gian duy nhất này sẽ hữu ích nếu bạn tạo nhiều bản sao của mẫu với các loại khác nhau bằng một hàm. Tuy nhiên, hãy chuyển các lớp riêng tư ra khỏi các hàm của bạn. Nếu điều đó bắt đầu làm lộn xộn các lớp học của bạn thì chúng quá lớn và cần phải được tái cấu trúc.

Answer 5

Tôi đoán là khó triển khai, đó là lý do tại sao nó không được phép. Việc viết các mẫu lớp bên ngoài các hàm là một giải pháp có thể chấp nhận được từ tay kia.

Answer 6

Sự cố có thể liên quan đến các mẫu cách lịch sử đã được triển khai: các kỹ thuật triển khai sớm (và một số vẫn được sử dụng ngày nay) yêu cầu tất cả các biểu tượng trong một mẫu có liên kết bên ngoài. (Instantiation được thực hiện bằng cách tạo ra các mã tương đương trong một tập tin riêng biệt.) Và các tên được định nghĩa bên trong một hàm không bao giờ có liên kết và không thể được gọi ra bên ngoài phạm vi mà chúng được định nghĩa.