std::is_nothrow_destructible 是编译期 trait，仅检查析构函数是否声明为 noexcept（或隐式满足），不验证实际实现；它用于 raii 安全保障，需配合 static_assert 强制约束类型参数。
std::is_nothrow_destructible 是编译期判断，不是运行时检测
它只告诉你类型 T 的析构函数是否被声明为 noexcept（或隐式满足），不关心实际执行会不会抛异常。RAII 安全依赖的是“编译器能确认析构不会主动抛出”，而不是“运行时没抛”。
- 如果析构函数没写
noexcept，哪怕函数体空着，std::is_nothrow_destructible_v<t></t>就是false - 即使写了
noexcept(false)，结果也是false；只有noexcept、noexcept(true)或隐式noexcept才返回true - 注意：基类/成员的析构是否
noexcept会影响派生类的判断——只要有一个不是，整个类型就不是noexcept析构
在 RAII 类型中用 static_assert 强制检查析构安全性
你真正需要的不是“查一下”，而是“确保它必须是”。把 static_assert 放进 RAII 类模板或关键资源包装器里，比事后检查更可靠。
- 例如封装文件句柄：
template<typename HandleT> class scoped_handle { static_assert(std::is_nothrow_destructible_v<HandleT>, "HandleT must have noexcept destructor for safe RAII"); HandleT h_; public: explicit scoped_handle(HandleT h) : h_(h) {} ~scoped_handle() { close(h_); } // close 必须不抛，且 HandleT::~HandleT 也必须不抛 }; - 别只检查自己类的析构——
static_assert应该放在使用点（如构造函数、赋值操作）或模板参数约束处，避免误传非安全类型 - 若
HandleT是自定义类型，它的析构函数必须显式声明为noexcept，否则断言失败
std::is_nothrow_destructible 对 noexcept 函数边界没用
它不能帮你判断某个 noexcept 函数里调用析构会不会导致异常传播——C++ 的 noexcept 规则是：一旦析构抛异常，程序直接调用 std::terminate，不给你捕获机会。
- 这意味着：即使
std::is_nothrow_destructible_v<t></t>是true，也不能保证noexcept函数绝对安全——比如T析构调用了外部库函数，而该函数意外抛了异常（违反了其自身noexcept声明） - 编译器只校验声明，不校验实现；所以这个 trait 只能防住“合法但危险”的代码，防不住“非法且崩溃”的行为
- 真实项目中，优先用
std::unique_ptr、std::vector等标准容器——它们的析构都是标准规定的noexcept，不用自己 assert
别和 std::is_trivially_destructible 混用
这两个 trait 完全不同目标：std::is_trivially_destructible 关注析构是否“可省略”（即是否需要生成析构代码），而 std::is_nothrow_destructible 只管“是否承诺不抛”。一个类型可以 trivial 但 not nothrow（极少，但可能），也可以 nothrow 但 not trivial（常见，比如带 noexcept 成员析构的类）。
立即学习“C++免费学习笔记（深入）”；
- RAII 场景下，你要的是后者——因为即使析构不可省略，只要不抛，栈展开就是安全的
- 检查
std::is_trivially_destructible_v<t></t>对性能优化有意义（比如 memcpy 替代析构），但和异常安全无关 - 错误示例：
static_assert(std::is_trivially_destructible_v<t>)</t>来保障 RAII 安全——这会漏掉大量合法且安全的非平凡类型
