通过基类专门化类模板

Specializing a class template by a base class

本文关键字：专门化 基类      更新时间：2023-10-16

我已经把我的怀疑提炼到下面的代码中

struct base {};
struct derived : public base {};
template <class T>
struct Type { };
template <> struct Type<base> {
typedef float mytype;
};
typename Type<base>::mytype a=4.2;    // this works
typename Type<derived>::mytype a=4.2; // this doesnt

有人能解释一下为什么我不能用derived初始化类模板对象，并提出一个简单的方法吗？对于我感兴趣的实际问题，有很多派生类我想使用它们来初始化模板类对象和/或使用typedefs。他们中的人太多了，超出了我想单独研究的范围。

编辑：忘了提，我的坏，这需要C++03

#include <iostream>
#include <type_traits>
struct base { };
struct derived : base { };
template<typename T, bool = std::is_base_of<base, T>::value>
struct Type { };
template<typename T>
struct Type<T, true>
{
typedef float mytype;
};
int main()
{
Type<base>::mytype a1 = 4.2f;
Type<derived>::mytype a2 = 8.4f;
std::cout << a1 << 'n' << a2 << 'n';
}

在C++03中，std可以简单地用boost:boost::is_base_of代替

具有不同模板参数的模板类的两个实例化是完全不相关的类类型。Type<derived>与Type<base>没有任何关系，这当然意味着它不使用专业化，而是从主模板实例化的。主模板没有嵌套类型mytype。

相关文章：