SEH与C++ 异常模型在混合使用时注意情况与错误C2712、C2713

2024-03-01 21:48
文章标签 c++ 使用 异常 模型 错误 情况 注意 混合 seh c2712 c2713

本文主要是介绍SEH与C++ 异常模型在混合使用时注意情况与错误C2712、C2713，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

SEH与C++ 异常模型在混合使用时注意情况与错误C2712、C2713

相关参考：

http://www.360doc.com/content/12/0405/15/1016783_201118203.shtml

https://blog.csdn.net/ShiQW5696/article/details/80664749

一、分割开的混合使用

#include "stdafx.h"
#include <iostream>
#include <Windows.h> 
using namespace std;class  A
{
public:void  f1() {}void  f2() { throw 888; }  //抛出 C++ 异常
};//这个函数中使用了 try-catch 处理异常，也即 C++ 异常处理  
void  test1()
{A a1;A a2, a3;try{a2.f1();a3.f2();}catch (int  errorcode){printf(" catch exception,error code:%d\n ", errorcode);}
}// 这个函数没什么改变，仍然采用 try-except 异常机制，也即 SEH 机制  
void  test()
{int *  p = 0x00000000;  //  pointer to NULL  __try{//  这里调用 test1 函数  test1();puts(" in try1 ");__try{puts(" in try2 ");* p = 13;   //导致一个存储异常  puts("  这里不会被执行到  ");}__finally{puts(" in finally ");}puts("  这里也不会被执行到  ");}__except (puts(" in filter 1 "), EXCEPTION_CONTINUE_SEARCH){puts(" in except 1 ");}
}void main()
{puts(" hello ");__try{test();}__except (puts(" in filter 2 "), EXCEPTION_EXECUTE_HANDLER){puts(" in except 2 ");}puts(" world ");
}

上面的例程中，虽然在同一个程序中既有 try-catch 机制，又有 try-except 机制，当然这也完全算得上 SEH 与 C++ 异常模型的混合使用 。但是，请注意，这两种机制其实是完全被分割开的，它们完全被分割在了两个函数的内部。也即这两种机制其实并没有完全交互起来，换句话说，它们还算不上两种异常处理机制真正的混合使用。

打印结果如下：

hello
catch exception, error code : 888
in try
in try
in filter 1
in filter 2
in finally
in except 2
world

二、俩者联合的混合使用

#include "stdafx.h"
#include <iostream>
#include <Windows.h> 
using namespace std;class MyException
{
public:MyException() { printf(" 构造一个 MyException 对象 \n"); }MyException(const MyException& e) { printf(" 拷贝一个 MyException 对象 \n"); }MyException & operator=(const MyException& e) { printf(" 赋值一个 MyException 对象 \n"); }~MyException() { printf(" 析构一个 MyException 对象 \n"); }
};class A
{
public:A() { printf(" 构造一个 A 对象 \n"); }~A() { printf(" 析构一个 A 对象 \n"); }void f1() {}// 注意，这里抛出了一个 MyException 类型的异常对象//throw还触发了一次拷贝构造void f2() { MyException e; throw e; } 
};//这个函数中使用了 try-catch 处理异常，也即 C++ 异常处理
void test1()
{A a1;try{a1.f1();a1.f2();}// 这里虽然有 catch 块，但是它捕获不到上面抛出的 C++ 异常对象catch (int errorcode){printf("catch exception,error code:%d\n", errorcode);}
}// 这个函数没什么改变，仍然采用 try-except 异常机制，也即 SEH 机制
void test()
{int* p = 0x00000000; // pointer to NULL__try{// 这里调用 test1 函数// 注意， test1 函数中会抛出一个 C++ 异常对象test1();puts("in try");__try{puts("in try");*p = 13;puts(" 这里不会被执行到 ");}__finally{puts("in finally");}puts(" 这里也不会被执行到 ");}__except (puts("in filter 1"), EXCEPTION_CONTINUE_SEARCH){puts("in except 1");}
}void main()
{puts("hello");__try{test();}// 这里能捕获到 C++ 异常对象吗？拭目以待吧！__except (puts("in filter 2"), EXCEPTION_EXECUTE_HANDLER){puts("in except 2");}puts("world");
}

