模板专门化和从其他模板类继承模板类

Question

关于下一个代码，我有一些问题：

template<typename T>
class Base;

template<typename T, typename P>
class Base<T(P)> {

};

template<typename T>
class Derived;

template<typename T, typename P>
class Derived<T(P)> : public Base<T(P)> {

};

>

类专业化派生

当我绑定类专用化的模板参数T和P时，名称是什么 派生




Answer 1

匿名用户

> < li>

从派生的模板< code >实例化的类

这就是所谓的继承。那里没有什么特别的事情。您只是用T（P）类型实例化模板Base并从结果类继承。

基础

您可能会感到困惑，以为< code>T(P)是某种特殊的模板。它不是。它只是“返回< code>T并接受< code>P类型的单个参数”的类型函数。当然，这种类型在模板之外很少出现，但是在其他地方它们是完全合法的。即

using FuncType = void(int);

// These two declarations are exactly the same
void doAThing(FuncType* callback);
void doAThing(void(*callback)(int));

Answer 2

< li >类专门化<代码>派生

从技术上讲，两者都不是。类或类模板永远不会继承自模板，只会继承自一种特定的基类类型。也就是说，派生

如果我稍微改变一下你的例子，

template<typename T> // #1
class Base;

template<typename T, typename P> // #2
class Base<T(P)> {
public:
    static const int mem1 = 1;
};

template<typename T>
class Derived;

template<typename T, typename P>
class Derived<T(P)> : public Base<T(P)> {
};

class SomethingElse {};

template<typename P> // #3
class Base<SomethingElse(const P&)> {
public:
    static const long long mem2 = 2;
};

using ThingType = Derived<SomethingElse(const std::string&)>;
const auto A = ThingType::mem1; // Error!
const auto B = ThingType::mem2; // OK

说部分专业化派生是不正确的

除了使用依赖复合类型之外，我不知道这方面的任何术语。（依赖=取决于一个或多个模板参数；复合=类型T（P）涉及其他类型T、P）这也使得＜code＞成为基础