C++中如何判断两个类是否存在公共基类（无需定位具体基类）

在此前的一个问题中，有开发者提出了common_base_t工具的实现需求，而两个类可能存在多个公共基类，直接返回公共基类类型会有歧义。
当前需要实现的逻辑更简单：仅判断两个类是否存在公共基类，返回布尔结果即可，不需要定位具体的公共基类类型。实现时允许使用Boost或其他符合C标准的外部库，但禁止使用已被语言废弃的旧特性（如老旧的std::tr2相关组件），C20、C++23的标准特性均可使用。

已尝试的失败思路 #

之前尝试过用std::common_type配合std::derived_from实现对应concept：

template<typename T, typename... Ts>
concept have_common_public_base =
    std::derived_from<T, std::common_type_t<T, Ts...>> &&
    (std::derived_from<Ts, std::common_type_t<T, Ts...>> && ...);

该思路的测试代码已在godbolt平台完成验证，最终实现失败。
这个思路走不通的核心原因是std::common_type不会扫描类型的继承链寻找公共基类，它只会推导所有参数都可以隐式转换到的公共类型，仅当两个类型存在直接继承关系时才能返回正确结果，完全覆盖不了“无直接继承、但存在间接公共基类”的通用场景。

核心结论 #

截至C23版本，**纯标准C无法实现无限制、通用的公共基类编译期判断**。根本原因是标准还没正式引入静态反射能力，没有办法枚举一个类型的所有直接/间接基类，自然也就无法比对两个类型的基类集合是否存在交集。
关于dynamic_cast的可行性：单独用dynamic_cast完不成这个需求。dynamic_cast做跨继承链转换时必须明确指定目标类型，我们本来就不知道公共基类的具体类型，自然没有合法的目标类型可以传入做转换校验，这条路走不通。
等C++26正式纳入静态反射特性后，就可以用纯标准代码实现零开销的编译期判断，不需要依赖任何编译器扩展或外部库。

可用的工程实现方案 #

在接受合理限制的前提下，有两类可以落地的实现方案：

• 基于编译器内置扩展的编译期方案
  目前GCC、Clang、MSVC三大主流编译器都提供了稳定的非标准内置编译期指令，可以直接枚举类型的所有基类：MSVC用__bases(T)即可拿到类型T的所有直接、间接基类类型包，GCC/Clang可以用__direct_bases内置指令递归遍历收集全量基类。
  实现逻辑非常直接：先快速判断两个类型是否相同、是否存在直接继承关系，是则直接返回true；否则递归收集两个类型的所有基类存入编译期集合，判断两个集合是否有交集即可。
  这个方案没有运行时开销，结果是编译期常量，可以直接用于concept、constexpr判断等场景，唯一的限制是依赖编译器扩展，不属于100%标准可移植代码，但三个主流编译器对该扩展的支持已经稳定多年，是工程上的首选方案。
• 侵入式注册的纯标准方案
  如果要求完全符合C++标准、不使用任何编译器扩展，可以用侵入式注册的方式实现：要求所有参与判断的类型在定义时，通过统一的宏注册自身的所有直接基类到全局编译期类型表中，判断时递归遍历两个类型的注册基类链，比对是否存在公共类型即可。
  这个方案完全符合标准，但需要修改类的定义代码，通用性较差，仅适合代码规范完全可控的内部项目使用。

注：目前Boost库没有提供该判断的现成组件，其现有的类型萃取工具同样受限于标准能力，没有基类枚举功能，无法独立实现该需求。

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