目录
函数简介:
[[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]]
标记。
报错例子1,加了返回值
#include <iostream>
[[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;
}
报错例子2,没有加无限循环:
如果你的函数被标记为 [[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 <iostream>
#include <cstdlib> // 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
函数真的不会返回到调用者。