在编译时检查 class 是否在 C++ 中有任何基础 class

Question

我想使用 C++ 中的类型实用程序检查 class X是否具有任何基础 class。

例如：

class X : public Y
{
}
static_assert(std::has_base_class<X>::value, "") // OK

但：

class X
{
}
static_assert(std::has_base_class<X>::value, "") // Failed

标准库中是否存在像我想象的has_base_class之类的东西？ 谢谢！

Answer 1

正如评论中提到的，您不能在标准 C++ 中完全做到这一点。 您从 std 库中获得的最接近的是std::is_base_of ，但它用于测试特定的基础 class。

但正如这里提到的 GCC 有std::tr2::bases （和std::tr2::direct_bases ）可以解决您对通用“有任何基础”断言的问题。 这些来自N2965 提案，不幸的是被 std C++拒绝。

这是一个示例代码，展示了如何使用此 GCC 扩展来断言您想要的内容：

#include <tr2/type_traits>

class B {};

class X : public B {};
static_assert(std::tr2::bases<X>::type::empty(),"X");
// doesn't compile because X bases tuple returned is not empty

class Y {};
static_assert(std::tr2::bases<Y>::type::empty(),"Y");

#include <iostream>
using namespace std;

int main() {
  return 0;
}