我想定义一个函数模板:
template<typename T>
void foo(T arg)
但我希望 T
只匹配某些类型。具体来说,T
应该从某个基类派生(可能通过多重继承)。否则,此模板不应包含在重载集中。
我该怎么做?
最佳答案
将 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>
在这种情况下,只是从可行的过载候选集中删除,与任何其他模板推导失败没有什么不同。
关于c++ - 仅匹配某些类型的模板函数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31596565/