C++ std::is_trivially_destructible 用法分析内存释放优化全指南【干货】-C++-PHP中文网

能跳过析构仅当 std::is_trivially_destructible_v 为 true，即无用户定义析构、无虚析构、所有成员及基类均平凡可析构；否则必致资源泄漏或未定义行为。

c++ std::is_trivially_destructible 用法分析内存释放优化全指南【干货】

直接跳过析构调用是可行的，但只对 std::is_trivially_destructible_v 为 true 的类型安全有效；对 std::string、std::unique_ptr、带自定义析构的类等强行跳过，必然导致资源泄漏或未定义行为。

怎么判断一个类型是否能跳过析构

核心不是“有没有析构函数”，而是“编译器能否确认析构过程什么也不做”。必须同时满足：

没有用户定义的析构函数（即使用编译器隐式生成的默认析构）
析构函数不能是 virtual
所有非静态成员和基类也满足 std::is_trivially_destructible_v

典型 true 类型：int、float、std::array、空 struct；典型 false 类型：std::string（内部有指针和 allocator）、std::vector、struct S { std::unique_ptr p; };（哪怕 p 是空的，其析构仍要执行释放逻辑）。

if constexpr 是唯一正确的分支写法

用普通 if 判断 std::is_trivially_destructible_v 完全无效：模板实例化时两条分支都得能编译，而对 int 调用 p->~int() 是非法的。

正确写法必须是 if constexpr：

template <class t>
void destroy_one(T* p) {
    if constexpr (std::is_trivially_destructible_v<t>) {
        // 编译期被完全剔除，无任何指令
    } else {
        p->~T(); // 仅对 non-trivial 类型实例化
    }
}</t></class>

注意：std::is_trivially_destructible_v 是 C++17 起推荐写法，比 std::is_trivially_destructible::value 更简洁且类型安全。