一个c++类能被constexpr上下文安全析构，当且仅当其析构函数为constexpr、所有非静态成员及基类析构函数均为constexpr、无虚析构函数、对象可constexpr构造且生命周期完全在常量表达式中推导。
要判断一个C++类是否能被 constexpr 上下文安全析构（即其析构函数可参与常量表达式求值），必须严格满足编译期可判定的语义约束，否则在 constexpr 函数中 delete 或离开作用域时会触发编译错误。
析构函数本身必须是 constexpr
第一步：检查类的析构函数声明是否显式标注为 constexpr 或隐式 constexpr。若未标注且函数体含非常量表达式操作（如 new、throw、非 constexpr 函数调用、读取非常量全局变量），则直接不满足条件。
第二步：若析构函数是用户定义的，必须确保函数体内所有语句均为常量表达式允许的操作——例如仅调用其他 constexpr 析构函数、执行字面量类型成员的隐式析构、进行 constexpr 友元函数调用等。
第三步：注意隐式生成的析构函数只有在所有非静态数据成员和基类的析构函数都为 constexpr 时，才被隐式声明为 constexpr；只要有一个成员（如 std::string、std::vector、std::mutex）的析构函数不是 constexpr，整个类的隐式析构函数就不是 constexpr。
所有非静态成员的析构函数也必须是 constexpr
方法一：逐个检查每个非静态数据成员的类型。基础类型（int、double、指针等）、字面量类（literal type）且其析构函数为 constexpr 的自定义类才合格。
方法二：特别警惕标准库容器与 RAII 类型——【std::string、std::vector、std::shared_ptr、std::unique_ptr
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
方法三：对聚合类或空基类，若仅含 public 非静态成员且类型全为字面量类型，则其隐式析构函数通常满足要求；但一旦引入 bit-field、引用成员或虚基类，即使无自定义析构函数，也可能因隐式析构不可 constexpr 而失败。
类不能有虚析构函数
虚析构函数必然涉及运行时虚表查找与动态调度机制，这与 constexpr 的纯编译期求值本质冲突。即使函数体为空且标记为 constexpr，编译器仍拒绝将其视为常量表达式候选。
若类继承自带虚析构函数的基类，即使派生类未显式声明析构函数，其隐式析构函数也会是虚的 → 直接不满足 constexpr 析构条件。
类对象的完整生命周期必须在常量表达式中可推导
第一步：该类的对象必须能以 constexpr 方式构造（即构造函数为 constexpr，且所有实参为常量表达式）。
第二步：对象不能绑定到非 constexpr 引用或通过非 constexpr 指针间接管理；若使用 constexpr new 表达式分配，则必须配对使用 constexpr delete，且分配器类型必须支持 constexpr 析构（标准 allocator 不支持）。
第三步：对象不得参与任何导致副作用的操作——例如在 constexpr 函数中对类对象成员赋值后又析构，若该赋值触发了非常量表达式行为（如 operator= 非 constexpr），则整个析构过程失效。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
