Tại sao các tham số mẫu tên tệp không được nhận dạng ngầm là các loại?

Question

Rất thường trong định nghĩa lớp C++, đặc biệt là trong các thư viện, lớp học đặc điểm vv, bạn xem mã tương tự như đoạn sau đây:

template <typename Bar, typename Baz> 
class Foo { 
    using bar_type = Bar; 
    using baz_type = Baz; 
    // ... etc. 
} 

Và chỉ với những dòng này bạn có thể tham khảo sau Foo<A,B>::bar_type hoặc Foo<C,D>:baz_type. Tôi tự hỏi: Tại sao tiêu chuẩn ngôn ngữ yêu cầu trình biên dịch tự động xác định các loại bằng cách sử dụng các thông số mẫu tên, tức là cho phép xóa hai dòng bằng cách sử dụng, và nhận ra Foo<A,B>::Bar là A và Foo<C,D>::Baz là D?

Điều này thậm chí không nên phá vỡ mã hiện tại, vì trong Foo, các mã định danh Bar và Baz cũng đã được lấy.

Answer 1

Tên tham số không phải là một phần của đối tượng đang được khai báo. Điều này đúng cho cả hai hàm và mẫu. Các mã sau đây chỉ tuyên bố hai thực thể riêng biệt:

extern void f(int, char, bool); 
extern void f(int a, char b, bool c); 
extern void f(int x, char b, bool z); 

template <typename> struct X; 
template <typename A> struct X; 
template <typename T> struct X; 

Lưu ý đặc biệt là đoạn mã sau là hoàn toàn tốt đẹp:

template <typename T> struct X { void f(); }; // X<T>::f not yet defined 
template <typename U> void X<U>::f() {}   // now it's defined 

Tất cả các nỗ lực phát sinh cấu trúc bổ sung từ tên tham số phải đối phó với tình trạng này. Một trong những yêu cầu phổ biến nhất trong lĩnh vực này được đặt tên là các tham số hàm; cho đến nay đã không có một đề nghị thỏa đáng cho một phần mở rộng như vậy.

Ở một mức độ nào đó, tất cả các đề xuất như vậy sẽ yêu cầu đặt tên tham số là một phần của thực thể được khai báo. Ví dụ, đối với các hàm, điều đó sẽ làm tăng câu hỏi liệu các tên tham số có cần phải bị xáo trộn và tiếp xúc với trình liên kết hay không.