c – 功能模板的规范

我想创建一个函数模板,其中类T仅限于特殊基类T_base的派生类.实现这一目标的有效方法是什么？谢谢你的帮助！

解决方法:

您可以使用类型特征和SFINAE

template<typename T, 
         bool[std::is_base_of<T_base, T>::value] = nullptr>
void f(T const&);

C 03版本也适用于C 11

template<typename T>
typename boost::enable_if< boost::is_base_of<T_base, T> >::type 
f(T const&);

有一个C 11版本使用默认参数将enable_if移动到模板参数列表中

template<typename T, 
         typename = typename std::enable_if<
           std::is_base_of<T_base, T>::value>::type>
void f(T const&);

遗憾的是,如果您的其他重载的唯一区别是SFINAE字符串(即默认参数),则您不能重载f,因为默认参数不是函数模板签名的一部分.但是模板参数的类型本身就是(这些规则就像普通的函数参数一样).

标签：base-class,function-templates,derived-class,c,templates
来源： https://codeday.me/bug/20190726/1540857.html