当前位置: 首页 > article >正文

【C++多线程编程】 线程安全与对象生命周期管理

目录

类的线程安全

实现线程安全 

构造函数在多线程中的安全性

析构函数多线程环境的安全

智能指针实现多线程安全

 shared_ptr 非完全线程安全

shared_ptr可能导致对象生命周期延长

const引用可以减少传递shared_ptr开销

shared_ptr 智能指针块模块的优点

 析构所在线程问题分析

 RAII的使用

enable_shared_from_this 使用场景分析

问题分析

enable_shared_from_this确保对象安全

 weak_ptr 和 shared_ptr 结合 Bind的弱回调机制(重点解决方案)

弱回调机制的实现


类的线程安全

什么是class线程安全

  • 多线程可以同时访问类的实例:线程安全的类允许多个线程同时读取或者修改类的状态,而不会引发数据不一致的问题
  • 线程之间交互会不会影响类的正确行为:并发环境下线程的执行顺序不可控,操作系统可能会在任意时刻调用线程,在该环境下,很容易导致其他异常行为。如果一个类的线程是安全的,那么即使多线程交互,也不会出现数据竞争和资源争夺问题
  • 无需额外的同步操作:如果一个类是线程的安全的,那么当调用这个类的时候就不需要使用锁、互斥量或者其他同步机制来确保其安全
  • 例如std::string std::vector std::map等类都是线程不安全的,因为调用它们的时候需要使用锁机制

线程不安全会导致的问题

  • 数据竞争:多个线程同时修改同一块内存区域,这样会导致数据不一致的情况
  • 崩溃或者未定义的行为:在修改数据的时候会导致该种情况的发生 

实现线程安全 

构造函数在多线程中的安全性

构造函数在多线程环境下安全性

  • 不要在构造函数中注册任何回调函数
    • 构造函数执行的时候,对象还没有初始化完成,如果在构造函数中注册了回调函数,此时可能会被其他线程调用,这样就会导致该线程访问到了一个没有初始化完成的对象,从而会导致未定义行为或数据不一致的问题
  • 不可以在构造函数中传递this指针给其他线程
    • 同上,对象还没有初始化完成,就将自己的this指针给其他线程使用,是一种很不安全的行为
  • 一定要确保构造函数完成后,对象已经创建,再将对象交给其他线程操作

解决方案

  • 延迟泄漏this:将this指针的传递放在对象构建之后。在对象创建之后可以通过初始化函数或者工厂模式将this指针传递给其他对象或者线程,从而确保构造函数执行完毕后对象才会被外界访问
  • 使用工厂函数:通过工厂函数来创建对象,在对象初始化完成后,在返回给调用者,这样就不用直接在构造函数中暴露了

错误事例参考 

#include <iostream>

class Observable;

class Observer {
public:
    virtual void update() = 0;  // 纯虚函数,用于接收更新通知
};

class Foo : public Observer {
public:
    // 错误:在构造函数中直接注册 `this`,会造成线程不安全
    Foo(Observable* s) {
        s->registerObserver(this);  // 将 `this` 立即注册到 `Observable`
        std::cout << "Foo 对象已构造并注册\n";
    }

    virtual void update() override {
        std::cout << "Foo 收到了更新通知\n";
    }

private:
    int someData = 0;  // 假设这是一个重要的初始化数据
};

class Observable {
public:
    void registerObserver(Observer* o) {
        observer_ = o;
        std::cout << "观察者已注册\n";
    }

    void notifyObservers() {
        if (observer_) {
            observer_->update();
        }
    }

private:
    Observer* observer_ = nullptr;
};

int main() {
    Observable observable;
    Foo* foo = new Foo(&observable);  // 在构造函数中注册 `this`
    
    observable.notifyObservers();  // 通知观察者,可能在对象未完全初始化时访问

    delete foo;
    return 0;
}

正确事例实现

  • 延迟注册:事例中通过独立的observer()方法,将this注册到observable,确保注册发色会给你在对象构造完成后,避免未完全初始化的对象被访问
#include <iostream>

class Observable;

class Observer {
public:
    virtual void update() = 0;  // 纯虚函数,用于接收更新通知
};

class Foo : public Observer {
public:
    Foo() {
        // 在构造函数中仅初始化对象,不进行任何注册操作
        std::cout << "Foo 对象已构造\n";
    }

