标准库算法本身不抛异常，但用户自定义函数或内存分配失败可能引发异常，需用try-catch捕获；例如bad_compare抛出invalid_argument，应优先捕获具体异常类型以确保程序健壮性。
标准库算法通常不会主动抛出异常，但它们在执行过程中可能间接引发异常，比如用户自定义的比较函数、谓词或操作函数对象抛出异常，或者内存分配失败等。要捕获这些异常，需使用 C++ 的异常处理机制，即 try-catch 块。
理解标准库算法异常来源
大多数标准库算法（如 std::sort、std::find_if、std::transform）本身不抛出异常，但如果传入的函数对象或操作抛出异常，该异常会传播出来。例如：
- 自定义比较函数中抛出异常
- lambda 表达式内部发生错误
- 容器操作中内存不足（如涉及动态分配）
例如，以下代码中，比较函数故意抛出异常：
#include <algorithm>
#include <vector>
#include <iostream>
<p>bool bad_compare(int a, int b) {
if (a == 0 || b == 0)
throw std::invalid_argument("Zero not allowed!");
return a < b;
}</p><p>int main() {
std::vector<int> vec = {3, 1, 0, 4};</p><pre class='brush:php;toolbar:false;'>try {
std::sort(vec.begin(), vec.end(), bad_compare);
} catch (const std::invalid_argument& e) {
std::cout << "Caught exception: " << e.what() << '\n';
}
return 0;}
立即学习“C++免费学习笔记（深入）”；
使用 try-catch 捕获异常
在调用可能间接引发异常的算法时，将其放入 try 块中，并用合适的 catch 块捕获异常类型：
- 捕获具体异常类型，如 std::invalid_argument
- 捕获基类异常 std::exception 以处理通用标准异常
- 必要时捕获 const std::exception& 获取错误信息
示例：
#include <algorithm>
#include <vector>
#include <stdexcept>
#include <exception>
<p>int main() {
std::vector<int> data = {5, 2, 8, 1};</p><pre class='brush:php;toolbar:false;'>try {
std::transform(data.begin(), data.end(), data.begin(),
[](int n) {
if (n == 2) throw std::runtime_error("Transform failed!");
return n * 2;
});
}
catch (const std::runtime_error& e) {
std::cout << "Runtime error: " << e.what() << '\n';
}
catch (const std::exception& e) {
std::cout << "Standard exception: " << e.what() << '\n';
}
catch (...) {
std::cout << "Unknown exception caught\n";
}
return 0;}
立即学习“C++免费学习笔记（深入）”；
最佳实践建议
为确保程序健壮性，注意以下几点：
- 了解传给算法的函数对象是否可能抛出异常
- 优先捕获具体异常类型，再考虑通用捕获
- 避免在算法的谓词或操作中抛出异常，除非是严重错误
- 在性能敏感场景，考虑异常安全保证（如基本异常安全）
基本上就这些。只要在调用标准库算法时，其回调逻辑可能抛异常，就用 try-catch 包裹调用即可。关键是明确异常来源并合理处理。
