判断c++类是否支持constexpr深拷贝，需同时满足：①拷贝构造函数显式声明为constexpr；②所有非静态数据成员均为字面量类型（禁用std::string等动态类型）；③析构函数为constexpr（c++20强制要求）；④编译期拷贝测试通过。
判断一个 C++ 类是否支持 constexpr 级别的深拷贝，核心在于验证其所有成员在编译期能否被完整、无副作用地复制——这要求类的拷贝构造函数、析构函数、赋值运算符（若参与）以及所有非静态数据成员的类型，全部满足 constexpr 约束且不触发动态内存分配。
检查类的拷贝构造函数是否为 constexpr
打开类定义，确认拷贝构造函数声明中明确包含 constexpr 限定符，且函数体为空或仅含 constexpr 允许的操作（如成员初始化、字面量类型赋值）。若未显式声明 constexpr，即使编译器可能隐式生成，也不视为支持 constexpr 深拷贝。
注意：C++20 起，隐式生成的拷贝构造函数只有在所有成员均可 constexpr 构造时才默认为 constexpr，但显式标注仍是可靠判定依据。
验证所有非静态数据成员类型是否字面量类型（LiteralType）
逐个检查类中每个非静态数据成员的类型：
- 基础类型（int、double、bool 等）和枚举类型天然满足；
- 用户自定义类型必须自身是字面量类型——即拥有 constexpr 构造函数、constexpr 析构函数（若非 trivial）、所有非静态成员均为字面量类型；
- 【含有 std::string、std::vector、std::unique_ptr 等动态内存管理成员的类，直接不满足】；
- 静态成员、引用成员、const volatile 限定的非字面量类型成员均会导致整个类失去字面量类型资格。
确认析构函数是否为 constexpr（C++20 起强制要求）
方法一：查看析构函数声明，若有 constexpr ~ClassName() = default; 或显式定义且函数体为空/仅含 constexpr 操作，则通过。
方法二：若类中存在任何需要运行期清理资源的逻辑（例如调用 delete、close()、free()），哪怕未显式定义析构函数，只要编译器合成的版本隐含非 constexpr 行为，该类即不支持 constexpr 深拷贝。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
这一步不可跳过：C++20 标准规定，constexpr 对象的生命周期必须完全在编译期管理，析构行为也必须可求值。
测试编译期深拷贝可行性
第一步：在 constexpr 上下文中尝试构造并拷贝对象：
constexpr MyClass a{1, "hello"}; constexpr MyClass b = a;
第二步：若编译通过且无警告，则说明该类当前定义下支持 constexpr 深拷贝；若报错 “call to non-constexpr function” 或 “not a constant expression”，则回溯前三个步骤逐一排查具体成员或函数。
注意：某些编译器（如 MSVC 早期版本）对 constexpr 析构的支持滞后，建议使用 GCC 12+ 或 Clang 14+ 进行验证。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
