函数模板规范

specification of function templates

本文关键字：函数模板      更新时间：2023-10-16

我想创建一个函数模板，其中类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，因为默认参数不是函数模板签名的一部分。但是模板参数本身的类型是(这些规则就像普通的函数参数)。

c++ 0x有std::enable_if;如果你的编译器还不支持它，有boost::enable_if。

例如，如果签名是template<typename T> int f(T&)，您将使用

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

我能想到的最简单的方法是:

template<class T>
void someFunc(T arg)
{
    dynamic_cast<BaseClass>(arg); // will throw an exception if not castable to base class
    // continue...
}
相关文章：