“纯虚方法调用”实现 boost::thread 包装器接口时

Question

我有一个小包装器，它集中了与线程相关的内容：

class Thread {
protected:
    boost::thread *m_thread;

    virtual void work() = 0;

    void do_work() {
        work();
    }

public:
    Thread() : m_thread(NULL) {}
    virtual ~Thread() {
        catch_up();
        delete m_thread;
    }

    inline void catch_up() {
        if(m_thread != NULL) {
            m_thread->join();
        }
    }

    void run() {
        m_thread = new boost::thread(boost::bind(&Thread::do_work, boost::ref(*this)));
    }
};

当我实现它时，请说以下内容：

class A : public Thread {
    void work() {}
};

在：

A a; a.run();

我得到了一个运行时终止，并显示了一个漂亮的“纯虚拟方法调用”。我认为这是 boost::bind 参数，但我不知道怎么说“使用虚拟纯实现”......

预先感谢。

问候，

神秘先生

Answer 1

我在这里冒险，但我怀疑问题出在你的 Thread 析构函数上：

virtual ~Thread() { 
    catch_up(); 
    delete m_thread; 
} 

如果线程尚未启动，在析构函数中调用 catch_up() 将使用以下命令启动 boost 线程线程的 vtable 而不是 A 的 vtable，就像在 C++ 中，在析构函数处，vtable 与析构函数类型的范围匹配，而不是最派生的 vtable。

Answer 2

仅当程序立即退出时才会发生崩溃：它调用 A 类的析构函数，该析构函数完成，并在在新启动的线程有机会被调度之前调用线程的析构函数。然后线程调用你的虚函数，但是类A不再存在，所以它尝试调用Thread的do_work()，它调用纯虚函数work()。这是带有额外输出的程序：

run() started 
run() ended
~A() started
~A() ended
~Thread() started
catch_up() started
do_work() started
pure virtual method called

标准方面，我认为这是未定义的行为，因为当引用它时，对象的生命周期已经结束（析构函数调用开始）（boost::ref(*this) ) 用于从线程调用 do_work() 。

解决方案：让线程在销毁对象之前执行：

A a; a.run();
a.catch_up();

或者，正如 boost.thread 文档所述，"Boost.Thread 的用户必须确保引用的对象比新创建的执行线程寿命更长。"