C++多线程与锁机制使用解读

更新时间：2026年04月10日 17:24:44 作者：当归. z Z

文章主要介绍了C++中的多线程编程知识,包括线程的创建、参数传递、线程休眠、互斥锁、条件变量、原子操作、死锁预防、线程局部存储、读写锁和自旋锁等内容,并给出了相应的实现方法和使用场景

1. 基本多线程编程

1.1 创建线程

#include <iostream>
#include <thread>

void thread_function() {
    std::cout << "Hello from thread!\n";
}

int main() {
    std::thread t(thread_function); // 创建并启动线程
    t.join(); // 等待线程结束
    return 0;
}

1.2 带参数的线程函数

#include <thread>
#include <iostream>

void print_num(int num) {
    std::cout << "Number: " << num << "\n";
}

int main() {
    std::thread t(print_num, 42);
    t.join();
    return 0;
}

1.3 join() 和 detach()

std::thread t(threadFunction);

// join() - 等待线程完成
t.join();

// detach() - 分离线程，线程独立运行
// t.detach();

// 检查线程是否可joinable
if (t.joinable()) {
    t.join();
}

1.4 获取当前线程信息

#include <thread>
#include <iostream>

int main() {
    std::cout << "Main thread ID: " << std::this_thread::get_id() << std::endl;
    
    std::thread t([](){
        std::cout << "Worker thread ID: " << std::this_thread::get_id() << std::endl;
    });
    
    t.join();
    return 0;
}

1.5 线程休眠

#include <chrono>
#include <thread>

int main() {
    std::cout << "Sleeping for 2 seconds..." << std::endl;
    std::this_thread::sleep_for(std::chrono::seconds(2));
    std::cout << "Awake!" << std::endl;
    return 0;
}

2. mutex (互斥锁)

#include <thread>
#include <mutex>
#include <iostream>

std::mutex mtx; // 全局互斥锁
int shared_data = 0;

void increment() {
    for (int i = 0; i < 100000; ++i) {
        mtx.lock();   // 上锁
        ++shared_data;
        mtx.unlock(); // 解锁
    }
}

int main() {
    std::thread t1(increment);
    std::thread t2(increment);
    
    t1.join();
    t2.join();
    
    std::cout << "Final value: " << shared_data << "\n";
    return 0;
}

2.1 lock_guard (自动管理锁)

lock_guard 在构造时自动上锁，在析构时自动解锁，防止忘记解锁

void increment_safe() {
    for (int i = 0; i < 100000; ++i) {
        std::lock_guard<std::mutex> lock(mtx); // 自动上锁
        ++shared_data;
    } // 自动解锁
}

2.2 unique_lock

unique_lock 比 lock_guard 更灵活，可以手动上锁和解锁。

void increment_flexible() {
    for (int i = 0; i < 100000; ++i) {
        std::unique_lock<std::mutex> lock(mtx);
        ++shared_data;
        lock.unlock(); // 可以手动解锁
        // 做一些不需要锁的操作
        lock.lock();   // 再手动上锁
        ++shared_data;
    }
}

2.3 尝试锁try_lock()

void tryLockExample() {
    std::unique_lock<std::mutex> lock(mtx, std::try_to_lock);
    if (lock.owns_lock()) {
        // 成功获取锁
        std::cout << "Got the lock!\n";
    } else {
        // 未能获取锁
        std::cout << "Couldn't get the lock, doing something else...\n";
    }
}

2.4 递归互斥锁std::recursive_mutex

#include <mutex>

std::recursive_mutex rec_mtx;

void recursiveFunction(int count) {
    std::lock_guard<std::recursive_mutex> lock(rec_mtx);
    if (count > 0) {
        std::cout << "Count: " << count << '\n';
        recursiveFunction(count - 1);
    }
}

int main() {
    std::thread t(recursiveFunction, 3);
    t.join();
    return 0;
}

2.5 定时互斥锁std::timed_mutex

#include <mutex>
#include <chrono>

std::timed_mutex timed_mtx;

void timedLockExample() {
    auto timeout = std::chrono::milliseconds(100);
    
    if (timed_mtx.try_lock_for(timeout)) {
        // 在100ms内成功获取锁
        std::this_thread::sleep_for(std::chrono::milliseconds(50));
        timed_mtx.unlock();
    } else {
        // 超时未能获取锁
        std::cout << "Could not get the lock within 100ms\n";
    }
}

2.6std::adopt_lock与std::defer_lock

特性	std::adopt_lock	std::defer_lock
用途	表示锁已被当前线程获得	表示不立即获取锁
加锁时机	不尝试加锁（假设已锁定）	稍后手动加锁
典型使用场景	与 std::lock 配合使用	延迟加锁或条件加锁
可用性	适用于 lock_guard 和 unique_lock	仅适用于 unique_lock

