一种在编译期保证模板类参数T必须实现某函数的方法

我们平时写一个模板类，声明大概如下

template <typename T> class TaskManager { vector<T> tasks; void ParseEveryTask() { vector<T>::iterator it = tasks.begin(); while ( it!=tasks.end() ) { it->parse();//注意，T必须有parse方法 ++ it; } } }

 

怎么能确保传进来的T拥有parse方法呢？模版类的很多方法是在调用时实例化，所以如果没有parse方法，编译期不报错

我用C语言的宏鼓捣了一个解决方案~如果没有parse，编译就报错

 

#define DECLARE_BASE_CONSTRAINTS(Suffix,Fname,Rtype)/ template <typename Class> / class Constraints_##Suffix / { / static void constraint() / { / Rtype (Class::*p)() = &Class::Fname; / (void)p; / } / protected: / Constraints_##Suffix() / { / void (* test)() = &constraint; / } / } #define BASE_NAME(Suffix) Constraints_##Suffix

上面的宏定义仅限定参数类必须有一个返回类型为Rtype、空参数的名字为Fname的函数；

要想支持多个参数，再多写几个类似的宏

使用方法如下：

假设有一个TCPTask类，它含有一个void parse()方法 DECLARE_BASE_CONSTRAINS(123,parse,void); template <typename T> class TaskManager : BASE_NAME(123)<T> { vector<T> tasks; void ParseEveryTask() { vector<T>::iterator it = tasks.begin(); while ( it!=tasks.end() ) { it->parse();//如果T没有parse方法，编译早已报错 ++ it; } } }