面试题：C++异常处理与类型安全的关联及实现

C++异常处理机制保障类型安全的原理
- 异常类型匹配：在C++中，当抛出异常时，异常处理机制会根据异常对象的类型来匹配catch块。只有类型完全匹配（或者是派生类对象与基类catch块匹配）的catch块才会被执行。这确保了异常处理代码只处理它期望处理的异常类型，不会因为意外捕获到不相关类型的异常而导致错误的处理逻辑。例如：
```
try {
    // 可能抛出异常的代码
    throw std::runtime_error("runtime error");
} catch (const std::runtime_error& e) {
    // 处理runtime_error类型的异常
    std::cerr << "Caught runtime error: " << e.what() << std::endl;
} catch (const std::exception& e) {
    // 处理其他继承自std::exception的异常
    std::cerr << "Caught other exception: " << e.what() << std::endl;
}
```
- 栈展开：当异常被抛出但尚未被捕获时，程序会进行栈展开。这意味着从抛出异常的点开始，函数调用栈上的函数会依次被销毁，局部对象会被正确析构，直到找到匹配的catch块。这个过程确保了资源的正确释放，避免了内存泄漏等问题，进一步保障了类型安全。例如，如果在某个函数中创建了动态分配的对象，在异常抛出时，栈展开会调用该对象的析构函数释放资源。

类型不匹配异常的处理

当抛出的异常类型与所有catch块的类型都不匹配时，如果没有全局的catch(...)块，程序会调用std::terminate函数，该函数默认会调用abort终止程序。例如：

try {
    throw 42; // 抛出int类型的异常
} catch (const std::runtime_error& e) {
    // 不匹配，不会执行
    std::cerr << "Caught runtime error: " << e.what() << std::endl;
} catch (const std::exception& e) {
    // 不匹配，不会执行
    std::cerr << "Caught other exception: " << e.what() << std::endl;
}
// 没有匹配的catch块，程序会调用std::terminate

动态类型转换（dynamic_cast）在异常处理环境中的应用
- 在异常处理中使用dynamic_cast：dynamic_cast用于在运行时进行安全的类型转换，特别是在处理多态类型时。在异常处理环境中，它可以帮助我们更准确地处理异常对象。例如，假设我们有一个基类BaseException和派生类DerivedException，并且在catch块中接收到一个BaseException指针或引用，我们可以使用dynamic_cast来判断它是否实际上是DerivedException类型：
```
class BaseException : public std::exception {
public:
    virtual const char* what() const noexcept override {
        return "Base exception";
    }
};
class DerivedException : public BaseException {
public:
    virtual const char* what() const noexcept override {
        return "Derived exception";
    }
};
try {
    throw DerivedException();
} catch (const BaseException& e) {
    const DerivedException* derived = dynamic_cast<const DerivedException*>(&e);
    if (derived) {
        // 处理DerivedException
        std::cerr << "Caught DerivedException: " << derived->what() << std::endl;
    } else {
        // 处理BaseException
        std::cerr << "Caught BaseException: " << e.what() << std::endl;
    }
}
```
- 结合异常类型安全：这种应用进一步保障了类型安全，因为它允许我们在处理异常时，根据异常对象的实际类型进行更细致的处理，而不是简单地基于基类类型进行统一处理，避免了因为错误的类型假设而导致的程序错误。

星途面试题库

面试题：C++异常处理与类型安全的关联及实现

知识考点

面试题答案