通过 std：：ref 将shared_ptr传递给 std：：bind 将剥离它的多态性-解网

问：

当我尝试将基类“this”指针dynamic_cast到派生类指针时，我的程序因 SIGSEGV 而崩溃。我想知道它是否与 std：：bind 和 std：：ref 有关。下面是我的示例代码，它可能会产生问题。

// header h.hpp

#include <functional>
#include <iostream>
#include <map>
#include <memory>
#include <vector>

using namespace std;

template <typename T> 
class Derived;

class Base {
public:
  virtual ~Base() {}

  template <typename T> 
  void foo(const T &t) {
    cout << "Base foo\n";
    auto derived = dynamic_cast<Derived<T> *>(this); // SIGSEGV crash!
    derived->foo(t);
  }

private:
};

template <typename T> 
class Derived : public Base {
public:
  void foo(const T &t) { cout << "Derived foo\n"; }

private:
};

class Outter {
public:
  void init();
  void run();

private:
  void run_foo(shared_ptr<Base> &base);

  class Inner {
  public:
    void run() {
      for (const auto &f : foos_) {
        f();
      }
    }

    void set_foo(function<void()> f) { 
        foos_.push_back(f); 
    }

  private:
    static vector<function<void()>> foos_;
  };

  Inner inner_;
  vector<shared_ptr<Base>> bases_;
};

// source main.cpp

#include "h.hpp"

vector<function<void()>> Outter::Inner::foos_;

void Outter::init() {
  shared_ptr<Base> base = make_shared<Derived<int>>();
  bases_.push_back(base);
  
//   inner_.set_foo(bind(&Outter::run_foo, this, base)); // no ref version
  inner_.set_foo(bind(&Outter::run_foo, this, ref(base))); // ref verison
}

void Outter::run() { inner_.run(); }

void Outter::run_foo(shared_ptr<Base> &base) {
  int t = 123;
  base->foo(t);
}

int main() {
  Outter outter;
  outter.init();
  outter.run();
  return 0;
}

如果我注释掉了 ref 版本并使用“no-ref”版本，程序运行良好并且不会中断。似乎 std：：ref 函数正在切断 Base shared_ptr的多态性，为什么会这样？

C++ 模板绑定 ref 动态转换

void foo(std::shared_ptr<int>& ptr)
{
    std::cout << *ptr << std::endl;
}

int main()
{
    std::function<void()> f;
    std::shared_ptr<int> backup;
    {
        std::shared_ptr<int> ptr{new int{7}};
        backup = ptr;
        f = std::bind(foo, std::ref(ptr));
        // f = std::bind(foo, ptr);
    }
    f();
    return 0;
}

如果使用，调用将具有未定义的行为，因为超出范围并具有悬空引用，而不管它管理的整数是否仍与仍在作用域中的另一个shared_ptr共享。std::reff();ptrfoo

使用 ADDR Sanitizer 的示例

通过 std：：ref 将shared_ptr传递给 std：：bind 将剥离它的多态性

pass shared_ptr to std::bind through std::ref will strip it's polymorphism

评论

评论

评论