std::notify_all_at_thread_exit

定义于头文件 `<condition_variable>`
void notify_all_at_thread_exit( std::condition_variable& cond, std::unique_lock<std::mutex> lk );		(C++11 起)

notify_all_at_thread_exit 提供机制，通知其他线程给定的线程已完全完成，包括销毁所有 thread_local 对象。它操作如下：

将先前获得的锁 lk 的所有权转移到内部存储。

修改执行环境，以令当前线程退出时，如同以下列方式通知 condition_variable cond ：

lk.unlock();
cond.notify_all();

隐含的 lk.unlock 后序于（定义于 std::memory_order ）关联到当前线程的，所有拥有线程局域存储期的对象析构。

等价的效果可以用 std::promise 或 std::packaged_task 所提供的设施达成。

注意

若当前线程未锁定 lock.mutex() ，则调用此函数是未定义行为。

若 lock.mutex() 与所有其他等待在同一条件变量上的线程所用的互斥不相同，则调用此函数是未定义行为。

保有提供的锁 lk 直至线程退出。一旦调用此函数，则无更多线程可获得相同的锁，以在 cond 上等待。若某线程在此条件变量上等待，则它在虚假唤醒时不应试图释放和重获得锁。

典型使用情况中，此函数是被脱附线程所做的最后行动。

参数

cond	-	在线程退出时通知的 conditional_variable
lk	-	关联到 condition_variable `cond` 的锁

返回值

（无）

示例

此部分代码零碎地描绘 notify_all_at_thread_exit 能如何用于避免在线程局域对象处于被析构过程时，访问依赖于它们的数据：

运行此代码

#include <mutex>
#include <thread>
#include <condition_variable>
 
std::mutex m;
std::condition_variable cv;
 
bool ready = false;
ComplexType result;  // 一些任意类型
 
void thread_func()
{
    std::unique_lock<std::mutex> lk(m);
    // 用 thread_local 数据赋值给 result
    result = function_that_uses_thread_locals();
    ready = true;
    std::notify_all_at_thread_exit(cv, std::move(lk));
} // 1. 销毁 thread_local 对象， 2. 解锁互斥， 3. 通知 cv
 
int main()
{
    std::thread t(thread_func);
    t.detach();
 
    // 做其他工作
    // .…
 
    // 等待脱附的线程
    std::unique_lock<std::mutex> lk(m);
    while(!ready) {
        cv.wait(lk);
    }
    process(result); // result 已准备且 thread_local 析构函数已完成
}

参阅

set_value_at_thread_exit	设置结果为指定值，同时仅在线程退出时分发提醒 (`std::promise<R>` 的公开成员函数)
make_ready_at_thread_exit	执行函数，并确保结果仅在一旦当前线程退出时就绪 (`std::packaged_task<R(Args...)>` 的公开成员函数)

语言
标准库头文件
自立与有宿主实现
具名要求
语言支持库
概念库 (C++20)
诊断库
工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
原子操作库 (C++11)
线程支持库 (C++11)
技术规范

std::notify_all_at_thread_exit

注意

参数

返回值

示例

参阅

导航