#include <iostream>
#include <memory>
#include <thread>
#include <vector>
#include <atomic>
// 一个简单的共享对象类
class SharedObject {
public:
void print() const {
std::cout << "SharedObject::print() called" << std::endl;
}
// 一个非线程安全的成员函数
void unsafeModify() {
// 假设这里有一些修改对象状态的代码
std::cout << "SharedObject::unsafeModify() called" << std::endl;
}
// 一个线程安全的成员函数
void safeModify() {
static std::mutex mutex;
std::lock_guard<std::mutex> lock(mutex);
// 假设这里有一些修改对象状态的代码
std::cout << "SharedObject::safeModify() called" << std::endl;
}
};
void threadFunc(std::shared_ptr<SharedObject> ptr) {
// 安全地访问共享对象
ptr->print();
// 不安全的访问:如果其他线程同时调用unsafeModify(),则可能发生竞态条件
// ptr->unsafeModify();
// 安全的访问:使用互斥锁保护对共享对象的修改
ptr->safeModify();
}
int main() {
// 创建一个由shared_ptr管理的共享对象
std::shared_ptr<SharedObject> sharedObj = std::make_shared<SharedObject>();
// 创建一个线程向量来存储线程
std::vector<std::thread> threads;
// 启动多个线程来访问共享对象
for (int i = 0; i < 5; ++i) {
threads.emplace_back(threadFunc, sharedObj);
}
// 等待所有线程完成
for (auto& thread : threads) {
thread.join();
}
return 0;
}
在这个例子中,我们定义了一个SharedObject
类,它有一个print
成员函数用于打印消息,以及两个修改对象状态的成员函数:unsafeModify
和safeModify
。unsafeModify
函数是不线程安全的,因为它没有使用任何同步机制来保护对共享对象的访问。而safeModify
函数则是线程安全的,因为它使用了一个互斥锁来保护对共享对象的修改。
在main
函数中,我们创建了一个由shared_ptr
管理的SharedObject
实例,并启动了多个线程来访问这个共享对象。每个线程都调用threadFunc
函数,该函数接受一个shared_ptr
参数,并安全地访问共享对象。在threadFunc
中,我们调用了print
函数来演示对共享对象的安全访问,并调用了safeModify
函数来演示对共享对象的线程安全修改。
需要注意的是,尽管shared_ptr
的引用计数操作是线程安全的,但我们在threadFunc
中没有调用unsafeModify
函数,因为它是不线程安全的。在实际的多线程编程中,我们应该始终确保对共享对象的访问是线程安全的,以避免竞态条件和其他并发问题。
三、总结
综上所述,shared_ptr
的引用计数操作是线程安全的,但它所管理的对象本身并不是自动线程安全的。在多线程环境中使用shared_ptr
时,我们需要特别注意对共享对象的访问和修改,并使用适当的同步机制来保护这些操作。通过合理的同步措施,我们可以确保在多线程程序中安全地使用shared_ptr
来共享和管理对象。