最近我遇到过这样的C代码:
if( !condition1){
goto failure;
}
some_stuff_that_needs_manual_undoing();
if( !condition2){
goto failure;
}
// And many more lines such as the ones above
return 0;
failure:
// Do a lot of stuff here, free, file closing and so on
return -1;
总结一下情况:
我有一个很长的函数可以连续做几件事(假设打开一个文件,然后根据文件内容分配内存,然后连接do数据库等等)。当然我想正确地释放资源,但是有很多地方会导致功能过早结束(而且所有这些都需要清理)。
问题:如何正确执行此操作?
虽然goto
doesn't seem to be that bad practice也doesn't seem to be good solution。
我虽然关注:
#define CLEANUP if( memory != NULL)free(memory); \
if( fp != NULL) fclose(fp);\
// ...
if( !condition1){
CLEANUP
return -1;
}
if( !condition2){
CLEANUP
return -2;
}
// ...
这将导致重复汇编,但清理代码将在一个地方。
int _some_stuff_do_work(void **memory, FILE **file, ...){
// Would just return on error
}
int some_stuff() {
void *memory = NULL;
FILE *file = NULL;
_some_stuff_do_work( &memory, &file, ...);
if( fp) fclose(fp);
}
如果有超过3-5件需要清理的东西,这可能会变得非常难看(该函数会占用很多参数并且总是会出现问题)。
typedef struct {
void *memory;
FILE *fp;
} LOCAL_DATA;
// Destructor
void local_data_destroy( LOCAL_DATA *data)
{
if( data->fp){
free(data->fp);
data->fp = NULL;
}
}
但是这可能会导致许多功能(和结构)在整个应用程序中只使用一次,而且看起来它可能造成一团糟。
while(1){
if( !condition1){
break;
}
// ...
break;
}
if( fp) fclose(fp);
我在可能的地方找到了这个但是使用一个迭代循环?我不知道,这似乎完全不直观。
答案 0 :(得分:5)
Goto是要走的路。首先要明白为什么" goto是坏的"然后你会发现,在情况下,你描述goto并不是很糟糕。不惜一切代价避免goto是错误的,并且来自对良好编程原则的浅薄理解。
这是可行的方法(Linux内核源代码): http://goo.gl/uSgp5