Linux内核中的do{}while(0)

在Linux内核中,经常会看到do{}while(0)这样的语句,,刚开始会疑惑,认为do{}while(0)毫无意义,因为它只会执行一次,加不加do{}while(0)效果是完全一样的,其实do{}while(0)只要用于宏定义中。

这里用以个简单点的宏来演示:

#define SAFE_FREE(P) do{free(p); p = NULL;}while(0) 假设这里去掉do{}while(0),即定义SAFE_FREE为:#define SAFE_FREE(P) free(p); p = NULL; 那么以下代码: if(NULL!=P) SAFE_FREE(P) else …// do something 会被展开为: if(NULL!=P) free(p); p = NULL; else …// do something 展开的代码中存在两个问题:(1)if分支后有两个语句,导致else分支没有对应的if,编译失败;(2)假设没有else分支,则SAFE_FREE中的第二个语句无论if条件是否为真都会被执行。 将SAFE_FREE的第定义加上{}就可以解决上述问题了,即: #define SAFE_FREE(P) {free(p); p = NULL;} 这样,代码: if(NULL!=P) SAFE_FREE(P) else …// do something 会被展开为: if(NULL!=P) {free(p); p = NULL;} else …// do something 但是,在C语言中,每个语句后面加个分号是一种约定俗成的习惯,那么,如下代码: if(NULL!=P) SAFE_FREE(P); else …// do something 将被展开为: if(NULL!=P) {free(p); p = NULL;}; else …// do something 这样,else分支就又没有对应的if了,编译将无法通过。假设用了do{}while(0),情况就不一样了,同样的代码就会被展开为:if(NULL!=P) {free(p); p = NULL;} else …// do something 不会在出现编译问题。 do{}while(0)的使用完全是为了保证宏定义的使用者能无编译错误的使用宏,它不对其使用者做任何假设。

自己打败自己的远远多于比别人打败的。

Linux内核中的do{}while(0)

相关文章:

你感兴趣的文章:

标签云: