这有点过时，但我想我会把它留在这里以防它帮助别人。我在谷歌上搜索导致我来到这里的模板专业化，虽然@maxim1000 的回答是正确的，并最终帮助我解决了我的问题，但我认为它并不十分清楚。
我的情况与 OP 的情况略有不同（但我认为足以留下这个答案）。基本上，我使用的是第三方库，其中包含定义“状态类型”的所有不同类型的类。这些类型的核心只是enums，但这些类都继承自一个公共（抽象）父类，并提供不同的实用函数，例如运算符重载和static toString(enum type)函数。每种状态enum都彼此不同且不相关。例如，一个enum有 fields NORMAL, DEGRADED, INOPERABLE，另一个有AVAILBLE, PENDING, MISSING等。我的软件负责管理不同组件的不同类型的状态。我想利用这些toString功能来实现enum类，但由于它们是抽象的，我无法直接实例化它们。我本可以扩展我想使用的每个类，但最终我决定创建一个template类，typename它将是enum我关心的任何具体状态。关于这个决定可能会有一些争论，但我觉得这比enum用我自己的自定义类扩展每个抽象类并实现抽象函数要少得多。当然，在我的代码中，我只是希望能够调用.toString(enum type)并让它打印那个enum. 由于所有的enums 都是完全不相关的，所以它们都有自己的toString必须使用模板专业化调用的函数（经过我了解的一些研究）。这把我带到了这里。下面是我必须做的一个 MCVE，以使其正常工作。实际上我的解决方案与@maxim1000 的有点不同。
这是 s 的（非常简化的）头文件enum。实际上，每个enum类都在它自己的文件中定义。此文件表示作为我正在使用的库的一部分提供给我的头文件：
// file enums.h
#include <string>
class Enum1
{
public:
enum EnumerationItem
{
BEARS1,
BEARS2,
BEARS3
};
static std::string toString(EnumerationItem e)
{
// code for converting e to its string representation,
// omitted for brevity
}
};
class Enum2
{
public:
enum EnumerationItem
{
TIGERS1,
TIGERS2,
TIGERS3
};
static std::string toString(EnumerationItem e)
{
// code for converting e to its string representation,
// omitted for brevity
}
};
添加这一行只是为了将下一个文件分成不同的代码块：
// file TemplateExample.h
#include <string>
template <typename T>
class TemplateExample
{
public:
TemplateExample(T t);
virtual ~TemplateExample();
// this is the function I was most concerned about. Unlike @maxim1000's
// answer where (s)he declared it outside the class with full template
// parameters, I was able to keep mine declared in the class just like
// this
std::string toString();
private:
T type_;
};
template <typename T>
TemplateExample<T>::TemplateExample(T t)
: type_(t)
{
}
template <typename T>
TemplateExample<T>::~TemplateExample()
{
}
下一个文件
// file TemplateExample.cpp
#include <string>
#include "enums.h"
#include "TemplateExample.h"
// for each enum type, I specify a different toString method, and the
// correct one gets called when I call it on that type.
template <>
std::string TemplateExample<Enum1::EnumerationItem>::toString()
{
return Enum1::toString(type_);
}
template <>
std::string TemplateExample<Enum2::EnumerationItem>::toString()
{
return Enum2::toString(type_);
}
下一个文件
// and finally, main.cpp
#include <iostream>
#include "TemplateExample.h"
#include "enums.h"
int main()
{
TemplateExample<Enum1::EnumerationItem> t1(Enum1::EnumerationItem::BEARS1);
TemplateExample<Enum2::EnumerationItem> t2(Enum2::EnumerationItem::TIGERS3);
std::cout << t1.toString() << std::endl;
std::cout << t2.toString() << std::endl;
return 0;
}
这输出：
BEARS1
TIGERS3
不知道这是否是解决我的问题的理想解决方案，但它对我有用。现在，无论我最终使用了多少枚举类型，我所要做的就是toString在 .cpp 文件中为方法添加几行，我可以使用库中已经定义的toString方法，而无需自己实现它，也无需扩展每个enum我想使用的类。