C++如何避免派生类提前析构导致纯虚函数调用异常？

C++类实例的析构顺序固定为：派生类自定义析构逻辑执行 → 派生类非静态成员析构 → 基类自定义析构逻辑执行 → 基类非静态成员析构。
当前实现中，线程对象th是基类Base的成员，基类析构函数执行th->join()等待线程退出时，派生类部分已经完成析构，实例的虚表指针已经回退指向基类Base的虚表，此时线程调用的foo()在基类中是无实现的纯虚函数，直接触发pure virtual method called崩溃。

核心原则：必须在派生类析构流程启动前，确保持有当前对象this指针的工作线程完全退出，不要依赖基类析构做线程同步。

方案1：显式提供线程等待接口，在最外层派生类析构时先回收线程 #

这是改动最小、逻辑最直观的方案，不需要改动对象的创建方式：

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

struct Base {
  std::unique_ptr<std::thread> th;
  virtual void foo() = 0;
  void bar() { 
    th = std::make_unique<std::thread>(
      [this](){
        foo();
      }
    );
  }
  // 新增显式线程回收接口
  void join_thread() {
    if (th && th->joinable()) {
      th->join();
    }
  }
  // 基类析构不再处理线程join，避免派生类已析构时才等待线程
  virtual ~Base() = default;
};

struct Derived : public Base {
  virtual void foo() override {
    std::cout << "impl in derived" << std::endl;
  }
  // 派生类析构第一时间回收线程，此时派生类资源、虚表均完整
  ~Derived() override {
    join_thread();
  }
};

int main() {
  Derived d;
  d.bar();
  return 0;
}

如果存在多层继承，只需要在最外层、最后被实例化的派生类析构函数中调用join_thread()即可，保证线程在所有派生类资源析构前完全退出。

方案2：用智能指针绑定对象和线程生命周期，避免生命周期错位 #

如果线程是对象的核心常驻工作逻辑，可以借助std::shared_ptr和std::enable_shared_from_this，让线程持有对象的强引用，从机制上保证对象在线程运行期间不会进入析构流程：

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

struct Base : public std::enable_shared_from_this<Base> {
  virtual void foo() = 0;
  void bar() {
    // 线程持有对象的强引用，引用计数不归零就不会析构
    std::thread([self = shared_from_this()](){
      self->foo();
    }).detach();
  }
  virtual ~Base() = default;
};

struct Derived : public Base {
  virtual void foo() override {
    std::cout << "impl in derived" << std::endl;
  }
};

int main() {
  auto d = std::make_shared<Derived>();
  d->bar();
  return 0;
}

这个方案不需要手动写线程join逻辑，对象生命周期由引用计数自动管理，不会出现析构时序问题。

• 永远不要在基类的构造、析构函数中调用虚函数，也不要在这两个阶段启动、等待会调用虚函数的线程——这两个阶段对象的动态类型就是当前基类本身，虚函数不会派发到派生类实现。
• 所有跨线程传递裸this指针的场景，都必须显式保证对象生命周期长于线程运行周期，不要依赖隐式的析构顺序规则，显式同步的可靠性远高于隐式约定。

内容的提问来源于stack exchange，提问作者Robin Lew