c++oding="utf-8" ?>
noexcept说明符和运算符本质不同：说明符是函数签名一部分，写在声明末尾，影响类型且不返回值；运算符是编译期表达式，接受一个不求值的表达式，返回constexpr bool。
noexcept 运算符和说明符是两个完全不同的语言特性，混用会导致编译错误或逻辑错乱——它们语法位置、作用时机、返回值、甚至能否出现在 typedef 中都截然不同。
noexcept 说明符只能写在函数声明末尾
它是函数签名的一部分，影响函数类型，但不返回任何值。写错位置（比如放在返回类型前、参数列表中、或 typedef 里）直接报错。
-
void f() noexcept;合法：声明f不会抛出异常 -
void f() noexcept(true);合法：等价于上一条 -
void f() noexcept(false);合法：显式允许抛出 -
typedef void (*fp)() noexcept;非法：C++ 禁止在typedef或别名声明中使用说明符 -
noexcept void f();非法：不能前置，不是修饰符语法
一旦标记为 noexcept 却实际抛出异常（比如调用了未标记 noexcept 的函数），程序会立即调用 std::terminate() 终止，不经过任何 catch。
noexcept 运算符只接受一个表达式，且不求值
它是个编译期常量表达式，返回 bool，仅用于静态分析——不会执行括号里的代码，也不会触发副作用。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
noexcept(f())判断的是f是否被声明为noexcept，不是判断f()实际运行会不会崩溃 -
noexcept(42)→true；noexcept(throw 1)→false；noexcept(std::declval<t>().move())</t>→ 取决于T::move()的说明符 -
noexcept(g())中若g未声明noexcept，结果就是false，哪怕g内部其实从不抛出 - 常见误用：
if (noexcept(func())) { func(); }—— 这里func()被调用了两次（一次在noexcept外，一次在 if 分支里），应改用if constexpr配合模板
noexcept(true) 和 noexcept(false) 不是布尔字面量，而是说明符的两种写法
它们不能当普通 bool 值参与运行时逻辑，也不能赋给非 constexpr 变量：
-
constexpr bool x = noexcept(true);非法：这不是运算符调用，noexcept(true)是说明符语法，不能单独成表达式 -
bool y = noexcept(f());合法：这是运算符，返回可推导的 constexpr bool -
void h() noexcept(noexcept(f()));合法：外层是说明符，内层是运算符，嵌套有效
这种嵌套写法常见于模板，用来让函数的异常规范“随成员行为自动推导”，但要注意：若 f 本身没声明 noexcept，内层 noexcept(f()) 就是 false，导致整个 h 被标记为可能抛出——哪怕你主观认为它很安全。
容易被忽略的兼容性细节
某些标准库实现（如 libstdc++ 旧版本）对 noexcept 检查较松，而 MSVC 或较新 libc++ 会更严格地执行规范。比如：
-
std::vector::push_back在移动元素时，优先选择noexcept移动构造函数；如果移动操作没标noexcept，即使它实际上不抛出，容器仍会退回到拷贝，带来性能损失 - 析构函数默认是
noexcept（除非基类或成员的析构函数可能抛出），但显式写成~T() noexcept(false)是合法的，只是极少见 - C++20 起，
throw()已被彻底移除，所有新代码必须用noexcept替代
真正棘手的地方在于：noexcept 运算符的结果依赖于整个调用链上每个函数是否显式标注——漏标一个辅助函数，就可能让整条模板路径的优化失效，而且编译器通常不警告。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
