Có thể đặt tham số mẫu mặc định được đặt trước thông số mẫu mặc định không?

Question

Các đoạn mã sau đây không biên dịch trên gcc-4.7.1:

struct X {}; 

template <class T = X, typename U> 
void f(const U& m) { 
} 


int main() { 
    f<>(0); 
} 

Tuy nhiên, điều này không:

struct X {}; 

template <class T = X, typename U> 
void f(const U& m) { 
    auto g = []() {}; 
} 


int main() { 
    f<>(0); 
} 

gcc-4.7.1 phàn nàn:

c.cpp: In function 'void f(const U&)': 
c.cpp:5:15: error: no default argument for 'U' 

Vì vậy, câu hỏi của tôi là: đang đặt các tham số mặc định trước khi các tham số không mặc định chính xác trong mẫu chức năng? Nếu có, tại sao không biên dịch thứ hai? Nếu không, tại sao người đầu tiên biên dịch? Tiêu chuẩn C++ 11 nói về cú pháp này như thế nào?

Answer 1

Nó bị cấm đối với các lớp và bí danh. n3290 § 14.1.11 trạng thái:

Nếu một mẫu tham số của một lớp mẫu hay bí danh template có một mặc định mẫu đối số, mỗi tiếp theo mẫu tham số trách nhiệm hoặc có một mặc định mẫu đối số cung cấp hoặc là một mẫu tham số gói

Đối với chức năng hạn chế duy nhất dường như có liên quan đến gói thông số:

một gói mẫu tham số của một hàm mẫu không được được theo sau bởi một thông số mẫu khác trừ khi tham số mẫu đó có thể được suy luận hoặc có tham số mặc định

Nhưng rõ ràng là không quan tâm đến trường hợp này.

Cho rằng không có gì trong § 14 cấm nó cho các chức năng có vẻ như chúng ta phải giả định nó được cho phép.

A note from a working group reports dường như xác nhận rằng đây là ý định. Từ ngữ được đề xuất ban đầu của phần đó là:

Nếu tham số mẫu của mẫu lớp có đối số mẫu mặc định, tất cả các thông số mẫu tiếp theo phải có đối số mẫu mặc định được cung cấp. [Lưu ý: Đây không phải là một yêu cầu cho chức năng mẫu vì đối số mẫu có thể được suy luận (14.8.2 [temp.deduct]).]

Tôi không thể nhìn thấy nơi lưu ý rằng đi trong phiên bản cuối cùng Tuy nhiên.