Keine "Neudefinition des Standardparameterfehlers" für die Memberfunktion der Klassenvorlage?

Question

Warum hat den folgenden gibt keinen Übersetzungsfehler ?:

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

Es scheint, als ob die nur vom Compiler automatisch ignoriert wird. Warum ist das?
Die Cooky-Sache ist, dass, wenn die Klassenvorlage Definition ist in Main.cpp anstelle einer Header-Datei, bekomme ich tatsächlich die Standardparameter Neudefinition Fehler.

Jetzt weiß ich, der Compiler wird sich darüber beschweren, wenn es nur eine gewöhnliche (nicht Vorlage) Funktion wäre.

Was sagt der Standard zu Standardparametern in Memberfunktionen oder Funktionsschablonen von Klassenschablonen?

Answer 1

8.3.6 §6 Die Standardargumente in einer Funktionsdefinition, dass außerhalb der Klasse Definition befindet sich auf den Satz von Standardargumente von der Mitgliedsfunktion Deklaration in der Klasse bereitgestellt werden hinzugefügt Definition.
[Beispiel:

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 Beispiel]

Nach der Norm, soll es einen Fehler geben.