泛型类之外的函数定义正在产生编译错误

Question

上下文

我已经写了以下的最小工作示例

#include <iostream>
template <typename T>
struct A {
enum myenum {faa, fee, fii};
myenum m_m;
A(const myenum& m = faa): m_m(m) {}
};
int main() {
A<int> a1;
A<int> a2(A<int>::fii);
std::cout << a1.m_m << std::endl
<< a2.m_m << std::endl;
return 0;
}

编译并执行会导致

$ g++ main.cpp && ./a.out
0
2

问题

然而，当函数的定义在类之外编写时(即，如下所示(

#include <iostream>
template <typename T>
struct A {
enum myenum {faa, fee, fii};
myenum m_m;
A(const myenum& m);
};
template <typename T>
A<T>::A(const myenum& m = A<T>::faa): m_m(m) {}
int main() {
A<int> a2(A<int>::fii);
std::cout << a2.m_m << std::endl;
return 0;
}

我得到以下编译错误

$ g++ main.cpp && ./a.out
main.cpp:11:1: error: redeclaration of ‘A<T>::A(const A<T>::myenum&)’ may not have default arguments [-fpermissive]
11 | A<T>::A(const myenum& m = A<T>::faa): m_m(m) {}
| ^~~~

问题

我怎样才能消除这个编译错误？

Answer 1

您必须在声明中指定默认参数，并将其从定义中删除。

对于类模板的成员函数，必须在成员函数的初始声明中提供所有默认值。

template <typename T>
struct A {
enum myenum {faa, fee, fii};
myenum m_m;
A(const myenum& m = faa);
};
template <typename T>
A<T>::A(const myenum& m): m_m(m) {}