C++未定义行为和异常处理

C++未定义行为和异常处理

c++ 复制代码
#include <iostream>

int main() {
    int* p = nullptr;
    try {
        std::cout << *p; 
    } catch (...) {
        std::cout << "Caught an exception!";
    }
    return 0;
}

q1:代码会输出什么?

a:Linux上,通常会收到一个"段错误 (Segmentation fault)"的提示;

解析:未定义行为

根源:未定义行为 (Undefined Behavior, UB)

  1. 这里的 p 是一个空指针 (nullptr)
  2. 根据C++标准,解引用一个空指针是 未定义行为
  3. **未定义行为:**意味着C++标准没有规定此时程序必须做什么。编译器可以假定这种行为永远不会发生,并基于此进行优化。在运行时,任何事情都可能发生,包括但不限于:
    1. 程序立即崩溃
    2. 程序继续运行,但输出一个垃圾值
    3. 程序表现出完全不相关的奇怪行为

分析:

  1. 大多数现代操作系统(如Windows, Linux, macOS)上,内存地址0(空指针所指向的地址)受到操作系统的保护,任何用户程序都无权访问
  2. *p 尝试读取该地址的数据时,CPU会触发一个硬件级别的保护错误。操作系统会捕获这个错误,并向该程序发送一个信号(如 SIGSEGV,即段错误信号),强制终止该程序的执行

try...catch

try...catch只能捕获通过 throw 关键字抛出的C++异常

  1. C++异常 :是一种程序内部的、由软件定义的控制流机制。当代码执行 throw std::runtime_error("错误信息"); 时,一个std::runtime_error类型的异常对象被创建并抛出,然后由匹配的catch块来捕获和处理
  2. 段错误 (Segmentation Fault) :这不是一个C++异常。它是一个由操作系统发出的底层信号,通知进程其访问了非法内存。这个事件发生在C++运行时系统之外,因此C++的try...catch机制无法捕获它

How to understand:

  1. try...catch 是程序内部处理"计划内意外"(如文件找不到、网络中断)的流程。
  2. 而解引用空指针导致的崩溃,则像是房子地基塌了,属于结构性毁灭,内部的应急预案(try...catch)根本来不及反应
相关推荐
望获linux1 小时前
【Linux基础知识系列:第一百五十九篇】磁盘健康监测:smartctl
linux·前端·数据库·chrome·python·操作系统·软件
Sylvia@8884 小时前
18.SELInux安全性
linux·运维·服务器
Xの哲學4 小时前
Linux NAPI 架构详解
linux·网络·算法·架构·边缘计算
碼不停提4 小时前
linux 内核架构
linux
AA陈超5 小时前
虚幻引擎5 GAS开发俯视角RPG游戏 P06-14 属性菜单 - 文本值行
c++·游戏·ue5·游戏引擎·虚幻
云知谷5 小时前
【经典书籍】C++ Primer 第15章类虚函数与多态 “友元、异常和其他高级特性” 精华讲解
c语言·开发语言·c++·软件工程·团队开发
gplitems1235 小时前
Technox – IT Solutions & Services WordPress Theme: A Practical
linux·服务器·数据库
weixin_582985186 小时前
OpenCV cv::Mat.type() 以及类型数据转换
c++·opencv·计算机视觉
Deamon Tree6 小时前
后端开发常用Linux命令
linux·运维·python
key_Go7 小时前
0.基于Centos-Stream8 搭建Openstack环境
linux·运维·centos·openstack