为什么C++未标准化按值捕获异常且无复制消除时移动异常对象的规则？

首先明确现有C++标准的相关规则：

在throw表达式中，如果编译器无法执行copy elision（复制消除）但除源对象是函数参数外，其余复制消除条件均已满足或本该满足，那么即使对象是左值，编译器也会尝试调用移动构造函数。
在catch子句中现有规则允许如下优化：当捕获的参数类型（忽略cv限定符）与抛出的异常对象类型完全相同时，可省略异常对象的拷贝，catch子句体直接访问原异常对象，效果等价于按引用捕获。如果这种复制消除会改变程序的可观测行为，且改变原因不只是跳过catch子句参数的拷贝构造函数和析构函数（比如catch子句修改了参数，随后用throw;重新抛出异常对象），则该优化会被禁用。

你提到的“满足复制消除条件但无法优化时优先移动异常对象到值参数”的方案没有被纳入标准，主要有以下几方面原因：

• 向后兼容性限制
  C++标准的核心原则之一是不能破坏已有合法代码的行为。在原有规则下，无法执行复制消除时，catch按值捕获参数一定会调用类型的拷贝构造函数，原异常对象保持完整状态。如果新增规则优先调用移动构造，对于移动构造和拷贝构造存在可观测行为差异的类型，原有代码的运行逻辑会被改变，甚至出现未定义行为，这种兼容性风险是标准无法接受的。
• 适用场景的判断成本过高
  该规则要求仅在“复制消除安全”的场景下执行移动，而判断一个场景是否符合复制消除安全的要求，往往需要跨翻译单元的全程序分析：编译器需要确认catch块内不会修改参数后通过throw;重抛原异常对象，否则移动后的原异常对象处于合法但未指定的状态，会导致上层catch块拿到的异常对象不符合预期。这种全程序分析的要求对于编译期实现来说成本极高，很多场景下甚至无法实现。
• 现有语法已覆盖需求
  异常处理的最佳实践本身就是优先按引用捕获异常：catch (const T& e) 或 catch (T&& e) 可以完全避免拷贝/移动开销，不需要额外新增规则就能实现零成本捕获的效果。而按值捕获异常的场景本身就非常小众，仅在需要明确对异常对象做隔离修改时才会使用，这种场景下本来就需要拷贝而非移动，因此新增规则的收益极低，没有必要为了小众场景修改核心语义。

内容的提问来源于stack exchange，提问作者user16756759