std::thread (c++11) 中使用的函数可以有 [[noreturn]] 吗？

Question

对于std::thread t(foo); , 有一个foo [[noreturn]] () {...}有意义吗？ 例如。 对于分离的线程（用作一种守护进程，直到应用程序完成）？

Answer 1

线程不创建新进程，也不使用 fork 或 exec，它创建了一个最终肯定会返回的线程。 如果您的线程函数永远不会返回，您将挂在std::thread::join

Answer 2

用 [[noreturn]] 标记用于线程的函数对 gcc/clang 有什么好处吗？

线程函数通常会返回。 所以不，它们不能用[[noreturn]]标记。

除非它们被编码为具有无限循环、永远阻塞或调用终止线程或进程的函数。 在这种情况下，您可能希望将它们标记为noreturn 。

请注意，如果您使用像pthread_create这样的低级函数来创建一个线程或其他定义在编译时不可用的函数，则noreturn属性不会对通过指针调用您的函数的代码产生任何影响。

忽略分离线程的线程函数的返回值。

Answer 3

我希望它（std::thread 构造）是我系统上的某种 fork + execve 变体，一旦成功，它就没有什么可返回的了。

std::thread 创建一个单独的线程（在同一进程内）。 fork + execve 在多个进程上工作。

用 [[noreturn]] 标记用于线程的函数对 gcc/clang 有什么好处吗？

仅当您传递给 std::thread 的函数不返回时（即，如果该函数调用 std::exit、std::terminate、在所有情况下抛出或开始无限循环等）。