异常中立性是指c++标准库算法不主动抛出或捕获异常，将错误处理责任交予调用者。1. 标准库允许用户回调函数抛出异常但不处理；2. 保持性能可预测，避免未使用功能的开销；3. 跨平台兼容不同异常实现；4. 兼容项目已有错误码体系；5. 用户自行决定是否及如何处理异常。例如std::sort中比较函数抛出异常会直接传播给调用者。开发者需自行捕获处理传入算法的可能异常，否则可能导致程序崩溃。
C++标准库算法在设计时通常不使用异常，背后的核心理念是“异常中立性”（exception neutrality）。也就是说，标准库本身不会主动抛出异常，也不会限制用户代码使用异常的方式。这种设计理念的出发点在于保持灵活性、可预测性和性能可控性。
什么是异常中立性？
异常中立性是指标准库函数在遇到错误时，不会自己处理异常，也不会强制抛出异常，而是将错误处理的责任交给调用者。这并不是说标准库完全不涉及异常——它允许用户提供的回调函数或操作符可能抛出异常，但标准库本身不会捕获或重新抛出这些异常。
举个简单的例子：当你使用 std::sort 对一个自定义类型的数组排序时，如果比较函数抛出了异常，这个异常会直接传播到调用者那里，标准库不做任何处理。
立即学习“C++免费学习笔记（深入）”；
这样做有几个好处：
- 性能可预测：在没有异常的情况下运行时，不需要为异常机制付出额外代价。
- 行为一致：不同平台和编译器对异常实现的支持存在差异，保持中立避免了潜在的兼容问题。
- 用户控制权更大：是否使用异常、如何处理异常，由程序员自行决定，而不是被库强制绑定。
C++标准库为何选择不抛异常？
C++ 标准库的设计目标之一就是“不为你不使用的功能买单”。异常机制虽然强大，但也带来了运行时开销，尤其是在栈展开和异常捕获路径上。
因此，在以下几种情况下，不使用异常显得尤为重要：
- 嵌入式系统或高性能场景：对资源敏感、需要确定性执行路径。
- 跨平台开发：不同平台对异常支持程度不同，统一行为更利于移植。
- 已有错误码体系的项目：很多大型项目习惯用返回值或状态码来处理错误，与之兼容更容易维护。
这也是为什么像 std::vector::at() 这样的函数会抛出异常（因为它是有意为之），而大多数算法如 std::find、std::copy 等则完全不涉及异常。
异常中立性的实际影响
对于开发者来说，理解这一点有助于正确使用标准库并写出健壮的代码：
- 如果你在传递给标准库算法的函数对象中使用了可能抛出异常的操作，那么你需要自己负责捕获和处理这些异常。
- 否则，未捕获的异常可能会导致程序终止或难以调试的行为。
- 另一方面，如果你希望代码完全无异常（比如关闭了异常支持），你也要确保所有传入标准库的函数都不会抛出，否则行为未定义。
例如：
std::for_each(v.begin(), v.end(), may_throw_function);
如果 may_throw_function 抛出了异常，并且你不做任何处理，那这个异常就会从 std::for_each 中继续往外抛，最终可能导致程序崩溃。
小结
C++标准库算法不使用异常的主要原因是为了保持异常中立性。这种设计让标准库在不同环境下保持高效、灵活，并将错误处理方式的选择权交还给开发者。虽然看起来有些“冷淡”，但在实际开发中，这种中立反而增强了控制力和适应性。
基本上就这些。
