C++中异常处理与类成员函数结合可提升程序健壮性。成员函数可在错误时抛出异常，如栈空时抛出underflow_error；构造函数因无法返回错误码，常通过异常表明初始化失败，如文件打开失败时抛出runtime_error；noexcept用于标记不抛异常的函数，确保移动操作等性能关键路径安全；异常安全分为三级：基本保证、强烈保证和不抛出保证，“拷贝再交换”是实现强烈保证的常用方法。
C++异常处理与类成员函数结合使用，是编写健壮、可维护程序的重要手段。在实际开发中，类的成员函数可能因为参数错误、资源分配失败、文件操作异常等原因抛出异常。合理地在成员函数中使用异常处理机制，可以让程序更清晰地表达错误语义，并避免程序崩溃。
异常在成员函数中的基本用法
成员函数可以像普通函数一样使用 throw 抛出异常。常见做法是在检测到非法状态或操作失败时抛出异常，调用者通过 try-catch 捕获并处理。
例如，定义一个简单的栈类，在访问空栈时抛出异常：
#include <iostream>
#include <stdexcept>
#include <vector>
<p>class Stack {
std::vector<int> data;
public:
void push(int value) {
data.push_back(value);
}</p><pre class='brush:php;toolbar:false;'>int pop() {
if (data.empty()) {
throw std::underflow_error("Stack is empty!");
}
int value = data.back();
data.pop_back();
return value;
}
bool empty() const {
return data.empty();
}};
立即学习“C++免费学习笔记（深入）”；
在主函数中调用 pop 时，需使用 try-catch 防止程序终止：
int main() {
Stack s;
try {
s.pop(); // 触发异常
} catch (const std::underflow_error& e) {
std::cout << "Error: " << e.what() << std::endl;
}
return 0;
}
构造函数中的异常处理
构造函数无法返回错误码，但可以抛出异常来表明对象创建失败。这是资源初始化失败时的标准做法。
例如，一个文件管理类在构造时打开文件，失败则抛出异常：
#include <fstream>
#include <stdexcept>
<p>class FileManager {
std::ifstream file;
public:
FileManager(const std::string& filename) {
file.open(filename);
if (!file.is_open()) {
throw std::runtime_error("Cannot open file: " + filename);
}
}</p><pre class='brush:php;toolbar:false;'>~FileManager() {
if (file.is_open()) {
file.close();
}
}
// 其他读取操作...};
立即学习“C++免费学习笔记（深入）”；
使用时：
try {
FileManager fm("nonexistent.txt");
} catch (const std::exception& e) {
std::cout << "Exception: " << e.what() << std::endl;
}
注意：构造函数抛出异常后，析构函数不会被调用，需确保已分配的资源能被安全清理（RAII 原则可帮助解决）。
异常规范与 noexcept 的使用
C++11 引入了 noexcept 关键字，用于标明函数不会抛出异常。这对性能和标准库行为有影响，尤其是移动操作和容器重排时。
例如，一个不会抛出异常的成员函数应标记为 noexcept：
class Vector2D {
double x, y;
public:
Vector2D(double x, double y) : x(x), y(y) {}
<pre class='brush:php;toolbar:false;'>Vector2D& operator=(const Vector2D& other) noexcept {
x = other.x;
y = other.y;
return *this;
}
double length() const noexcept {
return std::sqrt(x*x + y*y);
}};
立即学习“C++免费学习笔记（深入）”；
标记为 noexcept 的函数若抛出异常，程序将直接调用 std::terminate()，因此要确保不会意外抛出。
异常安全的三大保证
在设计类和成员函数时，应考虑异常安全，通常分为三个级别：
- 基本保证：异常抛出后，对象仍处于有效状态，无资源泄漏
- 强烈保证：操作要么完全成功，要么回到调用前状态（事务式语义）
- 不抛出保证：函数不会抛出异常（如标记为 noexcept）
实现强烈保证的常见方法是“拷贝再交换”：
class String {
char* data;
public:
String& operator=(String other) { // 通过值传递实现拷贝
std::swap(data, other.data);
return *this;
}
// 析构 other 会自动释放旧数据
};
这个赋值操作在拷贝构造时可能抛出异常，但原对象不受影响，满足强烈保证。
基本上就这些。合理使用异常能让类接口更清晰，但要注意资源管理和性能影响。
