关于带std::defer_lock参数的std::lock_guard构造函数的疑问（文档误读）

首先明确一个关键事实：std::lock_guard根本没有接受std::defer_lock参数的构造函数——这应该是你误将它和std::unique_lock的特性搞混了。

关于std::lock_guard的构造特性，简单总结：

• 它是为极简RAII锁场景设计的轻量级包装，构造时必然会处理互斥量的锁定，只有两种合法构造方式：
  1. 直接传入互斥量引用：std::lock_guard<std::mutex> guard(mtx); —— 构造时立即调用mtx.lock()
  2. 传入互斥量引用+std::adopt_lock：std::lock_guard<std::mutex> guard(mtx, std::adopt_lock); —— 此时要求当前线程已经锁定了mtx，lock_guard仅负责在析构时自动解锁，不会再执行锁定操作
• 它不支持延迟锁定、手动锁定这类灵活操作，这也是它比std::unique_lock更轻量的原因。

而支持std::defer_lock的是std::unique_lock：用这个参数构造时，unique_lock不会立即锁定互斥量，你可以后续通过lock()、try_lock()等方法手动控制锁定时机，适合需要更灵活锁控制的场景。

如果你尝试给std::lock_guard传std::defer_lock，编译器会直接抛出构造函数不匹配的错误，这也能验证上面的结论。

内容的提问来源于stack exchange，提问作者Frank Puck