    // 观察者更新接口实现
    virtual void update() override {
        std::cout << "Foo 收到了更新通知\n";
    }

    // 提供一个专门的函数用于在构造后进行注册
    void observe(Observable* s);

private:
    // 内部成员变量
    int someData = 0;
};

class Observable {
public:
    void registerObserver(Observer* o) {
        observer_ = o;
        std::cout << "观察者已注册\n";
    }

    void notifyObservers() {
        if (observer_) {
            observer_->update();
        }
    }

private:
    Observer* observer_ = nullptr;
};

// Foo类的observe方法实现,确保注册操作在构造完成后进行
void Foo::observe(Observable* s) {
    s->registerObserver(this);  // 仅在对象构造后再注册
}

int main() {
    Observable observable;
    Foo* foo = new Foo();  // 构造对象
    
    foo->observe(&observable);  // 构造完成后进行注册
    observable.notifyObservers();  // 通知观察者进行更新

    delete foo;
    return 0;
}

析构函数多线程环境的安全

多线程环境下的析构比单线程析构是更为复杂的,主要原因是因为其涉及到资源的竞争条件。如果在多线程环境下确保线程安全,析构函数必须小心处理对象的状态,同时与其他线程保持同步。

多线程环境下如何实现线程安全

  • 避免多个线程同时读取或者写入共享状态:每个线程对共享资源的访问顺序应该是按照某种顺序执行,不可以让他们同时操作
  • 成员函数的操作相互独立:函数的边界不应该发生重叠,也就是多个线程不应该同时访问同一块资源,每个成员函数的执行应该与其他函数隔离开,避免相互干扰

借助mutex无法解决问题事例

  • 首先两个线程存在线程竞争:线程A在delete x之后,便将x设置成为的NULL,但是线程B在if(x)中检查了x,但是由于两个线程之间都没有同步,线程A销毁后,线程B仍然可能在销毁后访问的x,这样访问已经销毁对象,肯定会导致对应的错误
  • 使用mutex无法解决问题原因分析:因为Mutex只可以保证函数内的互斥访问,但是不能控制线程之间的执行顺序,也就是说,销毁与执行的顺序是无法通过mutex来控制的 
#include <iostream>
#include <thread>
#include <mutex>

class Foo {
public:
    ~Foo() {
        std::lock_guard<std::mutex> lock(mutex_);  // 互斥锁保护析构函数
        std::cout << "Foo 被销毁\n";
    }

    void update() {
        std::lock_guard<std::mutex> lock(mutex_);  // 互斥锁保护更新函数
        std::cout << "Foo 更新\n";
    }

private:
    std::mutex mutex_;
};

Foo* x = nullptr;  // 全局对象指针,多个线程共享

void threadA() {
    delete x;      // 线程A销毁对象
    x = nullptr;   // 设置 x 为 NULL
}

void threadB() {
    if (x) {       // 线程B检查 x 是否为NULL
        x->update();  // 如果 x 不为NULL,则调用 update()
    } else {
        std::cout << "x 是空指针\n";
    }
}

int main() {
    x = new Foo();  // 初始化全局对象指针

    std::thread t1(threadA);  // 线程A销毁对象
    std::thread t2(threadB);  // 线程B调用 update()

    t1.join();
    t2.join();

    return 0;
}

 ​​​​​

 mutex不仅不可以保证对象析构的线程安全,还有可能导致死锁问题

  • mutex作为类成员具有局限性
    • mutex可以保护对象中其他数据成员的读写,但是不能保护对象析构过程
    • 由于mutex的生命周期与对象是关联的,也就是说对象如果销毁了,那么mutex也会被销毁,所以无法去为析构的时候提供保护
  • 死锁
    • 多个线程对多个对象进行操作的时候,如果锁的顺序不一致,这样就会导致死锁,例如线程A锁定对象a,线程B锁定对象b,双方互相等待对象释放锁的情况下,就会导致死锁

智能指针实现多线程安全

shared_ptr / weak_ptr联合使用保证其线程安全

  • 引用计数的线程安全:因为两个指针都是采用原子操作的方式来维护引用计数的,因此可以保证多个线程同时增加或者的减少引用计数时的线程安全
  • 访问控制:利用weak_ptr检查对象是否仍然存在,如果存在则将其提升为shared_ptr进行访问,从而确保对象在销毁前的安全访问