打印结果如下：

hello
构造一个 A 对象
构造一个 MyException 对象
拷贝一个 MyException 对象
in filter1
in filter2
析构一个 MyException 对象
析构一个 MyException 对象
析构一个 A 对象
in except 2
world

上层的 main() 函数和 test() 函数采用 try - except 语句处理异常，而下层的 test1() 函数采用标准的 try - catch 语句处理异常，并且，下层的 test1() 函数所抛出的 C++ 异常会被上层的 try - except 所捕获到，即符合了 SEH 异常模型的规则，又同时遵循了 C++ 异常模型的规则。

注意：throw e的调用，是讲e进行抛出，所以发生了一次拷贝构造函数

疑问：

(1)为什么catch没有捕获到而__except却捕获到了？

(2)__finally中的代码为什么没有被执行？

编程时滥用 try-except 和 try-catch 在一起混用，不仅使我们程序的整体结构和语义受到影响，而且也会造成一定的内存资源泄漏，甚至其它的不稳定因素。在 C++ 程序中运用 try-except 机制，只有在顶层的函数作用域中（例如，系统运行库中，或 plugin 的钩子中）才有必要这样做，一般建议俩者不要混合使用

三、编译错误C2713

每个函数只允许一种形式的异常处理，不能在同一函数中使用结构化异常处理（__try / __除外）和C ++异常处理（try / catch）

#include "stdafx.h"
#include <iostream>
#include <Windows.h> 
using namespace std;int main()
{int* p = 0x00000000; // pointer to NULL__try{puts("in try");// 这里是 C++ 的异常处理语法try{puts("in try");*p = 13;puts(" 这里不会被执行到 ");}catch (...){puts("catch anything");}puts(" 这里也不会被执行到 ");}__except (puts("in filter 1"), EXCEPTION_EXECUTE_HANDLER){puts("in except 1");}
}

VC 实现的异常处理机制，不管是 try - except 模型，还是 try - catch 模型，它们都是以函数作为一个最基本“分析和控制”的目标，也即，如果一个函数内使用了异常处理机制， VC 编译器在编译该函数时，它会给此函数插入一些“代码和信息”（代码指的是当该函数中出现异常时的回调函数，而信息主要是指与异常出现相关的一些必要的链表），因此每份函数只能有一份这样的东西（“代码和信息”），故一个函数只能采用一种形式的异常处理规则

四、编译错误C2712

不能在需要对象展开的函数中使用__try

使用 / EHsc时，具有结构化异常处理的函数不能具有需要展开（销毁）的对象。

如果调用使用__event关键字声明的方法，也会发生错误C2712 。由于事件可能在多线程环境中使用，因此编译器会生成阻止操作底层事件对象的代码，然后将生成的代码封装在SEH try - finally语句中。因此，如果调用事件方法并通过值传递类型具有析构函数的参数，则会发生错误C2712。在这种情况下，一种解决方案是将参数作为常量引用传递

