用于std::is_base_of的派生类的C++模板函数

C++ template function for derived class with std::is_base_of

本文关键字：C++ 函数 of std is base 用于 派生      更新时间：2023-10-16

我在创建函数时遇到了问题，对于给定的类型，如果它是从其他类型派生的，则执行某些操作，对于所有其他情况，则执行其他操作。我的代码：

class BaseClass {};
class DerivedClass : public BaseClass {};
template <typename T>
void Function(typename std::enable_if<std::is_base_of<BaseClass, T>::value, T>::type && arg) {
std::cout << "Proper";
}
template <typename T>
void Function(T && arg) {
std::cout << "Improper";
}
void test() {
Function(DerivedClass{});
}

对于类DeriviedClass和其他基于BaseClass的类，我想调用函数coutingProper，但它coutsImproper。有什么建议吗？

正如问题评论中所提到的，SFINAE表达式不会像你那样工作。
它应该是这样的：

template <typename T>
typename std::enable_if<std::is_base_of<BaseClass, T>::value>::type
Function(T && arg) {
std::cout << "Proper" << std::endl;
}
template <typename T>
typename std::enable_if<not std::is_base_of<BaseClass, T>::value>::type
Function(T && arg) {
std::cout << "Improper" << std::endl;
}

SFINAE表达式将根据BaseClass是T的基这一事实启用或禁用Function。在这两种情况下，返回类型都是void，因为如果您没有定义它，它是std::enable_it的默认类型。
请在coliru上查看。

还有其他有效的替代方案，其中一些已经在其他答复中提到。

#include <typeinfo>
#include <iostream>
class BaseClass {};
class DerivedClass : public BaseClass {};
class OtherClass {};
template <typename T,typename = typename std::enable_if<std::is_base_of<BaseClass, T>::value, T>::type>
void Function(T && arg)
{
std::cout << "Proper" << std::endl;
}
void Function(...)
{
std::cout << "Improper"<< std::endl;
}
int main()
{
Function(DerivedClass{});
Function(BaseClass{});
Function(OtherClass{});
}

template <typename T>
auto Function(T && arg) -> typename std::enable_if<std::is_base_of<BaseClass, T>::value>::type 
{
std::cout << "Proper";
}
template <typename T>
auto Function(T && arg) -> typename std::enable_if<!std::is_base_of<BaseClass, T>::value>::type 
{
std::cout << "Improper";
}

魔杖盒示例

C++11+：

#include <type_traits> // for is_base_of<>
class Base {};
class Derived : public Base {};
class NotDerived {};
template<typename Class>
void foo(const Class& cls)
{
static_assert(is_base_of<Base, Class>::value, "Class doesn't inherit from Base!");
// The codes...
}
int main()
{
foo(Derived()); // OK!
foo(NotDerived()); // Error!
return 0;
}
相关文章：