事例代码

  • 通过shared_ptr 实现自动管理对象的生命周期,确保多线程对同一个对象的安全访问
  • 使用weak_ptr避免延长对象的生命周期,与此同时使用lock()来提供安全的对象访问机制,防止访问到已经销毁的对象  
#include <iostream>
#include <memory>
#include <thread>

std::shared_ptr<int> globalPtr;  // 全局 shared_ptr

void threadFunc() {
    std::shared_ptr<int> localPtr = globalPtr;  // 安全地共享对象
    if (localPtr) {
        std::cout << "Thread accessing: " << *localPtr << std::endl;
    }
}

int main() {
    globalPtr = std::make_shared<int>(42);  // 初始化 shared_ptr

    std::thread t1(threadFunc);
    std::thread t2(threadFunc);

    t1.join();
    t2.join();

    globalPtr.reset();  // 主线程释放对象,其他线程仍然安全使用

    return 0;
}

 shared_ptr 非完全线程安全

不能完全保证线程安全原因分析

  • 引用计数线程安全:因为其引用计数是通过原子操作来实现的,也就是说多个线程可以安全的增减计数,不会竞争;同时只要还存在一个shared_ptr指向某个对象,该对象的内存就不会被释放
  • 无法保证管理对象的线程安全:多线程可以安全的访问同一个shared_ptr,但是这些线程访问和修改对象的时候可能会导致数据不一致问题,例如一个线程正在写入对象,另一个线程也正在读取或者写入的时候,此时就会产生数据竞争的情况
  • 读写冲突问题
    • 同时读取,此时通过计数是线程安全的
    • 同时写入,除非对象在写的时候进行了加锁,否则是线程不安全的
    • 读写冲突:一个读一个写,可能会导致最后数据不一致的问题

事例,通过互斥锁来保证多线程访问对象的安全性 

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

std::shared_ptr<int> globalPtr;
std::mutex mtx;

void readSharedPtr() {
    std::lock_guard<std::mutex> lock(mtx);
    if (globalPtr) {
        std::cout << "Reading: " << *globalPtr << std::endl;
    }
}

void writeSharedPtr(int value) {
    std::lock_guard<std::mutex> lock(mtx);
    if (globalPtr) {
        *globalPtr = value;
        std::cout << "Writing: " << value << std::endl;
    }
}

int main() {
    globalPtr = std::make_shared<int>(42);

    std::thread t1(readSharedPtr);
    std::thread t2(writeSharedPtr, 100);

    t1.join();
    t2.join();

    return 0;
}

shared_ptr可能导致对象生命周期延长

shared_ptr是引用计数的智能指针,引用计数决定的对象的生命周期,但是使用过程中如果有一个指向该对象的指针没有析构,这样就会导致该对象永远不会被释放。

shared_ptr与回调函数

  • 观察者设计模式中,如果通过shared_ptr来管理管理者对象,同时将这些对象放入vector容器中,此时如果不能够正确管理这些观察者对象,就可能会导致对象无法被释放
  • 也就是说,如果没有手动的调用unregistyer()来将其从容器中移除shared_ptr,这些对象就会始终存放在容器中,引用计数是始终不会归零的,这样一来,对象的析构函数也就不会被调用,从而引发内存泄漏

boost::bind与shared_ptr导致问题

  • 利用bind进行回调的时候,bind此时会持有一个shared_ptr的副本,所以会使得对象的引用计数增加,这也就意味着,只要回调函数仍然存在,该对象的引用计数也就永远不会归零,对象的生命周期也就会被无限延长
  • 例如,如果将一个shared_ptr绑定的一个函数中,该指针的副本会一直存在,直到该函数销毁为止 

事例理解

  • 将oberver1绑定到function中,这样就导致了observer1的生命周期延长
  • 即使移除了它,但还是不会立即销毁,只有等到function销毁的时候,observer1才会被销毁
#define BOOST_BIND_GLOBAL_PLACEHOLDERS 
#include <iostream>
#include <vector>
#include <memory>
#include <boost/bind.hpp>
#include <boost/function.hpp>

class Observer {
public:
    Observer(int id) : id_(id) {
        std::cout << "Observer " << id_ << " created." << std::endl;
    }
    ~Observer() {
        std::cout << "Observer " << id_ << " destroyed." << std::endl;
    }

