VS中默认C++异常处理不会捕获空指针异常

一.前言

本文使用VS2022环境。

我们知道，C++程序的异常包括C++异常和结构化异常两种，C++异常就是exception类以及其派生类，结构化异常包括空指针异常等。

二.VS中默认不会捕获空指针异常

在VS的默认设置下，C++异常处理机制只会捕获C++异常，而空指针异常属于结构化异常。

看个代码

//main.cpp

#include<iostream>
#include<exception>

int main(int argc, char* argv[])
{
	try
	{
		int* p = nullptr;
		int a = *p;
	}
	catch (const std::exception& exc)
	{
		std::cout << exc.what() << std::endl;
	}
	catch (...)
	{
		std::cout << "unknown" << std::endl;
	}

	return 0;
}

可以看到在这个代码中对空指针p进行了解引用，很明显会引发异常，这个对空指针解引用的操作也是包在try里面的，然而VS默认设置下，catch并不能捕获到这个异常，程序会crash的。

三.VS中怎么捕获空指针异常

我们可以看一下在项目属性-C/C+±代码生成-启用C++异常，这一个设置项里默认是“是 (/EHsc)”，改为“是，但有 SEH 异常 (/EHa)”，同样的代码，但是空指针异常也可以捕获了，当然需要用catch (…)捕获，catch (const std::exception& exc)是捕获不到的。

四.其他

1./EHsc、/EHa和/EHs其实就是VS中不同的异常处理模型。

2.在Linux下也可以对空指针异常进行捕获，我们知道，当程序触发了空指针异常时，其实会直接向进程抛出一个内存段错误的信号（SIGSEGV），默认处理就是崩溃并且生成dump文件，所以可以编写自定义信号处理逻辑，主要是利用signal()、siglongjmp()和sigsetjmp()函数，但是siglongjmp()和sigsetjmp()会破坏程序的结构，类似goto，所以按需使用。