adopt_lock表示当前线程已经获得了互斥锁的所有权，不需要再尝试加锁

#include <mutex>

std::mutex mtx;

void function() {
    mtx.lock(); // 手动加锁
    
    // 使用 adopt_lock 告诉 lock_guard 我们已经拥有锁
    std::lock_guard<std::mutex> lock(mtx, std::adopt_lock);
    
    // 临界区代码...
    // 离开作用域时自动解锁
}

3. 条件变量 (condition_variable)

用于线程间的同步，允许线程等待特定条件成立。

#include <thread>
#include <mutex>
#include <condition_variable>
#include <iostream>

std::mutex mtx;
std::condition_variable cv;
bool ready = false;

void worker() {
    std::unique_lock<std::mutex> lock(mtx);
    cv.wait(lock, []{ return ready; }); // 等待ready变为true
    std::cout << "Worker is processing data\n";
}

int main() {
    std::thread t(worker);
    
    {
        std::lock_guard<std::mutex> lock(mtx);
        ready = true;
    }
    cv.notify_one(); // 通知等待的线程
    
    t.join();
    return 0;
}

3.1wait

std::unique_lock<std::mutex> lock(mtx);
cv.wait(lock); // 无条件等待，可能虚假唤醒

带谓词的 wait()

cv.wait(lock, []{ return ready; }); // 等价于:
// while (!ready) {
//     cv.wait(lock);
// }

wait_for() - 带超时等待

using namespace std::chrono_literals;
if (cv.wait_for(lock, 100ms, []{ return ready; })) {
    // 条件在超时前满足
} else {
    // 超时
}

wait_until() - 等待到指定时间点

auto timeout = std::chrono::steady_clock::now() + 100ms;
if (cv.wait_until(lock, timeout, []{ return ready; })) {
    // 条件在时间点前满足
} else {
    // 超时
}

3.2notify

notify_one() - 通知一个等待线程

{
    std::lock_guard<std::mutex> lock(mtx);
    ready = true;
}
cv.notify_one(); // 只唤醒一个等待线程

notify_all() - 通知所有等待线程

{
    std::lock_guard<std::mutex> lock(mtx);
    ready = true;
}
cv.notify_all(); // 唤醒所有等待线程

3.3 生产消费者模式示例

#include <queue>
#include <chrono>

std::mutex mtx;
std::condition_variable cv;
std::queue<int> data_queue;
const int MAX_SIZE = 10;

void producer() {
    for (int i = 0; i < 20; ++i) {
        std::unique_lock<std::mutex> lock(mtx);
        cv.wait(lock, []{ return data_queue.size() < MAX_SIZE; });
        
        data_queue.push(i);
        std::cout << "Produced: " << i << std::endl;
        
        lock.unlock();
        cv.notify_all();
        
        std::this_thread::sleep_for(std::chrono::milliseconds(100));
    }
}

void consumer() {
    while (true) {
        std::unique_lock<std::mutex> lock(mtx);
        cv.wait(lock, []{ return !data_queue.empty(); });
        
        int data = data_queue.front();
        data_queue.pop();
        std::cout << "Consumed: " << data << std::endl;
        
        lock.unlock();
        cv.notify_all();
        
        if (data == 19) break; // 结束条件
    }
}

int main() {
    std::thread p(producer);
    std::thread c(consumer);
    
    p.join();
    c.join();
    
    return 0;
}

4. 原子操作 (atomic)

对于简单的数据类型，可以使用原子操作避免锁的开销。

#include <atomic>
#include <thread>
#include <iostream>

std::atomic<int> counter(0);

void increment_atomic() {
    for (int i = 0; i < 100000; ++i) {
        ++counter; // 原子操作，无需锁
    }
}

int main() {
    std::thread t1(increment_atomic);
    std::thread t2(increment_atomic);
    
    t1.join();
    t2.join();
    
    std::cout << "Counter: " << counter << "\n";
    return 0;
}

4.1 基本原子类型

#include <atomic>

std::atomic<int> atomicInt(0);      // 原子整数
std::atomic<bool> atomicBool(false); // 原子布尔值
std::atomic<long> atomicLong;       // 默认初始化为0

4.2 加载和存储

// 存储值
atomicInt.store(42);                // 原子存储
atomicInt = 42;                     // 等价写法

// 加载值
int value = atomicInt.load();       // 原子加载
value = atomicInt;                  // 等价写法

4.3 交换操作

int old = atomicInt.exchange(100);  // 原子交换为新值，返回旧值

4.4 读-修改-写操作

std::atomic<int> counter(0);

// 原子加法，返回旧值
int prev = counter.fetch_add(5);    // counter += 5，返回加前的值

