专业的类模板构造函数

Question

我想专门研究类模板的构造函数。 这不起作用：

template<typename T>
struct One {};

template<typename T>
struct Two {};

template<template<typename> class T, template<typename> class U>
struct Three : public T<Three<T, U>>, public U<Three<T, U>> {};

template<typename T> struct Four;

template<typename T>
struct Four
{
   Four();
};

template<template<typename> class T, template<typename> class U>
Four<Three<T, U>>::Four() {}

int main(int argc, char *argv[])
{
   Four<Three<One, Two> > obj;
}

但是将类模板定义更改为可行：

template<typename T> struct Four;

template<template<typename> class T, template<typename> class U>
struct Four<Three<T, U>>
{
   Four();
};

template<template<typename> class T, template<typename> class U>
Four<Three<T, U>>::Four() {}

看来我正在专门研究整个类模板。 但是我只想像上面的代码那样专门构造函数-那是行不通的。 为什么我不能只将Four的构造函数专门用于Three （我没有更改类模板的ctor的签名）？

Answer 1

你不能 您必须全班学习。 但是..您可以使用继承来解决：

#include <iostream>

class something {};

template <typename T> class hidden_base {
    public:    hidden_base() {a = 1;}
    protected: int a;
};

template<> class hidden_base<something> {
    public:    hidden_base() {a = 2;}
    protected: int a;
};

template <typename T>
class your_class : public hidden_base<T> {
public:
    void lots();
    void of();
    void other();
    void member();
    void functions();
    void here();

    void show_a() {std::cout << hidden_base<T>::a << std::endl;}
};

int main() {
    your_class<long>().show_a();
    your_class<int>().show_a();
    your_class<something>().show_a();
}

这将打印：

1
1
2