c++ lambda捕获this 导致多线程下类释放后还在使用的错误

c++的lambda 可以捕获this指针,使lambda可以在自定义的function内使用类的成员函数,这是因为捕获this后隐式的在成员变量前加了this

但是需要注意的是,这里捕获this,不是以一种拷贝的方式,更像是一种引用(或者别名,描述可能不准确),当在外面这个类的生命周期结束时,lambda内部还在调用这个类的成员函数,那么就会出错

我遇到的问题是 捕获了类A的this,对A的一个shared_ptr进行操作。偶然会出现shared_ptr的内部基类spt_count_base的报错。看了下这个shared_ptr 的use_count和weak_count都是0,

这就非常奇怪。shared_ptr计数是线程安全的,(但是实际指向对象和计数不是原子操作),并且访问这个sptr也加了锁,为什么会出现被释放了的情况。

大概再说下情景

class A

{

  shared_ptr<B> sptr;

  sptr.func = [this](){ do something};

}

class B

{

  shared_ptr<map> sptrMap;

  func()

  {

      //概率崩溃
             sptrMap.erase();

  }

}

 

当A被析构后,B注册的回调被另一个线程调用了func();这时可能会出现A开始析构,刚好析构到B,并且B的sptrMap已经析构时,出现崩溃。但这个顺序不是确定的无法保证,所以也不一定必出现这种现象。

防止这种现象可以加个判断,在sptrMAp不为空时不进行析构。或者用weak_ptr.在捕获this前,用 weak_ptr p = std::shared_from_this;然后在lambda最开始用p.lock判断A是否释放

通过这个了解到了lambda捕获的一个坑,及类析构的顺序及析构时线程安全的保护

另附实际代码

复制代码
using namespace std;

struct Foo {
  std::unique_ptr<int> p;
  std::function<void()> f() {
    p.reset(new int(1));
    return [=] { cout << *p << endl; };
  }
};

int main() {
  auto foo = new Foo();
  auto f = foo->f();
  delete foo;
  f();
}
运行结果为0而非1,而且这里输出0是未定义行为,因为访问的实际上是被回收的空间,只是因为编译器的delete并没有对回收的空间做额外的操作,所以p指向的仍然是原来那块,只不过那块已经被unique_ptr的析构函数自动清除了,只不过将清除的部分全部置为0而已。
复制代码

 

posted @   大老虎打老虎  阅读(2338)  评论(1编辑  收藏  举报
编辑推荐:
· 10年+ .NET Coder 心语,封装的思维:从隐藏、稳定开始理解其本质意义
· .NET Core 中如何实现缓存的预热?
· 从 HTTP 原因短语缺失研究 HTTP/2 和 HTTP/3 的设计差异
· AI与.NET技术实操系列:向量存储与相似性搜索在 .NET 中的实现
· 基于Microsoft.Extensions.AI核心库实现RAG应用
阅读排行:
· 10年+ .NET Coder 心语 ── 封装的思维:从隐藏、稳定开始理解其本质意义
· 地球OL攻略 —— 某应届生求职总结
· 提示词工程——AI应用必不可少的技术
· Open-Sora 2.0 重磅开源!
· 周边上新:园子的第一款马克杯温暖上架
历史上的今天:
2020-04-24 超全整理!Linux性能分析工具汇总合集
2018-04-24 每天一个linux命令(20):find命令之exec
2018-04-24 每天一个linux命令(19):find 命令概览
点击右上角即可分享
微信分享提示