Nessuna "ridefinizione dell'errore di parametro predefinito" per la funzione membro modello di classe?

Question

Perché il seguente dare alcun errore di compilazione ?:

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

Sembra come se il è solo silenziosamente ignorato dal compilatore. Perchè è questo?
La cosa interessante è che se la definizione del modello di classe è in Main.cpp anziché un file di intestazione, effettivamente ottengo il parametro predefinito ridefinizione errore.

Ora so che il compilatore si lamenterà di questo se fosse solo una funzione ordinaria (non di modello).

Che cosa dice lo standard sui parametri predefiniti nelle funzioni membro modello di classe o nei modelli funzione?

Answer 1

8.3.6 §6 Gli argomenti standard in una definizione di funzione membro che appare fuori della definizione della classe vengono aggiunti al set di argomenti di default forniti dalla dichiarazione funzione membro della classe definizione.
[Esempio:

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

Secondo lo standard, si dovrebbe dare un errore.