如何无需指定模板参数引用模板类root的所有子类？

你遇到的问题本质是：std::is_base_of要求两个参数都是具体的类类型，而root是模板（不是完整类型），直接传入会触发编译错误。要检测类是否继承自root的任意特化版本，需要借助模板元编程或C++20的Concept特性来实现。

方法1：自定义Type Trait（C++17及以上） #

通过模板特化和std::void_t检测类型转换的可行性，判断派生类是否能转换为任意root<T>：

#include <type_traits>

// 基础模板，默认判断为false
template <typename Derived, typename = void>
struct is_derived_from_root : std::false_type {};

// 特化版本：若Derived可转换为root<T>，则匹配此模板
template <typename Derived>
struct is_derived_from_root<Derived, std::void_t<decltype(static_cast<const root<auto>&>(std::declval<Derived>()))>>
    : std::true_type {};

// 辅助变量模板，简化调用
template <typename Derived>
constexpr bool is_derived_from_root_v = is_derived_from_root<Derived>::value;

方法2：C++20 Concept（更简洁） #

利用Concept的requires子句，让编译器自动推导root的模板参数：

template <typename Derived>
concept DerivedFromRoot = requires(Derived d) {
    // 尝试将Derived转换为任意root<T>的引用
    static_cast<const root<auto>&>(d);
};

测试示例 #

假设你的类定义如下：

template <typename T>
class root {};

class body : public root<int> {};
class foo : public root<std::string> {};
class bar {}; // 不继承root

测试代码：

// Type Trait测试
static_assert(is_derived_from_root_v<body>);  // 编译通过
static_assert(is_derived_from_root_v<foo>);   // 编译通过
static_assert(!is_derived_from_root_v<bar>);  // 编译通过

// Concept测试
static_assert(DerivedFromRoot<body>);  // 编译通过
static_assert(DerivedFromRoot<foo>);   // 编译通过
static_assert(!DerivedFromRoot<bar>);  // 编译通过

补充说明 #

• 如果是私有/保护继承，上述方法会返回false——这符合C++的访问控制规则，外部代码不应感知私有继承的关系。
• 若需要检测私有继承，可以改用基于重载解析的Type Trait（但仍受访问控制限制，需确保测试函数能访问基类）：

template <typename Derived>
struct is_derived_from_root {
private:
    // 匹配任意root<T>指针
    template <typename T>
    static std::true_type test(const root<T>*);
    // 兜底匹配
    static std::false_type test(...);
public:
    static constexpr bool value = decltype(test(std::declval<Derived*>()))::value;
};

内容的提问来源于stack exchange，提问作者notabot