文号
827945
阅读
6877
回复
1
收藏
1
C++中异常保证资源释放的正确用法
2016/11/26
IP:四川

如果正在使用C++/CLI

C++/CLI已经有了try-finally,C++异常在.NET中被包装为SEHException,因此try-finally可以正常处理这些情况。

特别是ref class一定要使用到try-finally,因为ref class的析构函数需要使用delete运算符手动调用,系统是不会自动调用ref class的析构函数的。

// CLRConsoleApp1.cpp: 主项目文件。

#include "stdafx.h"

using namespace System;

ref class MyClass
{
public:
	MyClass()
	{
		Console::WriteLine(L"MyClass()");
	}
	~MyClass()
	{
		Console::WriteLine(L"~MyClass()");
	}
};

int main(array<system::string ^> ^args)
{
	MyClass ^obj = gcnew MyClass();
    try
	{
		// ...
	}
	finally
	{
		delete obj;
	}
    return 0;
}
</system::string>

如果正在使用纯C语言编写函数

可以使用__try-__finally这一组SEH,不过需要使用__leave正常离开这个范围避免回卷。这个功能是不允许在存在像std::string等C++栈对象的环境中使用的,否则会报错。

由于这种方法限制较多,不实用,因此并不推荐。

如果正在使用传统C++

传统C++中,一般使用析构函数保证异常资源释放,一般称之为RAII。

个人曾经比较反对RAII,原因是当时认为使用RAII意味着包装类型,而包装类型之后将会降低可迁移性。但其实使用RAII并不意味着非得包装类型,也可以只包装赋值和释放操作。

// main.cpp

#include <stdio.h>

struct StdioFileMgr
{
	FILE *&f;
	StdioFileMgr(FILE *&f, const char *fn, const char *md) : f(f)
	{
		f = fopen(fn, md);
	}
	StdioFileMgr(FILE *&f, const wchar_t *fn, const wchar_t *md) : f(f)
	{
		f = _wfopen(fn, md);
	}
	~StdioFileMgr()
	{
		if (f != NULL) fclose(f);
		f = NULL;
	}
};

int main()
{
	{
		FILE *f1 = NULL;
		StdioFileMgr f1mgr(f1, "xxx.txt", "r");
		// ...
	}

	return 0;
}
</stdio.h>
[ 修改于9年11个月前 - 2016/12/31 18:20:16 ]
acmilan作者
10年0个月前修改于 9年11个月前IP:四川
827947
1楼

不要包装类型,因为会降低可迁移性。应该包装赋值和释放操作,保留原始C语言类型。

类似地,Win32文件打开操作可以这样包装。

struct Win32FileMgr
{
	HANDLE &f;
	Win32FileMgr(HANDLE &f, LPCTSTR fn, DWORD da, DWORD sm,
		LPSECURITY_ATTRIBUTES sa, DWORD cd, DWORD fa, HANDLE ht) : f(f)
	{
		f = CreateFile(fn, da, sm, sa, cd, fa, ht);
	}
	~Win32FileMgr()
	{
		if (f != NULL && f != INVALID_HANDLE_VALUE) CloseHandle(f);
		f = INVALID_HANDLE_VALUE;
	}
};

其实这个用法不仅可以用于资源的情况,实际上可以用于所有【必须成对进行的操作】的包装。不光可以用于因为异常跳出的情况,实际上可以用于在任何【多出口的函数】中实现对成对操作的包装。

引用
评论
笔记
{{note.content}}
{{n.user.username}}
{{fromNow(n.toc)}} {{n.status === noteStatus.disabled ? "已屏蔽" : ""}} {{n.status === noteStatus.unknown ? "正在审核" : ""}} {{n.status === noteStatus.deleted ? '已删除' : ''}}
  • 编辑
  • 删除
  • {{n.status === 'disabled' ? "解除屏蔽" : "屏蔽" }}
我也是有底线的