zoukankan      html  css  js  c++  java
  • 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而已。
  • 相关阅读:
    Codeforces 1255B Fridge Lockers
    Codeforces 1255A Changing Volume
    Codeforces 1255A Changing Volume
    leetcode 112. 路径总和
    leetcode 129. 求根到叶子节点数字之和
    leetcode 404. 左叶子之和
    leetcode 104. 二叉树的最大深度
    leetcode 235. 二叉搜索树的最近公共祖先
    450. Delete Node in a BST
    树的c++实现--建立一棵树
  • 原文地址:https://www.cnblogs.com/wangshaowei/p/14696424.html
Copyright © 2011-2022 走看看