    void onNotify() {
        std::cout << "Observer " << id_ << " notified." << std::endl;
    }

private:
    int id_;
};

class Subject {
public:
    void registerObserver(std::shared_ptr<Observer> obs) {
        observers_.push_back(obs);  // 使用 shared_ptr 存储观察者
    }

    void unregisterObserver(std::shared_ptr<Observer> obs) {
        observers_.erase(std::remove(observers_.begin(), observers_.end(), obs), observers_.end());
    }

    void notifyAll() {
        for (auto& obs : observers_) {
            if (obs) {
                obs->onNotify();
            }
        }
    }

private:
    std::vector<std::shared_ptr<Observer>> observers_;
};

void delayedCallback(boost::function<void()> func) {
    std::cout << "Callback will be called after delay..." << std::endl;
    func();  // 延迟回调调用
}

int main() {
    Subject subject;
    
    // 创建两个观察者并注册
    std::shared_ptr<Observer> observer1(new Observer(1));
    std::shared_ptr<Observer> observer2(new Observer(2));
    
    subject.registerObserver(observer1);
    subject.registerObserver(observer2);
    
    // 这里的 boost::bind 使 shared_ptr 的引用计数增加
    boost::function<void()> func = boost::bind(&Observer::onNotify, observer1);
    
    // 执行延迟回调
    delayedCallback(func);
    
    // 移除观察者
    subject.unregisterObserver(observer1);
    subject.unregisterObserver(observer2);

    // 通知所有观察者
    subject.notifyAll();

    // 注意:observer1 的引用计数不会为 0,因为 boost::function 持有了它的 shared_ptr 副本
    return 0;
}

 

const引用可以减少传递shared_ptr开销

const引用减少开销的原因

  • 如果直接拷贝会增加引用计数,也就是说shared_ptr的引用计数会增加
  • 使用const 引用的方式则不会增加计数,这样就减少了锁的开销
void onMessage(const std::string& msg) {
    std::shared_ptr<Foo> pFoo(new Foo(msg));  // 创建 shared_ptr,持有 Foo 实例

    if (validate(pFoo)) {  // 通过 const 引用传递 shared_ptr
        save(pFoo);        // 通过 const 引用传递 shared_ptr
    }
}

shared_ptr 智能指针块模块的优点

优点

  • 减少析构函数调用次数:因为使用shared_ptr可以自动管理对象的生命周期,不需要用户调用析构函数,所以就减少的开销
  • shared_ptr可以指向任意类型的对象
  • 能够管理复杂对象的生命周期
  • 二进制兼容性:即使对象大小改变,旧的客户端代码依然可以兼容新版本的动态库

 析构所在线程问题分析

在多线程环境下,最后拥有对象的线程不一定是初始线程,所以需要该处对最后析构线程进行分析。

  • 析构线程不一定是初始化线程:资源释放的时机是在shared_ptr离开作用域的时候发生,也就是说在shared_ptr的析构函数会自动调用该对象的析构函数,但是这个析构动作发生的线程不一定是创建该对象的线程,因为对象的生命周期跨越了多个线程
  • 析构发生在最后持有shared_ptr的线程:加入最后执行析构的是主线程,那么后续行为的执行,需要等待主线程执行完析构,此时就会影响性能,因为对一个对象的析构是一种十分耗时的行为
  • 主线程析构问题解决思路:设计一些线程专门负责去析构对象,实现的话可以通过一个队列,将需要析构的对象都放入队列中,这样就不会影响主线程执行

 RAII的使用

涉及到资源管理必然不可以绕开RAII,RAII的核心思想就是在对象构建的时候同时获取资源,并在对象销毁的时候同时释放资源。

  • 避免手动释放资源:程序中如何频繁的使用new,那么就要频繁的使用delete去手动释放资源,仅仅依靠自己手动释放资源,是很容易出错的。所以要采用RAII通过自动化管理资源来减少这种错误,例如在程序中多使用shared_ptr,在其超出作用域时候自动释放其管理资源
  • RAII管理共享资源:shared_ptr通过应用计数来确保对象的生命周期,确保没有任何shared_ptr持有对象的时候才释放资源。该种方式在多线程下十分适用,多线程中使用shared_ptr来共享对象,不需要手动管理对象的释放。
  • 避免循环引用:在使用RAII管理资源的时候,最重要的是需要避免循环引用的情况,循环引用也就是会让引用计数永远不为零,最终引发内存泄漏。在该情况下,可以通过weak_ptr来打破循环引用,因为weak_ptr是不会影响计数的,其类似于一个不拥有对象的观察者,通过weak_ptr.lock()提升为weak_ptr,从而安全的访问对象
