¿No hay "redefinición de error de parámetro predeterminado" para la función de miembro de plantilla de clase?

Question

¿Por qué no dar el siguiente error de compilación ?:

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

Parece como si el se acaba en silencio ignorado por el compilador. ¿Por qué es esto?
Lo bueno es que si la definición de plantilla de clase está en Main.cpp en lugar de un archivo de cabecera, de hecho obtengo el error de redefinición del parámetro error.

Ahora sé que el compilador se quejará de esto si fuera una función normal (sin plantilla).

¿Qué dice el estándar sobre los parámetros predeterminados en las funciones de los miembros de la plantilla de clase o en las plantillas de funciones?

Answer 1

8.3.6 § 6 Los argumentos por defecto en una definición de función miembro que aparece fuera de la definición de clase se añaden al conjunto de argumentos predeterminados proporcionados por la declaración de función miembro de la clase definición.
[Ejemplo:

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

De acuerdo con la norma, debe darle un error.