并发编程是现代软件开发中的重要组成部分，它允许程序同时执行多个任务，从而提高效率和响应速度。在C++11标准中，std::thread库的引入极大地简化了多线程编程的复杂度。本文将带你入门C++并发编程，重点探讨std::thread的使用、常见问题、易错点及其避免策略，并通过具体代码示例加深理解。
一、std::thread简介
std::thread是C++标准库提供的用于创建和管理线程的类。它允许程序员将函数或可调用对象（lambda表达式、函数指针等）运行在一个独立的线程中，实现并行处理。
二、基本使用
创建线程
最简单的使用方式是直接传递一个函数或可调用对象给std::thread的构造函数：
void threadFunction() {
std::cout << "Running in another thread" << std::endl;
}
int main() {
std::thread myThread(threadFunction);
myThread.join(); // 等待线程结束
return 0;
}
Lambda表达式
更灵活的方式是使用lambda表达式，可以捕获外部变量：
int main() {
int value = 42;
std::thread myThread([&]() {
std::cout << "Value: " << value << std::endl;
});
myThread.join();
return 0;
}
三、常见问题与易错点
1. 避免数据竞争
当多个线程访问同一块内存且至少有一个是写操作时，就可能发生数据竞争。解决办法是使用互斥锁（std::mutex）或其他同步机制。
2. 线程安全的局部变量
局部变量默认不会在线程间共享，因此在lambda中捕获它们通常是安全的。但是，如果捕获的是外部变量的引用或指针，就需要确保这些变量的访问是线程安全的。
3. 忘记调用join或detach
创建的std::thread对象析构时，若线程还在运行且既没有调用join也没有detach，则会抛出std::terminate异常。务必确保正确管理线程生命周期。
4. 异常安全
在多线程环境中，异常处理更为复杂。确保所有可能抛出异常的代码都被妥善处理，特别是在线程函数内部。
四、高级话题
1. 线程属性定制
std::thread构造函数接受一个额外的std::launch参数，允许控制线程的启动策略。
2. 线程局部存储（thread_local）
使用thread_local关键字声明的变量，每个线程都拥有独立的副本，避免了数据竞争。
3. 互斥锁与条件变量
std::mutex和std::condition_variable是C++标准库提供的用于同步线程的工具，可以解决复杂的线程间协作问题。
五、代码示例：线程同步
下面的示例展示了如何使用互斥锁防止数据竞争：
#include <iostream>
#include <thread>
#include <mutex>
std::mutex mtx; // 互斥锁
int sharedValue = 0;
void increment(int id) {
for (int i = 0; i < 100000; ++i) {
std::lock_guard<std::mutex> lock(mtx); // 自动加锁和解锁
++sharedValue;
}
}
int main() {
std::thread t1(increment, 1);
std::thread t2(increment, 2);
t1.join();
t2.join();
std::cout << "Final shared value: " << sharedValue << std::endl; // 应该是200000
return 0;
}
六、总结
std::thread为C++开发者打开了并发编程的大门，但同时也带来了数据竞争、死锁等潜在问题。掌握基本用法的同时，理解线程间的同步与通信机制至关重要。通过本篇文章的介绍，希望你能够避开常见的陷阱，有效地利用std::thread进行并发编程，提升应用程序的性能和响应性。记住，编写并发代码时，清晰的逻辑、良好的设计模式以及充分的测试是成功的关键。继续深入学习C++并发编程的高级特性和最佳实践，将使你在多核时代更具竞争力。
