c++ - 仅匹配某些类型的模板函数？

Question

我想定义一个函数模板:

template<typename T>
void foo(T arg)

但我希望 T 只匹配某些类型。具体来说，T 应该从某个基类派生(可能通过多重继承)。否则，此模板不应包含在重载集中。

我该怎么做？

Answer 1

将 SFINAE 与 std::is_base_of 结合使用:

template <typename T,
          typename = std::enable_if_t<
              std::is_base_of<Foo, T>::value
          >>
void foo(T arg);

那只会包括foo在过载集 if T继承自 Foo .请注意，这也包括模棱两可和不可访问的碱基。如果您想要一个只允许 T 的解决方案从 Foo 继承公开和明确的 s , 那么你可以改用 std::is_convertible :

template <typename T,
          typename = std::enable_if_t<
              std::is_convertible<T*, Foo*>::value
          >>
void foo(T arg);

注意参数的反转。

无论您选择哪种形式，为简洁起见，都可以使用别名:

template <typename T>
using enable_if_foo = std::enable_if_t<std::is_base_of<Foo, T>::value>;

template <typename T,
          typename = enable_if_foo<T>>
void foo(T arg);

---

这是有效的，因为 std::enable_if 有一个名为 type 的嵌套类型当且仅当传入的 bool 值是 true .所以如果std::is_base_of<Foo, T>::value是true , enable_if_t被实例化为 void ，就好像我们已经写了:

template <typename T,
          typename = void>
void foo(T arg);

但是，如果T不继承自 Foo , 然后类型特征将评估为 false , 和 std::enable_if_t<false>是替换失败 - 没有 typename enable_if<false>::type .您可能认为这是一个编译错误，但是s替换f失败inot a n e错误 (sfinae)。这只是模板推导失败。所以效果是 foo<T>在这种情况下，只是从可行的过载候选集中删除，与任何其他模板推导失败没有什么不同。