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

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

您必须在声明中指定default argument，并将其从定义中删除。

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

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) {}