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

Question

我遇到了一个问题，需要创建一个函数来判断给定的类型是否是从其他类型派生出来的，如果是，则执行某些操作；否则执行其他操作。以下是我的代码：

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的类，我想调用函数couting并希望输出Proper，但实际输出的是Improper。有什么建议吗？

- miqelm

---

T在此处是未推导的上下文，将enable_if移动到结果类型中：auto Function(T) -> typename enable_if<???, void>::type。 - n. m.

Answer 1

正如在问题的评论中提到的那样，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。

- skypjack

---

现在有没有可能为特定类型（例如float）重载该函数？ - miqelm

@miqelm，非模板函数的重载优先于模板函数，因此是的（请参见此处作为示例）。 - skypjack

你确定吗？https://en.cppreference.com/w/cpp/types/enable_if 的注释告诉我你错了。 - MoonRaiser

Answer 2

#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{});
}

- user5821508

---

Function<OtherClass, void>(OtherClass{}); 可以轻松地破解它。这个解决方案太薄弱了。 - skypjack

Answer 3

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";
}

wandbox示例

- Vittorio Romeo

Answer 4

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;
}

- İbrahim