Không "định nghĩa lại lỗi thông số mặc định" cho chức năng thành viên của mẫu lớp?

Question

Tại sao cho không có lỗi biên dịch sau đây ?:

// T.h 

template<class T> class X 
{ 
public: 
    void foo(int a = 42); 
}; 

---

// Main.cpp 

#include "T.h" 
#include <iostream> 

template<class T> void X<T>::foo(int a = 13) 
{ 
    std::cout << a << std::endl; 
} 

int main() 
{ 
    X<int> x; 
    x.foo(); // prints 42 
} 

Dường như dù chỉ là âm thầm bỏ qua bởi trình biên dịch. Tại sao điều này?
Điều thú vị là nếu định nghĩa mẫu lớp ở trong Main.cpp thay vì tệp tiêu đề, tôi thực sự nhận được lỗi tham số mặc định.

Bây giờ tôi biết trình biên dịch sẽ phàn nàn về điều này nếu nó chỉ là một chức năng bình thường (không phải mẫu).

Tiêu chuẩn phải nói gì về các tham số mặc định trong các hàm thành viên của mẫu lớp hoặc mẫu chức năng?

Answer 1

8.3.6 §6 Những lập luận mặc định trong định nghĩa hàm thành viên đó xuất hiện bên ngoài của định nghĩa lớp được bổ sung vào bộ đối số mặc định được cung cấp bởi các khai báo hàm thành viên trong lớp Định nghĩa.
[Ví dụ:

class C { 
    void f(int i = 3); 
    void g(int i, int j = 99); 
}; 
void C::f(int i = 3) // error: default argument already 
{ }     // specified in class scope 
void C::g(int i = 88, int j) // in this translation unit, 
{ }       // C::g can be called with no argument 

--end dụ]

Theo tiêu chuẩn, nó sẽ cho bạn một lỗi.