目录
[[noreturn]]
是 C++11 引入的一个新特性,它是一个函数属性,表明该函数不返回。这意味着一旦函数被调用,它就不会返回到调用者。常见的不返回函数包括 exit()
, abort()
等。
例如:
- [[noreturn]] void my_function() {
- // ... do some stuff ...
- exit(1); // This function will not return to the caller
- }
在这个例子中,my_function
被标记为 [[noreturn]]
,这意味着编译器知道这个函数不会返回到调用者。这可以帮助编译器优化代码,并且可以检查代码中的错误。例如,如果你在一个被标记为 [[noreturn]]
的函数之后写了代码,编译器可能会发出警告,因为那些代码永远不会被执行。
如果你在标记为 [[noreturn]]
的函数结束时遇到错误,可能是因为你的函数实际上试图返回到调用者,但是由于 [[noreturn]]
的标记,编译器不允许这样做。你需要检查你的函数,确保它真的不会返回,例如,它可能会调用 exit()
, abort()
, 或者进入一个无限循环。如果你的函数实际上可能会返回,那么你就不应该使用 [[noreturn]]
标记。
- #include
-
- [[noreturn]] int test() {
- std::cout << "This function should not return, but it does.\n";
- return 0;
- }
-
- int main() {
- test();
- std::cout << "Back in main.\n";
- return 0;
- }
如果你的函数被标记为 [[noreturn]]
,但在函数结束时没有调用其他 [[noreturn]]
函数(如 exit()
, abort()
等)或者没有进入一个无限循环,那么编译器可能会产生一个错误或警告。这是因为在函数结束时,控制流会尝试返回到调用者,这与 [[noreturn]]
的声明相矛盾。
例如,看下面的代码:
- #include <iostream>
-
- [[noreturn]] void test() {
- std::cout << "This function should not return, but it does.\n";
- // No return statement, no call to another [[noreturn]] function, no infinite loop
- }
-
- int main() {
- test();
- std::cout << "Back in main.\n";
- return 0;
- }
在这个例子中,test
函数被标记为 [[noreturn]]
,但它没有调用其他 [[noreturn]]
函数,也没有进入一个无限循环,所以在函数结束时,控制流会尝试返回到调用者。因此,编译器可能会产生一个错误或警告,因为 test
函数的行为与 [[noreturn]]
的声明不一致。
如果你想要一个函数真的不返回,你需要确保它在结束时调用了一个 [[noreturn]]
函数,或者进入了一个无限循环。例如:
- #include
- #include
// for exit() -
- [[noreturn]] void test() {
- std::cout << "This function will not return.\n";
- exit(0); // This is a [[noreturn]] function
- }
-
- int main() {
- test();
- std::cout << "Back in main.\n"; // This will never be printed
- return 0;
- }
在这个例子中,test
函数在结束时调用了 exit(0)
,这是一个 [[noreturn]]
函数,所以 test
函数真的不会返回到调用者。