判断类是否可 constexpr 析构：一、析构函数须显式或隐式 constexpr 且无运行时操作；二、std::is_trivially_destructible 为 false 则不可 constexpr 析构；三、在 constexpr 函数中定义对象并作用域退出，编译失败即不满足；四、所有成员与基类析构均需 constexpr；五、可用编译器扩展或 -Wconstexpr 警告辅助诊断。
如果某个类在 constexpr 上下文中需要被析构，编译器必须确保其析构函数满足常量表达式约束。以下是判断该类是否可被 constexpr 常量表达式安全地析构销毁的方法：
一、检查析构函数是否为 constexpr
类的析构函数必须显式声明为 constexpr，或满足隐式 constexpr 条件（即所有非静态成员和基类的析构函数均为 constexpr，且函数体为空或仅含 constexpr 允许的操作）。C++20 要求 constexpr 析构函数不得调用非 constexpr 函数，不得含有运行时分支（如 if、switch）、循环（for、while）、goto、try/catch 等。
1、打开类定义，查找析构函数声明，确认其是否带有 constexpr 说明符。
2、若未显式声明，检查是否满足隐式 constexpr 条件：所有直接非静态成员的类型均具有 constexpr 析构函数，且所有直接基类也满足相同条件。
立即学习“C++免费学习笔记（深入）”；
3、确认析构函数体内不包含任何 throw 表达式、new/delete 运算符、动态内存操作或 std::abort 等运行时终止调用。
二、使用 std::is_trivially_destructible 类型特征验证
该特征仅反映析构是否平凡（trivial），而非是否 constexpr；但若返回 false，则一定不可 constexpr 析构；若返回 true，仍需进一步验证是否满足 constexpr 约束，因为平凡析构不等于 constexpr 析构（例如某些带 constexpr 析构但非平凡的类）。
1、在编译期断言中使用 static_assert(std::is_trivially_destructible_v
2、若断言失败，说明该类型存在非平凡析构逻辑，无法在 constexpr 上下文中安全析构。
3、若通过，继续执行第三种方法进行更精确的 constexpr 可析构性测试。
三、构造 constexpr 上下文强制触发编译期析构检查
通过在 constexpr 函数内创建该类型的局部对象，并令其生命周期自然结束（即作用域退出），迫使编译器在常量表达式求值阶段尝试生成析构代码。若编译失败，说明析构不满足 constexpr 要求。
1、编写一个 constexpr 函数，内部定义该类的栈上对象：constexpr void test_dtor() { T obj{}; }。
2、对该函数进行 constexpr 调用，例如：constexpr auto x = test_dtor();。
3、观察编译器报错信息：若提示 “call to non-constexpr function” 或 “destructor cannot be used in a constant expression”，则表明析构函数不满足 constexpr 条件。
四、检查成员与基类的 constexpr 析构链完整性
即使类自身析构函数标记为 constexpr，若其任何非静态数据成员或虚基类的析构函数不可 constexpr，则整个类仍不可 constexpr 析构。该检查需递归展开至所有嵌套层级。
1、列出该类所有非静态成员变量的类型，对每种类型重复执行第一种方法，确认其析构函数是否 constexpr。
2、列出所有直接与间接基类，逐个验证其析构函数是否满足 constexpr 要求。
3、特别注意标准库容器（如 std::array）——其析构在 C++20 中是 constexpr，但 std::vector、std::string 等动态分配容器的析构函数 不是 constexpr，因此含此类成员的类自动失去 constexpr 析构资格。
五、利用编译器扩展属性或诊断宏辅助识别
部分编译器（如 GCC 12+、Clang 14+）支持 __is_consteval_destructible(T) 内置特性（非标准，但可用作调试手段），或可通过 -fconstexpr-depth= 指定深度并结合 -Wconstexpr 警告级别捕获隐式失败点。
1、在代码中添加预处理指令：#pragma GCC diagnostic warning "-Wconstexpr"（GCC）或 #pragma clang diagnostic warning "-Wconstexpr"（Clang）。
2、将类实例置于 constexpr 变量初始化表达式中，例如：constexpr T instance{};。
3、编译时若出现 “constexpr variable 'instance' must be initialized by a constant expression”，且错误定位在析构阶段，则确认该类型不满足 constexpr 析构要求。
