Các tham số mẫu mặc định: Tại sao trình biên dịch phàn nàn về việc không chỉ rõ đối số mẫu?

Question

tôi có mã này:

struct A{}; 

template<class T = A> 
struct B { 
    void foo() {} 
}; 

B b; //Error: missing template arguments before 'b' 
    //Error: expected ';' before 'b' 
    //More errors 
b.foo() 

Nếu tôi làm foo() làm mẫu chức năng với cùng mẫu chữ ký ', trình biên dịch không phàn nàn về việc không quy định cụ thể các đối số mẫu:

struct A {}; 

struct B { 
    template<class T = A> 
    void foo() {} 
}; 

B b; //OK 
b.foo() 

Vì vậy, tại sao tôi cần phải xác định một đối số cho một lớp mẫu với một tham số mặc định, nhưng không phải cho một hàm mẫu? Có một số tinh tế tôi đang thiếu?

Lý do là do lỗi khấu trừ đối số mẫu cho chắc chắn. Nhưng tôi muốn biết tại sao.

Answer 1

Cú pháp đúng là này (demo):

B<> b; 

Giá trị mặc định luận A được giả định cho lớp mẫu B. Phần <> cho trình biên dịch biết rằng B là một mẫu lớp và yêu cầu nó lấy tham số mặc định làm đối số mẫu cho nó.

Answer 2

Bởi vì bạn có thể nói rằng B là một mẫu:

B<> b; 

Ngay cả khi bạn không muốn để xác định bất kỳ đối số.

Answer 3

Cú pháp đúng, như Nawaz đề cập đến đã là:

B<> b; 

Lý do là B là mẫu và B<> là instantiation của mẫu với tham số mặc định A. Nhưng bạn cần <> để phân biệt khi bạn muốn có một sự khởi tạo.