如何通过模板限制类型

模板的作用是把一组不相关的数据类型作为通用型进行抽象，这样实现泛型。但反过来看如何限制类型呢比如我要限制char类型的生成。这个问题其实可以用模板特化实现。

#include<iostream>using namespace std;template<class T>class contan{};template<>class contan<char>{~contan();};template<class T>struct check{typedef T value;};template<>struct check<char>{};template<class T>void fun(){contan<T> c;typedef check<T>::value value;}int main(){fun<char>();}

当调用char类型时，contan会调用私有的析构编译不通过，而check则没有定义value