#include <iostream>
#include <memory>
#include <thread>
#include <chrono>
#include <queue>
#include <mutex>
#include <condition_variable>

// 资源类,构造时分配资源,析构时释放资源
class Resource {
public:
    Resource() {
        std::cout << "资源已获取\n";
    }
    ~Resource() {
        std::cout << "资源已释放\n";
    }
};

// 模拟处理资源的函数
void processResource(std::shared_ptr<Resource> res) {
    std::this_thread::sleep_for(std::chrono::seconds(1)); // 模拟处理延迟
    std::cout << "正在处理资源\n";
}

// 阻塞队列类,用于在线程间传递资源
template <typename T>
class BlockingQueue {
public:
    // 向队列中添加资源
    void push(T item) {
        std::lock_guard<std::mutex> lock(mtx);
        queue.push(item);
        cond.notify_one(); // 唤醒等待的线程
    }

    // 从队列中取出资源
    T pop() {
        std::unique_lock<std::mutex> lock(mtx);
        cond.wait(lock, [this]() { return !queue.empty(); }); // 等待直到队列非空
        T item = queue.front();
        queue.pop();
        return item;
    }

private:
    std::queue<T> queue;
    std::mutex mtx;
    std::condition_variable cond;
};

// 专用线程,处理资源的析构
void workerThread(BlockingQueue<std::shared_ptr<Resource>>& queue) {
    while (true) {
        auto res = queue.pop(); // 从队列中获取资源
        processResource(res);   // 处理资源
        // 资源会在这里自动析构
    }
}

int main() {
    // 创建阻塞队列和专用线程
    BlockingQueue<std::shared_ptr<Resource>> queue;
    std::thread worker(workerThread, std::ref(queue));

    // 主线程分配资源并将其传递给专用线程
    {
        auto res = std::make_shared<Resource>(); // 使用shared_ptr分配资源
        queue.push(res); // 将资源传递给队列,worker线程将接管资源
    }

    worker.join(); // 等待专用线程结束
    return 0;
}

enable_shared_from_this 使用场景分析

问题分析

当使用智能指针来管理对象的生命周期,智能指针会自动管理对象资源的分配和释放,从而避免内存泄漏。但是在某些情况下,智能指针所管理的对象需要在其成员函数内存获取一个指向自身的shared_ptr。在这种情况下如果直接使用this指针操作,可能会导致严重的生命周期管理的问题,尤其在回调函数以及多线程环境下,该问题会更明显,结合下面的事例详细理解。

要点解释说明

  • Manner类:通过继承enable_shared_this,允许在Message类中获取自身shared_ptr指针,同时通过deleteResource()方法,模拟删除资源的操作
  • Resource类:该类持有一个指向Manner的指针,在资源创建的时候,就将销毁资源的函数绑定为析构时的回到函数。资源被销毁的时候,这个回调函数会自动被调用
  • 生命周期管理:通过shared_ptr 确保Manner的生命周期延长(重点理解)
    • 也就是在Resource的析构函数中,通过使用manager的shared_ptr调用Manner的deleteResource()方法,从而保证在回调执行的时候,Manner对象依然有效

调试内容+源码

#include <iostream>
#include <memory>
#include <functional>

class Manager : public std::enable_shared_from_this<Manager> {
public:
    // 模拟删除资源的函数
    void deleteResource() {
        std::cout << "Manager: Deleting resource\n";
    }

    // 返回当前对象的shared_ptr
    std::shared_ptr<Manager> getSharedManager() {
        return shared_from_this();
    }
};

class Resource {
public:
    Resource(std::shared_ptr<Manager> mgr) : manager(mgr) {
        std::cout << "Resource Created\n";
        // 绑定析构时的回调函数,调用Manager的deleteResource函数
        destructorCallback = std::bind(&Manager::deleteResource, manager);
    }

    ~Resource() {
        std::cout << "Resource Destroyed\n";
        // 调用析构回调,通知Manager
        destructorCallback();
    }

private:
    std::shared_ptr<Manager> manager;
    std::function<void()> destructorCallback;
};