// 原子减法
prev = counter.fetch_sub(3);       // counter -= 3，返回减前的值

std::atomic<int> flags(0);

flags.fetch_or(0x01);   // 原子按位或
flags.fetch_and(~0x01); // 原子按位与
flags.fetch_xor(0x03);  // 原子按位异或

4.5 比较交换 (CAS)

std::atomic<int> value(10);
int expected = 10;

// 比较并交换
bool success = value.compare_exchange_weak(expected, 20);
// 如果value == expected，则设置为20，返回true
// 否则将expected更新为当前value，返回false

// 强版本 (较少虚假失败)
success = value.compare_exchange_strong(expected, 30);

4.6 内存顺序 (Memory Order)

// 默认是最严格的内存顺序 (sequential consistency)
atomicInt.store(42, std::memory_order_seq_cst);

// 宽松内存顺序
atomicInt.store(42, std::memory_order_relaxed);

// 常见内存顺序:
// - memory_order_relaxed: 无顺序保证
// - memory_order_consume: 数据依赖顺序
// - memory_order_acquire: 读操作，防止上方读写重排
// - memory_order_release: 写操作，防止下方读写重排
// - memory_order_acq_rel: 读-修改-写操作
// - memory_order_seq_cst: 顺序一致性 (默认)

4.7 原子标志

std::atomic_flag flag = ATOMIC_FLAG_INIT; // 必须这样初始化

// 测试并设置 (原子操作)
bool was_set = flag.test_and_set();

// 清除标志
flag.clear();

4.8 原子指针

class MyClass {};
MyClass* ptr = new MyClass();
std::atomic<MyClass*> atomicPtr(ptr);

// 原子指针操作
MyClass* old = atomicPtr.exchange(new MyClass());

// 比较交换指针
MyClass* expected = old;
atomicPtr.compare_exchange_strong(expected, nullptr);

4.9 自定义原子类型

struct Point { int x; int y; };
std::atomic<Point> atomicPoint{Point{1, 2}};

// 必须是可平凡复制的类型(trivially copyable)
static_assert(std::is_trivially_copyable<Point>::value, 
              "Point must be trivially copyable");
// 原子操作示例
Point old = atomicPoint.load();          // 原子读取
atomicPoint.store(Point{3, 4});         // 原子写入
Point newVal{5, 6};
Point expected{3, 4};
atomicPoint.compare_exchange_strong(expected, newVal); // CAS操作

std::atomic 对模板类型 T 的关键要求是：

可平凡复制（Trivially Copyable）：保证对象可以用 memcpy 方式安全复制
无用户定义的拷贝控制（析构函数、拷贝/移动构造/赋值）
标准布局（Standard Layout）

static_assert 在编译时验证这些条件，若不满足会立即报错（比运行时错误更安全）。

一个类型 T 是 平凡可复制（Trivially Copyable） 的，当且仅当满足以下所有条件：

没有用户定义的拷贝构造函数（T(const T&)）
没有用户定义的移动构造函数（T(T&&)）
没有用户定义的拷贝赋值运算符（T& operator=(const T&)）
没有用户定义的移动赋值运算符（T& operator=(T&&)）
有一个平凡的（隐式定义的或 =default）析构函数
所有非静态成员和基类也必须是平凡可复制的
不能有虚函数或虚基类

如果满足这些条件，编译器可以安全地使用 memcpy 来复制该类型的对象，而不会引发未定义行为（UB）。

5. 死锁预防

当多个线程需要多个锁时，可能产生死锁。

预防方法：

总是以相同的顺序获取锁
使用 std::lock 同时锁定多个互斥量

std::mutex mtx1, mtx2;

void safe_lock() {
    // 同时锁定两个互斥量，避免死锁
    std::lock(mtx1, mtx2);
    std::lock_guard<std::mutex> lock1(mtx1, std::adopt_lock);
    std::lock_guard<std::mutex> lock2(mtx2, std::adopt_lock);
    // 安全地访问共享资源
}

6. 线程局部存储 (thread_local)

使用 thread_local 关键字声明线程局部变量，每个线程有自己的副本。

#include <thread>
#include <iostream>

thread_local int thread_specific_value = 0;

void thread_function(int id) {
    thread_specific_value = id;
    std::cout << "Thread " << id << ": " << thread_specific_value << "\n";
}

int main() {
    std::thread t1(thread_function, 1);
    std::thread t2(thread_function, 2);
    
    t1.join();
    t2.join();
    
    return 0;
}

7. 读写锁

读写锁是一种特殊的同步机制，允许多个读操作并发执行，但写操作必须独占访问。这种锁在"读多写少"的场景下能显著提高性能。

C++17 中的std::shared_mutex

#include <shared_mutex>
#include <vector>

