我有一个模板类作为参数的函数:
template<class T> void scheduleTask(T* a);
但我希望调用此函数的类扩展类“Runnnable”,在Java中你可以通过以下方式实现:
public <T extends Runnable> void scheduleTask(T a);
如果可以,我将如何在c中执行此操作?
解决方法:
您可以使用std :: is_base_of强制执行此限制.您有两种使用方法.
使用SFINAE影响重载分辨率:
template<typename T, typename = typename std::enable_if<std::is_base_of<Runnable, T>::value, T>::type>
void scheduleTask(T *a) {...}
清理,给出一个很好的错误消息,但不影响重载解析:
template<typename T>
void scheduleTask(T *a) {
static_assert(std::is_base_of<Runnable, T>::value, "T must be derived from Runnable");
...
}
这两个都需要C 11.我知道如果你无法访问C 11,Boost会有一些技巧.
也就是说,正如Jerry在评论中所说,根本不使用模板可能更有意义.如果你调查此事并且仍然确定你需要一个,这应该有效.