Sınıf şablon üyesi işlevi için "varsayılan parametre hatasının yeniden tanımlanması" yok mu?

Question

neden aşağıdaki vermek hiçbir derleme hatası ?: sadece sessizce derleyici tarafından göz ardı edilir sanki

// 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 
} 

görünüyor. Bu neden?
Sınıf şablonu tanımı, bir başlık dosyası yerine Main.cpp içeriyorsa, gerçekten varsayılan parametre hatasını yeniden tanımlıyorum.

Artık derleyici, sıradan (şablonsuz) bir işlev olsaydı bu konuda şikayette bulunacağını biliyorum.

Sınıf şablonu üye işlevlerinde veya işlev şablonlarında standart varsayılan parametreler hakkında ne söylemelidir? 8.3.6 §6 sınıfında üye işlev bildiriminde tarafından sağlanan varsayılan argümanlar kümesine eklenir sınıf tanımının dışında görünen üye işlev tanımında varsayılan argümanlar

Answer 1

tanım.
[Örnek:

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 Örnek]

standardına göre, hatayla vermelidir.