class ThreadSafeContainer {
private:
    std::vector<int> data;
    mutable std::shared_mutex mutex; // mutable 允许const方法加锁
    
public:
    // 读操作 - 使用共享锁
    int get(size_t index) const {
        std::shared_lock<std::shared_mutex> lock(mutex);
        return data.at(index);
    }
    
    // 写操作 - 使用独占锁
    void set(size_t index, int value) {
        std::unique_lock<std::shared_mutex> lock(mutex);
        data.at(index) = value;
    }
    
    // 批量读操作示例
    std::vector<int> getSnapshot() const {
        std::shared_lock<std::shared_mutex> lock(mutex);
        return data;
    }
};

读写锁特性

三种访问模式：

共享读锁 (shared_lock)：多个线程可同时持有
独占写锁 (unique_lock)：只有一个线程可持有
升级锁 (C++14没有直接支持，需手动实现)

锁的优先级策略：

读优先：容易导致写线程饥饿
写优先：可能降低读并发度
公平策略：折中方案

典型使用场景：

配置信息的热更新
缓存系统
高频查询低频修改的数据结构

8. 自旋锁 (Spin Lock)

自旋锁是一种非阻塞锁，当线程无法获取锁时不会休眠，而是循环检查锁状态（忙等待）。适用于锁持有时间极短的场景。

基本自旋锁实现

#include <atomic>

class SpinLock {
    std::atomic_flag flag = ATOMIC_FLAG_INIT;
    
public:
    void lock() {
        while(flag.test_and_set(std::memory_order_acquire)) {
            // 可加入CPU暂停指令减少争用时的能耗
            #ifdef __x86_64__
            __builtin_ia32_pause();
            #endif
        }
    }
    
    void unlock() {
        flag.clear(std::memory_order_release);
    }
    
    bool try_lock() {
        return !flag.test_and_set(std::memory_order_acquire);
    }
};

TTAS + Backoff

class AdvancedSpinLock {
    std::atomic<bool> locked{false};
    
public:
    void lock() {
        bool expected = false;
        int backoff = 1;
        const int max_backoff = 64;
        
        while(!locked.compare_exchange_weak(expected, true, 
              std::memory_order_acquire, std::memory_order_relaxed)) {
            expected = false; // compare_exchange_weak会修改expected
            
            // 指数退避
            for(int i = 0; i < backoff; ++i) {
                #ifdef __x86_64__
                __builtin_ia32_pause();
                #endif
            }
            
            backoff = std::min(backoff * 2, max_backoff);
        }
    }
    
    void unlock() {
        locked.store(false, std::memory_order_release);
    }
};

总结

以上为个人经验，希望能给大家一个参考，也希望大家多多支持脚本之家。

您可能感兴趣的文章:

详解C/C++如何获取路径下所有文件及其子目录的文件名
这篇文章主要为大家详细介绍了在C/C++中如何获取路径下所有文件及其子目录的文件名，文中的示例代码讲解详细，感兴趣的小伙伴可以了解一下
2023-03-03
Qt之实现圆形进度条的示例代码
在平时做页面开发时，有些时候会用到圆形进度条，本文主要介绍了Qt之实现圆形进度条的示例代码，具有一定的参考价值，感兴趣的可以了解一下
2023-10-10
Qt进程和线程QProcess和QThread的使用
本文主要介绍了Qt进程和线程QProcess和QThread的使用，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧
2023-06-06
Qt串口通信开发之QSerialPort模块详细使用方法与实例
这篇文章主要介绍了Qt串口通信开发之QSerialPort模块详细使用方法与实例,需要的朋友可以参考下
2020-03-03
C语言二分查找算法及实现代码
本文主要介绍C语言的二分查找算法,这里给大家详细介绍了什么是二分查找,并提供代码实例,需要的小伙伴可以参考下
2016-07-07
C语言顺序查找算法介绍及示例
顺序查找又称线性查找,主要用于在线性表中进行查找。顺序查找通常分为对一般的无序线性表的顺序查找和对按关键字有序的顺序表的顺序查找，下面我们来一探究竟
2022-08-08
C&C++设计风格选择命名规范
本文难免带有主观选择倾向，但是会尽量保持客观的态度归纳几种主流的命名风格，仅供参考
2018-04-04
c++容器list、vector、map、set区别与用法详解
这篇文章主要介绍了c++容器list、vector、map、set区别与用法详解，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧
2020-05-05
C++取得当前时间的方法
这篇文章主要介绍了C++取得当前时间的方法,实例展示了通过系统函数获取当前时间的实现方法,非常简单易懂,需要的朋友可以参考下
2014-10-10
C语言链表完整操作演示
这篇文章主要为大家详细介绍了C语言链表的完整操作演示，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
2018-05-05