C++中std::is_polymorphic如何识别多态？__is_polymorphic工作原理

你在标准库头文件里找不到__is_polymorphic的实现源码是正常的：

• 它不是标准库用普通C代码实现的模板、函数或者宏，是编译器内置的编译期原语（intrinsic），判断逻辑直接集成在编译器的C语言前端里，不会暴露在标准库的源码文件中。

底层判定规则 #

__is_polymorphic的判断逻辑完全对齐C++标准对「多态类型」的定义，没有额外的自定义规则：

• 所有非类类型（基础类型、指针、引用、数组、枚举等），直接返回false
• 类类型如果既没有自身声明的虚函数，也没有从基类继承到任何虚函数，返回false
• 类类型只要存在至少一个虚函数（不管是自身声明的普通虚函数、纯虚函数、虚析构函数，还是从任意层级基类继承得到的虚函数），就返回true

编译器在解析每个类的定义时，会同步维护类的编译期元数据：如果类需要生成虚函数表（vtable），就会给这个类标记「多态类型」标签。__is_polymorphic本质就是在编译期直接读取这个预存的标签结果，不需要做复杂的模板推导，判断零额外开销。

注意：不存在「只有定义了虚析构函数的类才是多态类型」的规则，只要类有任意虚函数，哪怕派生类完全没有重写、也没有新增任何虚函数，它依然属于多态类型，可以触发动态绑定。

举几个判定示例：

#include <type_traits>

// 判定结果为false
struct NoVirtualBase {};
struct DerivedNoVirtual : NoVirtualBase {};
using AliasInt = int;

// 判定结果为true
struct HasPureVirtual { virtual void func() = 0; };
struct DerivedVirtual : HasPureVirtual {}; // 继承基类虚函数，自身无新虚声明
struct HasVirtualDestructor { virtual ~HasVirtualDestructor() = default; };

static_assert(std::is_polymorphic_v<DerivedVirtual> == true);
static_assert(std::is_polymorphic_v<NoVirtualBase> == false);

标准库封装std::is_polymorphic时直接调用这个内置原语，是目前所有主流编译器（GCC、Clang、MSVC）通用的实现方式，比纯模板实现的方案更准确、编译开销更低，也不会触发ODR或者隐式实例化相关的边缘问题。

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