c++中如何处理异常_c++ try catch异常处理机制

catch不触发的主因是类型不匹配:throw "hello"生成const char,而catch(std::string)无法捕获;应改用catch(const char)或throw std::string。

为什么 throw 一个 intstd::string 后,catch 有时不触发?

常见原因是异常类型不匹配:C++ 的 catch 是严格按类型(含 cv 限定符和引用性)匹配的。比如 throw "hello" 抛出的是 const char[6],退化为 const char*,但写 catch (std::string e) 不会捕获它——std::stringconst char* 是完全不同的类型,且不会自动构造。

  • 抛出字面量字符串时,应 catch (const char* e) 或改用 throw std::string("hello")
  • 抛出对象时,优先用引用捕获:catch (const std::exception& e),避免切片和不必要的拷贝
  • 若在 catch 块中重新抛出,用 throw;(不带表达式),而非 throw e;,否则会复制异常对象并可能丢失原始类型信息

std::exception 派生类怎么选?std::runtime_errorstd::logic_error 有什么实际区别?

区别不在技术实现,而在语义:C++ 标准规定,std::logic_error 子类(如 std::invalid_argumentstd::out_of_range)表示「程序逻辑错误」,通常是可静态检查或应在开发/测试阶段发现的问题;std::runtime_error 子类(如 std::system_errorstd::overflow_error)表示「运行期不可预测的失败」,比如文件不存在、网络超时、内存耗尽。

  • 用户输入校验失败 → throw std::invalid_argument("size must be > 0");
  • 调用 fopen() 返回 nullptrthrow std::system_error(errno, std::generic_category());
  • 不要滥用 std::runtime_error 包裹所有错误,会模糊问题性质,影响上层决策(例如是否重试)

函数声明 noexceptthrow() 到底怎么影响异常传播?

throw() 是 C++98 的动态异常规范,已弃用;noexcept 是现代替代,语义更明确:若函数声明为 noexcept 却抛出异常,程序直接调用 std::terminate(),不会尝试栈展开。

void dangerous_op() noexcept {
    // 若此处 throw,程序立即终止,不会执行任何局部对象析构
    throw std::runtime_error("oops");
}

void safe_op() noexcept(true) { / 同上 / } void may_throw() noexcept(false) { / 允许抛出,等价于不写 noexcept / }

  • 移动构造函数、交换函数(swap)等关键操作应尽量标记 noexcept,否则容器(如 std::vector)可能降级为复制而非移动
  • 不要给可能调用未知第三方代码的函数加 noexcept,除非你完全掌控所有可能路径
  • noexcept(expr) 是运算符,用于条件判断:noexcept(my_func()) 返回 bool 编译期常量

为什么在析构函数里 throw 很危险?

析构函数默认是 noexcept(true)。如果在析构中抛出异常,而此时栈上已有未处理的异常(比如另一个对象析构时已抛出),C++ 会立即调用 std::terminate()——没有机会 catch,也没有日志输出。

  • 绝对不要在析构函数中 throw,这是硬性约束
  • 若必须报告错误(如关闭文件失败),改用日志、设置标志位、或调用 std::abort()(比静默失败更可控)
  • RAII 类型(如智能指针、锁)的析构函数都严格遵守此规则,这也是它们安全的根本前提

异常处理不是兜底机制,而是显式控制流。最易被忽略的点是:异常对象的生命期只在 catch 块内有效,且跨栈帧传递时只做一次拷贝(或移动);一旦 catch 块结束,原异常对象就销毁了