(Ừ, vì tôiỐiTrong tiếng Anh, tiêu đề thật kỳ lạ, tôi hy vọng ai đó có thể cải thiện nó. )

Trả lờicâu hỏi này , tôi thấy mã này hoạt động:

mẫu  lớp A { };
mẫu  lớp U> lớp B { };

int main()
{
    B nó_hoạt động;
}

..Mặc dùlớp mẫu Và lớp mẫu Không bằng.

Tôi đã cố gắng tìm hiểu tại sao điều này có thể xảy ra và quan sát thấy Tiêu chuẩn N3337 [temp.param] nhưng tôi không tìm thấy gì cả. Làm sao có thể được?

câu trả lời hay nhất

Vâng, điều đó là có thể. C++11 14.3.3/3 đặc biệt cho phép điều này và cung cấp một ví dụ.

3A đối số mẫu phù hợp với một mẫu tham số mẫu (gọi nó là P) khi mỗi tham số mẫu trong danh sách tham số mẫu của đối số mẫumẫu lớp hoặc mẫu bí danh tương ứng của (gọi nó là MỘT) khớp với tham số mẫu tương ứng trong danh sách tham số mẫu of P. Khi P'S danh sách tham số mẫu chứa gói tham số mẫu (14.5.3), gói tham số mẫu sẽ khớp với 0 hoặc nhiều tham số mẫu hoặc gói tham số mẫu trong danh sách tham số mẫu of MỘT có cùng loại và dạng với gói tham số mẫu trong P (bỏ qua liệu các tham số mẫu đó có phải là gói tham số mẫu hay không) [ Ví dụ:

mẫu  đánh giá cấu trúc;

mẫu  lớp TT, lớp T1, lớp... Phần còn lại>
struct eval<>> { };

mẫu  cấu trúc A;
mẫu  cấu trúc B;
mẫu  cấu trúc C;
mẫu  cấu trúc D;
mẫu  struct E;

eval<>> eA; // OK: khớp với một phần chuyên môn của eval
eval<>> eB; // OK: khớp với một phần chuyên môn của eval
eval> eC; // lỗi: C không khớp với TT trong chuyên môn hóa một phần
eval<>> eD; // lỗi: D không khớp với TT trong chuyên môn hóa một phần
eval<>> eE; // lỗi: E không khớp với TT trong chuyên môn hóa một phần

—kết thúc ví dụ ]

(nhấn mạnh của tôi)

Về C++ 11: Có thể cung cấp mẫu tham số mẫu cố định cho tham số varidic-template-template-parameter không?, chúng tôi đã tìm thấy một câu hỏi tương tự trên Stack Overflow: https://stackoverflow.com/questions/26060176/