nhận dạng của mẫu bí danh

Question

Hãy xem xét một loạt các mẫu bí danh:

template<class T> using foo = T*; 
template<class T> using bar = T*; 
template<class T> using buz = foo<T>; 

template< template<class>class TT > struct id {}; 

using id_foo = id<foo>; 
using id_bar = id<bar>; 
using id_buz = id<buz>; 

Are id_foo, id_bar, id_buz loại giống và khác nhau? Có phải foo, bar, buz các mẫu giống nhau hoặc khác nhau không?

Trình biên dịch khác nhau có ý kiến ​​khác nhau về điều đó. Riêng

• MSVC 2015 và kêu vang 3,5 điều trị tất cả họ đều khác nhau
• gcc 4.9 xử lý buz là giống như foo

Chuẩn C++ 11 trong chương 14.5.7 "mẫu Bí danh " Không rõ ràng.

Answer 1

Là T.C. chỉ ra trong his comment cho câu hỏi, đây là số known hole của tiêu chuẩn.

Các từ ngữ hiện tại của 14.5.7 [temp.alias] giao dịch chỉ với sự tương đương của một chuyên môn hóa của một mẫu bí danh với loại-id sau khi thay thế. Từ ngữ cần phải được thêm vào chỉ định trong những trường hợp nào một mẫu bí danh chính nó tương đương với một mẫu lớp.

Tức là: mọi chuyên môn của foo, bar và buz sẽ đại diện cho cùng một loại. Nhưng không đảm bảo rằng, khi được sử dụng làm thông số mẫu, foo, bar và buz có thể hoán đổi cho nhau.