#include "stdafx.h"
#include <iostream>
#include <Windows.h> 
using namespace std;class A
{
public:A() { printf(" 构造一个 A 对象 \n"); }~A() { printf(" 析构一个 A 对象 \n"); }void f1() {}void f2() {}
};int main()
{__try{A a1, a2;  //产生异常后会调用析构函数puts("in try");}__except (puts("in filter 1"), EXCEPTION_EXECUTE_HANDLER){puts("in except 1");}
}

 C++ 异常处理模型中，为了能够在异常发生后，保证正确地释放相关的局部变量（也即调用析构函数），它必须要跟踪每一个“对象”的创建过程，这种由于异常产生而导致的对象析构的过程，被称为“ unwind ”，因此，如果一个函数中有局部对象的存在，那么它就一定会存在 C++ 的异常处理机制（即会给此函数插入一些用于 C++ 异常处理“代码和信息”），这样，如果该函数(此时也就是main函数)中在再使用 try-except 机制，就会造成冲突，所以编译器也就报错了。

可能的解决方案：

(1)将需要SEH的代码移动到另一个函数

(2)重写使用SEH的函数以避免使用具有析构函数的局部变量和参数。不要在构造函数或析构函数中使用SEH

(3)无 / EHsc编译

五、其他C2712错误案例及解决方案

#include "stdafx.h"
#include <iostream>
#include <Windows.h> 
#include <string>
using namespace std;inline std::string foo() { return "abc"; }
inline int foo2() { return 612; }class MyClass
{
public:MyClass() { m_val = 0; }MyClass(int param) { m_val = param; }~MyClass() {}int GetVal() { return m_val; }private:int m_val;
};void TestTryExcept_1()
{using namespace std;string str = "666";		// string 是一个类，销毁对象时会调用析构函数，所以会报错__try{// Do anything}__except (EXCEPTION_EXECUTE_HANDLER){cout << "__except" << endl;}// string str;	// 无论放在函数里的什么位置都会导致 C2712 错误
}void TestTryExcept_2()
{using namespace std;// foo()返回的是临时的string对象，// 也就是说，调用foo()时，会生成一个临时的string变量存放返回的数据// 本质上和TestTryExcept_1()是一样的foo();// 和 TestTryExcept_1() 一样使用了 string 类// string retStr = foo();	__try{// Do anything}__except (EXCEPTION_EXECUTE_HANDLER){cout << "__except" << endl;}
}void TestTryExcept_3()
{// 使用了自己定义的类也会报错，因为销毁对象时同样会调用析构MyClass ObjA(612);int ret = ObjA.GetVal();__try{cout << "__try：" << ret << endl;}__except (EXCEPTION_EXECUTE_HANDLER){cout << "__except" << endl;}
}int _tmain(int argc, _TCHAR* argv[])
{TestTryExcept_1();TestTryExcept_2();TestTryExcept_3();return 0;
}

修改之后的案例：

#include "stdafx.h"
#include <iostream>
#include <Windows.h> 
#include <string>
using namespace std;inline std::string foo() { return "abc"; }
inline int foo2() { return 612; }class MyClass
{
public:MyClass() { m_val = 0; }MyClass(int param) { m_val = param; }~MyClass() {}int GetVal() { return m_val; }private:int m_val;
};void TestTryExcept_1()
{using namespace std;string str = "666";cout << "TestTryExcept_1：" << str.c_str() << endl;
}void TestTryExcept_2()
{using namespace std;cout << "TestTryExcept_2：" << foo() << endl;
}void TestTryExcept_3()
{MyClass ObjA(612);int ret = ObjA.GetVal();cout << "TestTryExcept_3：" << ret << endl;}int _tmain(int argc, _TCHAR* argv[])
{// 类对象的创建 不能和__try__except在同一个函数中//using namespace std;//string str = "main, string object";//printf("%s\n", str);__try{TestTryExcept_1();TestTryExcept_2();TestTryExcept_3();}__except (EXCEPTION_EXECUTE_HANDLER){printf("__except\n");}getchar();return 0;
}

上述修改后的代码还存在一个问题，就是在 main 中使用了__try __except 后，就无法创建类对象，也就是像 string 这样的类就无法使用了，要不然就会报错。所以我们再修改一下，把 main 拆成两个函数：

void TestTryExcept_all()
{__try{TestTryExcept_1();TestTryExcept_2();TestTryExcept_3();}__except (EXCEPTION_EXECUTE_HANDLER){cout << "__except" << endl;}
}int _tmain(int argc, _TCHAR* argv[])
{using namespace std;string str = "main, string object";printf_s("%s\n", str);TestTryExcept_all();getchar();return 0;
}

这样将__try __except分到单独一个函数中，就可以解决问题了

相关参考：

Compiler Error C2712

六、try catch模型与__try __except模型不同点之一

try catch不能捕获内存访问错误，__try __except可以捕获内存访问错误，如 int* i=NULL;  *i=1; 这俩行代码

这篇关于SEH与C++ 异常模型在混合使用时注意情况与错误C2712、C2713的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/763938。

相关文章

Java使用ANTLR4对Lua脚本语法校验详解

Java使用ANTLR4对Lua脚本语法校验详解

《Java使用ANTLR4对Lua脚本语法校验详解》ANTLR是一个强大的解析器生成器,用于读取、处理、执行或翻译结构化文本或二进制文件,下面就跟随小编一起看看Java如何使用ANTLR4对Lua脚本... 目录什么是ANTLR？第一个例子ANTLR4 的工作流程Lua脚本语法校验准备一个Lua Gramm
阅读更多...
Java Optional的使用技巧与最佳实践

Java Optional的使用技巧与最佳实践

《JavaOptional的使用技巧与最佳实践》在Java中,Optional是用于优雅处理null的容器类,其核心目标是显式提醒开发者处理空值场景,避免NullPointerExce... 目录一、Optional 的核心用途二、使用技巧与最佳实践三、常见误区与反模式四、替代方案与扩展五、总结在 Java
阅读更多...
使用Java将DOCX文档解析为Markdown文档的代码实现

使用Java将DOCX文档解析为Markdown文档的代码实现

《使用Java将DOCX文档解析为Markdown文档的代码实现》在现代文档处理中,Markdown（MD）因其简洁的语法和良好的可读性,逐渐成为开发者、技术写作者和内容创作者的首选格式,然而,许多文... 目录引言1. 工具和库介绍2. 安装依赖库3. 使用Apache POI解析DOCX文档4. 将解析
阅读更多...
Qt中QUndoView控件的具体使用

Qt中QUndoView控件的具体使用

《Qt中QUndoView控件的具体使用》QUndoView是Qt框架中用于可视化显示QUndoStack内容的控件,本文主要介绍了Qt中QUndoView控件的具体使用,具有一定的参考价值,感兴趣的... 目录引言一、QUndoView 的用途二、工作原理三、 如何与 QUnDOStack 配合使用四、自
阅读更多...
C++使用printf语句实现进制转换的示例代码

C++使用printf语句实现进制转换的示例代码

《C++使用printf语句实现进制转换的示例代码》在C语言中,printf函数可以直接实现部分进制转换功能,通过格式说明符（formatspecifier）快速输出不同进制的数值,下面给大家分享C+... 目录一、printf 原生支持的进制转换1. 十进制、八进制、十六进制转换2. 显示进制前缀3. 指
阅读更多...
使用Python构建一个Hexo博客发布工具

使用Python构建一个Hexo博客发布工具

《使用Python构建一个Hexo博客发布工具》虽然Hexo的命令行工具非常强大,但对于日常的博客撰写和发布过程,我总觉得缺少一个直观的图形界面来简化操作,下面我们就来看看如何使用Python构建一个... 目录引言Hexo博客系统简介设计需求技术选择代码实现主框架界面设计核心功能实现1. 发布文章2. 加
阅读更多...
C++中初始化二维数组的几种常见方法

C++中初始化二维数组的几种常见方法

《C++中初始化二维数组的几种常见方法》本文详细介绍了在C++中初始化二维数组的不同方式,包括静态初始化、循环、全部为零、部分初始化、std::array和std::vector,以及std::vec... 目录1. 静态初始化2. 使用循环初始化3. 全部初始化为零4. 部分初始化5. 使用 std::a
阅读更多...
shell编程之函数与数组的使用详解

shell编程之函数与数组的使用详解

《shell编程之函数与数组的使用详解》：本文主要介绍shell编程之函数与数组的使用,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录shell函数函数的用法俩个数求和系统资源监控并报警函数函数变量的作用范围函数的参数递归函数shell数组获取数组的长度读取某下的
阅读更多...
使用Python开发一个带EPUB转换功能的Markdown编辑器

使用Python开发一个带EPUB转换功能的Markdown编辑器

《使用Python开发一个带EPUB转换功能的Markdown编辑器》Markdown因其简单易用和强大的格式支持,成为了写作者、开发者及内容创作者的首选格式,本文将通过Python开发一个Markd... 目录应用概览代码结构与核心组件1. 初始化与布局 (__init__)2. 工具栏 (setup_t
阅读更多...
Python虚拟环境终极(含PyCharm的使用教程)

Python虚拟环境终极(含PyCharm的使用教程)

《Python虚拟环境终极(含PyCharm的使用教程)》：本文主要介绍Python虚拟环境终极(含PyCharm的使用教程),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,... 目录一、为什么需要虚拟环境？二、虚拟环境创建方式对比三、命令行创建虚拟环境（venv）3.1 基础命令3
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2