我如何专注/重载一个模板函数的模板类型

Question

我有以下类别：

template <class... T> 
class thing {}; 

template <class T> 
class container { 
    public: 
     container() { 
      std::cout << "normal constructor" << std::endl; 
     } 
}; 

我可以写的container<int>以这种方式构造一个完整的专业化：

template <> 
container<int>::container() { 
    std::cout << "int constructor" << std::endl; 
} 

我希望能够为container<thing<T>>定义一个类似的构造函数。我想我试图写一个模板函数的偏特这里是我试图（这是非法的。）：

template <class T> 
container<thing<T>>::container() { 

} 

这并不编译。

我不完全确定解决这个问题的正确方法是什么，模板类函数的重载和专业化之间的界限变得模糊。这可以微不足道地解决，还是需要type_traits（std::enable_if）？我该如何解决这个问题？

Answer 1

你不能偏专门的构造函数，但你不必一定要分专业满级。

这可以简单地解决或将需要type_traits/enable_if？我该如何解决这个问题？

委托构造函数和标签调度可以解决此限制。
它遵循最小，工作示例：

#include<iostream> 

template <class... T> 
class thing {}; 

template <class T> 
class container { 
    template<typename> 
    struct tag {}; 

    template<typename U> 
    container(int, tag<thing<U>>) { 
     std::cout << "thing<U>" << std::endl; 
    } 

    container(char, tag<T>) { 
     std::cout << "normal constructor" << std::endl; 
    } 

public: 
    container(): container(0, tag<T>{}) {} 
}; 

int main() { 
    container<int> c1; 
    container<thing<int>> c2{}; 
} 

看到它的wandbox。

---

请注意，如果你想有两个以上的委托构造函数，从中挑选合适的人了，你可以轻松地扩展它。
作为一个例子：

#include<iostream> 

template <class... T> 
class thing {}; 

template<typename> struct tag {}; 
template<int N> struct prio: prio<N-1> {}; 
template<> struct prio<0> {}; 

template <class T> 
class container {  
    template<typename U> 
    container(prio<2>, tag<thing<U>>) { 
     std::cout << "thing<U>" << std::endl; 
    } 

    container(prio<1>, tag<double>) { 
     std::cout << "double" << std::endl; 
    } 

    container(prio<0>, tag<T>) { 
     std::cout << "normal constructor" << std::endl; 
    } 

public: 
    container(): container(prio<2>{}, tag<T>{}) {} 
}; 

int main() { 
    container<int> c1; 
    container<double> c2; 
    container<thing<int>> c3{}; 
} 

查看它wandbox。

Answer 2

你不能偏专门的构造函数，但可以部分专业类的全

template <class T> 
class container<thing<T>> 
{ 
    public: 
     container() { } 
};