功能模板规范

发布于 2024-12-19 09:13:15 字数 66 浏览 3 评论 0原文

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

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

因为看清所以看轻 2024-12-26 09:13:15

您可以使用类型特征和 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，因为默认参数不是函数模板签名的一部分。但模板参数本身的类型是（这些规则就像普通函数参数一样）。

You can use type traits and SFINAE

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

C++03 version that also works for C++11

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

There is the C++11 version of moving the enable_if into the template parameter list, using a default argument

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

Sadly you then cannot overload f if the only difference of your other overload is the SFINAE string (i.e the default argument), because the default argument is not part of the signature of a function template. But the type of the template parameters themselfs are (these rules are just like for normal function parameters).

回复收藏 0 原文

酷到爆炸 2024-12-26 09:13:15

C++0x 有 std::enable_if；如果您的编译器尚不支持，可以使用 boost::enable_if。

例如，如果签名是 templateint f(T&)，您可以使用

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

C++0x has std::enable_if; if your compiler doesn't yet support it, there's boost::enable_if.

For example if the signature would be template<typename T> int f(T&), you'd use

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

回复收藏 0 原文

香草可樂 2024-12-26 09:13:15

我能想到的最简单的方法是这样的：

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

The simplest way I can think of would be something like this:

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

回复收藏 0 原文

~没有更多了~