C++模板类成员函数针对模板类特化报不完整类型错误如何解决

问题原因 #

你遇到的编译错误是C语法规则限制导致的：
C仅支持对全特化的模板类单独特化其成员函数，不支持直接偏特化模板类的单个成员函数。

• 你针对Incrementer的特化属于全特化：此时Storer的模板参数已完全确定，符合语法要求，因此可以正常编译。
• 你针对Multiplier<N>的特化属于偏特化：Storer的模板参数仍然依赖未确定的模板参数N，你没有先声明Storer<Multiplier<N>>的偏特化类定义，直接特化其成员函数，编译器无法识别该类的结构，就会抛出invalid use of incomplete type的错误。

解决方案 #

你需要先偏特化整个Storer类适配Multiplier<N>的场景，再在偏特化类中实现对应的Store成员函数，修正后的代码如下：

#include <fstream>
#include <string>
#include <iostream>

class Incrementer
{
  int calculate(int n)  {return n++; }
};

template <int N>
class Multiplier
{
  int calculate(int n) { return n * N; }
};

// 通用Storer模板定义
template <class C>
class Storer
{
public:
  void Store(const C&, std::ostream&) const;
  void ToFile(const C& toStore, const std::string& fileName) const { 
    Store(toStore, std::ofstream(fileName)); 
  }
};

// 全特化Storer针对Incrementer的Store函数，符合语法规则
template <> 
void Storer<Incrementer>::Store(const Incrementer& incrementer, std::ostream& os) const
{
  os << "Incrementer";
}

// 第一步：先偏特化Storer类针对Multiplier<N>的完整定义
template <int N>
class Storer<Multiplier<N>>
{
public:
  void Store(const Multiplier<N>& multiplier, std::ostream& os) const;
  void ToFile(const Multiplier<N>& toStore, const std::string& fileName) const { 
    Store(toStore, std::ofstream(fileName)); 
  }
};

// 第二步：实现偏特化类中的Store成员函数
template <int N>
void Storer<Multiplier<N>>::Store(const Multiplier<N>& multiplier, std::ostream& os) const
{
  os << "Multiplier." << N;
}

如果希望避免重复编写ToFile函数的公共逻辑，可以将公共方法抽离到独立的基类中，通用模板和偏特化模板都继承该基类即可。

内容的提问来源于stack exchange，提问作者nirupamix