int main() {
    // 创建一个Manager对象并使用shared_ptr管理其生命周期
    std::shared_ptr<Manager> manager = std::make_shared<Manager>();

    {
        // 创建Resource对象,并将Manager传递给它
        std::shared_ptr<Resource> resource = std::make_shared<Resource>(manager);
    } // Resource在此作用域结束时被销毁,其析构函数被调用

    std::cout << "End of main\n";
    return 0;
}

enable_shared_from_this确保对象安全

解决上述问题,则是通过C++中提供的一个enable_shared_from_this机制来实现,其是一个模版基类,允许类的实例从其成员函数中安全的获取shared_ptr执行自身,最终实现该对象的生命周期始终是由shared_ptr来控制的。

 工作原理分析

  • 继承enable_shared_from_this:其是一个模版类,提供了一个shared_from_this()方法,允许类的成员函数获取一个指向该类对象的shared_ptr,只要当该对象被shared_ptr管理的时候,shared_from_this()才是有效的
  • 确保生命周期延长(重点):当对象通过shared_ptr进行管理的时候,调用shared_from_this()可以确保即使所有其他地方持有shared_Ptr对象都被销毁,当前对象也仍然有效。这也就是说,成员函数或者回调函数使用该对象的时候,程序可以确保该对象不会在使用的时候销毁.
    • 注意:其他地方的shared_ptr对象销毁的时候,指针引用计数不会变成0的,因为本对象中通过shared_from_this创建了一个新的shared_ptr,所以该对象不会被销毁。

代码事例理解 

#include <iostream>
#include <memory>

class Manager : public std::enable_shared_from_this<Manager> {
public:
    Manager() {
        std::cout << "Manager Created\n";
    }
    
    ~Manager() {
        std::cout << "Manager Destroyed\n";
    }

    // 返回自身的 shared_ptr
    std::shared_ptr<Manager> getSharedPtr() {
        return shared_from_this();
    }

    void performTask() {
        // 在成员函数内部获取 shared_ptr
        auto sharedManager = shared_from_this();
        std::cout << "Performing task with shared_ptr\n";
        // 在这里 shared_ptr 的引用计数不会变成 0,因为还有其他地方持有它
    }
};

int main() {
    // Step 1: 创建一个 shared_ptr 管理 Manager 对象
    std::shared_ptr<Manager> manager1 = std::make_shared<Manager>();
    std::cout << "Reference Count after creation: " << manager1.use_count() << "\n"; // 引用计数为 1

    // Step 2: 调用成员函数,获取 shared_ptr
    manager1->performTask();
    std::cout << "Reference Count after performTask: " << manager1.use_count() << "\n"; // 引用计数为 1,因为没有新增外部持有者

    // Step 3: 在外部再获取一个 shared_ptr
    std::shared_ptr<Manager> manager2 = manager1->getSharedPtr();
    std::cout << "Reference Count after getSharedPtr: " << manager1.use_count() << "\n"; // 引用计数为 2

    // Step 4: 销毁 manager1
    manager1.reset(); 
    std::cout << "Reference Count after resetting manager1: " << manager2.use_count() << "\n"; // 引用计数为 1

    // Step 5: 销毁 manager2
    manager2.reset();
    std::cout << "All shared_ptrs destroyed\n";

    return 0;
}

 weak_ptr 和 shared_ptr 结合 Bind的弱回调机制(重点解决方案)

弱回调机制的实现

实现机制分析

  • 将shared_ptr绑定到bind和function中的时候,其会延长绑定对象的生命周期,也就是说只有绑定的function对象销毁的时候,该指针才会销毁。通过该种方式保证了对象在回调的时候是安全,但是相应的会导致对象生命周期会比预期的更长
  • 弱回调的核心思想:避免对象的生命周期过度延长,希望当对象存在的时候,可以正常的执行回调函数;如果对象销毁了,则不再执行回调
  • 避免强引用带来的生命周期延长问题,则是通过weak_ptr

 具体实现

  • weak_ptr
    • 不参与引用计数,主要就是用来打破shared_ptr的循环引用问题
    • 当worker完成任务后,通过weak_ptr::lock()检查Manner是否还存在,同时根据结果来决定是否通知Manner
  • 生命周期管理:利用weak_ptr::lock()检查Manner是否还存在,如果对象被销毁,则lock()则返回空指针,从而避免对已经销毁对象的访问

