C++ std::defer_lock怎么延迟加锁-C++-PHP中文网

std::defer_lock 是仅作构造参数标识的 constexpr 对象，用于指示 unique_lock 构造时不加锁，后续手动调用 lock() 或 try_lock() 实现延迟加锁，析构时仅在 owns_lock() 为 true 时自动解锁。

c++ std::defer_lock怎么延迟加锁

std::defer_lock 是个标记，不是延迟加锁的机制

它本身不提供任何延迟加锁能力，只是告诉 std::unique_lock 或 std::shared_lock：「先别急着 lock()，我之后手动调」。真正延迟加锁靠的是你控制调用 lock() 的时机，而不是 std::defer_lock 自动帮你延。

怎么用 std::defer_lock 初始化 unique_lock

常见场景是想先构造锁对象，但暂不持有锁（比如要配合条件变量、或需要后续分支决定是否加锁）：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

std::mutex mtx;
std::unique_lock<:mutex> lk(mtx, std::defer_lock); // 构造时不加锁
// ... 做些不依赖临界区的事
if (need_to_protect) {
    lk.lock(); // 手动加锁
}
// lk 在析构时自动 unlock（如果曾 lock 过）</:mutex>

std::defer_lock 是 std::defer_lock_t 类型的 constexpr 对象，仅作构造参数标识
不能和 std::adopt_lock 混用；后者要求 mutex 已被当前线程 lock() 过
若初始化后一直没调 lk.lock() 或 lk.try_lock()，析构时什么也不做 —— 不会 crash，但也没上锁

为什么不用 defer_lock 也能“延迟”？直接 default 构造更简单？

可以，但语义不同：

std::unique_lock<:mutex> lk;</:mutex> —— 默认构造，内部不关联任何 mutex，后续必须用 lk = std::unique_lock<:mutex>(mtx)</:mutex> 赋值或 lk.lock() 前先 lk.owns_lock() 为 false 且已关联 mutex（需 lk.swap() 或 move 赋值）
std::unique_lock<:mutex> lk(mtx, std::defer_lock);</:mutex> —— 从一开始绑定 mutex，只是暂不加锁，语义清晰、安全、可直接调 lock()/try_lock()
用 std::defer_lock 是明确表达「我打算稍后加锁」，避免误用未初始化锁对象

容易踩的坑：defer_lock + try_lock() 之后忘记检查返回值

try_lock() 可能失败（比如锁已被其他线程持有），返回 false，但 unique_lock 仍处于 valid 状态（只是 owns_lock() 为 false）。后续若没检查就直接使用临界资源，就是竞态：

std::unique_lock<:mutex> lk(mtx, std::defer_lock);
if (!lk.try_lock()) {
    // 处理获取失败：重试、跳过、抛异常...
    return;
}
// 此时才安全访问共享数据</:mutex>

lk.owns_lock() 必须为 true 才表示当前线程持有锁
lk 析构时只在 owns_lock() == true 时调用 unlock()，所以不用手动配对 unlock
别把 std::defer_lock 当成“异步锁”或“定时锁”——C++ 标准库没有内置超时/延迟加锁逻辑，得自己结合 try_lock_for() 或 try_lock_until()