引言
并发编程是现代C++开发中的一个重要方面,它允许程序同时执行多个任务,提高了程序的效率和响应能力。从C++11开始,标准库中加入了丰富的并发和多线程编程支持,包括线程、互斥锁、条件变量和异步操作等。这些工具使得在C++中实现并行任务变得更加简单和安全。
1. 线程(std::thread)
std::thread
类使得在C++中创建和管理线程变得简单。通过使用线程,程序可以同时执行多个操作
,有效地利用多核处理器的能力。
用法示例
#include <iostream>
#include <thread>
void threadFunction() {
std::cout << "Hello from thread!\\n";
}
int main() {
std::thread t(threadFunction); // 创建新线程
t.join(); // 等待线程结束
return 0;
}
这个示例中,我们创建了一个新线程,它执行threadFunction
函数。t.join()
确保主线程在子线程结束前等待。
2. 互斥锁(std::mutex)
互斥锁是用于保护共享数据的关键工具,它确保在任何时刻只有一个线程可以访问特定的数据段。
用法示例
#include <iostream>
#include <thread>
#include <mutex>
std::mutex mtx; // 定义互斥锁
void printBlock(int n, char c) {
mtx.lock(); // 获取互斥锁
for (int i = 0; i < n; ++i) { std::cout << c; }
std::cout << '\\n';
mtx.unlock(); // 释放互斥锁
}
int main() {
std::thread t1(printBlock, 50, '*');
std::thread t2(printBlock, 50, '#');
t1.join();
t2.join();
return 0;
}
这个示例中,两个线程分别打印字符,互斥锁保证了它们不会同时访问共享资源。
3. 条件变量(std::condition_variable)
条件变量用于在线程间同步操作,它允许线程在特定条件成立前暂停执行,并在条件满足时被唤醒。
用法示例
#include <iostream>
#include <thread>
#include <mutex>
#include <condition_variable>
std::mutex mtx;
std::condition_variable cv;
bool ready = false;
void printId(int id) {
std::unique_lock<std::mutex> lock(mtx);
while (!ready) cv.wait(lock);
std::cout << "Thread " << id << '\\n';
}
void go() {
std::unique_lock<std::mutex> lock(mtx);
ready = true;
cv.notify_all();
}
int main() {
std::thread threads[10];
for (int i = 0; i < 10; ++i) {
threads[i] = std::thread(printId, i);
}
std::cout << "10 threads ready to race...\\n";
go();
for (auto& th : threads) th.join();
return 0;
}
这个示例展示了如何使用条件变量来同步多个线程的执行。
4. 异步编程(std::async、std::future)
异步编程允许程序继续执行其他任务,同时在后台运行耗时
操作。std::async
和 std::future
提供了一种从异步操作中获取结果的机制。
用法示例
#include <iostream>
#include <future>
int findAnswerToLifeUniverseAndEverything() {
return 42;
}
int main() {
std::future<int> answer = std::async(findAnswerToLifeUniverseAndEverything);
std::cout << "The answer is " << answer.get() << std::endl;
return 0;
}
在这个示例中,findAnswerToLifeUniverseAndEverything
函数在后台异步执行,而主线程可以继续执行其他任务。通过 answer.get()
,我们可以获得异步任务的结果。
结语
并发和多线程编程是C++中的一个高级且重要的领域。它使得开发者能够编写更高效和响应性更强的程序,尤其在处理大量数据或执行复杂计算时更是如此。然而,正确使用C++的并发编程特性需要深入理解线程间的同步和通信机制,以避免常见的陷阱,如死锁和竞争条件。得益于C++11及更高版本中提供的工具和库,开发者现在可以更加容易地创建稳定和高效的并发应用程序。