專業化的類模板構造函數

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