事例代码执行流程分析

  •  Manner类
    • 通过继承enable_shared_from_this,让worker对象可以获取shared_ptr<Manner>,并在执行任务完成后通知后通知Manner

 

 

 

#include <iostream>
#include <memory>
#include <vector>

// 前置声明 Manager 类
class Manager;

// Worker 类负责执行任务,并在任务完成时通知 Manager
class Worker {
public:
    // 构造函数中传入 Manager 的 weak_ptr
    Worker(std::weak_ptr<Manager> manager);

    ~Worker();

    // 执行任务
    void doWork();

private:
    // 使用 weak_ptr 避免循环引用
    std::weak_ptr<Manager> manager_;

    // 通知 Manager 任务已完成
    void notifyManager();
};

// Manager 类负责管理 Worker
class Manager : public std::enable_shared_from_this<Manager> {
public:
    Manager() {
        std::cout << "Manager Created\n";
    }
    
    ~Manager() {
        std::cout << "Manager Destroyed\n";
    }

    // 注册 worker 完成任务的回调函数
    void registerWorker() {
        auto worker = std::make_shared<Worker>(shared_from_this());
        workers_.push_back(worker);
        worker->doWork();
    }

    void onTaskComplete() {
        std::cout << "Manager received task completion notification\n";
    }

private:
    std::vector<std::shared_ptr<Worker>> workers_;
};

// 完整定义 Worker 类的方法
Worker::Worker(std::weak_ptr<Manager> manager)
    : manager_(manager) {
    std::cout << "Worker Created\n";
}

Worker::~Worker() {
    std::cout << "Worker Destroyed\n";
}

void Worker::doWork() {
    std::cout << "Worker is working...\n";
    
    // 模拟任务完成后通知 Manager
    notifyManager();
}

void Worker::notifyManager() {
    if (auto manager = manager_.lock()) {
        // manager 有效时通知
        manager->onTaskComplete();
    } else {
        // 如果 Manager 已销毁,通知失败
        std::cout << "Manager is no longer available\n";
    }
}

int main() {
    {
        // 创建一个 Manager 对象并用 shared_ptr 管理
        auto manager = std::make_shared<Manager>();
        
        // 注册 Worker 并执行任务
        manager->registerWorker();
        
        std::cout << "Manager still exists\n";
    }

    // 当 Manager 销毁后,Worker 再次尝试访问 Manager 将失败
    std::cout << "End of main\n";
    return 0;
}

 总结

  • weak_ptr 和 shared_ptr 与 bind相结合实现弱回调机制,解决对象相互引用导致的生命周期问题
  • weak_ptr弱化对象的引用,如果对象还存在则执行回调,如果对象不存在在不执行回调,从而保证系统的稳定性和安全性

http://www.kler.cn/a/301794.html

相关文章:

  • g++与gdb简单学习
  • 代码随想录第46期 单调栈
  • Go语言中的类型
  • 基于Matlab的碎纸片的自动拼接复原技术
  • More effective C++:杂项
  • 企业生产环境-麒麟V10(ARM架构)操作系统部署kafka高可用集群
  • Docker Compose与私有仓库部署
  • 10分钟在企业微信中集成一个 AI 助手
  • 汽车EDI:montaplast EDI对接
  • XWiki中添加 html 二次编辑失效
  • C# WinForm:禁用Panel容器滚动条自动移动位置的功能
  • leetcode 刷题周报(9.3-9.10)
  • java框架第五课(终极版本)SpringBoot
  • QT 中使用QXlsx 读写文件
  • Linux学习-Docker文件系统
  • 3. 轴指令(omron 机器自动化控制器)——>MC_PowerMC_MoveJog
  • mysql的zip解压缩版安装
  • MySQL根据日期统计时没有数据的日期也需要返回0
  • 图计算:基于SparkGrpahX计算聚类系数
  • 在Linux系统中“普通场景”下隐匿操作痕迹
  • 算法学习攻略总结 : 入门至进阶,通关之路指南
  • jmeter依赖jar包找不到类路径
  • CTF(misc)
  • 微调语言模型前,需要考虑这三个关键方面
  • pwn题目搭建过程中glibc出现问题的解决方案
  • 计算机视觉学习路线