请问C函数声明中的NORETURN是什么意思？

superwujc

如题，例如

1. void errExit(const char *format, ...) NORETURN ;

复制代码

在链接或者编译阶段有什么实际作用吗，还是只是显式说明一下无返回值？
请各位指点一下，谢谢。

windoze

NORETURN是个宏，在GCC中展开为__attribute__((__noreturn__))，在VC中展开为__declspec(noreturn)，它不是说函数没有返回值，而是说一旦你调了这个函数，它永远不会返回。
有一些函数是永远不会返回的，比如abort或者exit之类，调用它们就结束程序。

这个声明会做几件事：
1、让编译器知道调用这种函数之后的语句不会执行，例如下面的程序：
void errExit(const char *format, ...) NORETURN ;
int f() {
   //...
   errExit(...);
}
一般情况下编译器会报一个警告，说int型的函数f没有返回值，但是由于errExit标记为NORETURN，编译器就知道f永远不会执行到errExit之后的语句，所以没有返回值的警告就不用生成了。
2、函数的调用者在调用返回后可能需要一些清理工作，比如调整桟指针等，如果一个函数被标记为NORETURN，那么编译器就知道这些清理工作可以省略，这样可以少生成一些无用代码。