Question

我理解为什么我得到了我得到的错误（称为纯虚函数）。我试图从我的基类的析构函数中调用纯虚函数，如下所示。但是，我不知道如何重写我的代码以防止这种情况发生。以下是基类和派生类（无论如何都是相关部分）：

基类：

TailFileManager::TailFileManager(const std::string &filename, const int fileOpenPeriod_ms)
: m_Stop(false)
{
    m_WorkerThread.reset(new boost::thread(boost::bind(&TailFileManager::TailFile, this, filename, fileOpenPeriod_ms)));
}

TailFileManager::~TailFileManager()
{
    m_Stop = true;
    m_WorkerThread->join();
}

void TailFileManager::TailFile(const std::string &filename, const int fileOpenPeriod_ms)
{
    std::ifstream ifs(filename.c_str());

    while (! ifs.is_open())
    {
        boost::this_thread::sleep(boost::posix_time::milliseconds(fileOpenPeriod_ms));
    ifs.open(filename.c_str());
    }

    ifs.seekg(0, std::ios::end);

    while (! m_Stop)
    {
        ifs.clear();

        std::string line;

        while (std::getline(ifs, line))
        {
            OnLineAdded(line);
        }

        OnEndOfFile();
    }

    ifs.close();
}

派生类：

ETSLogTailFileManager::ETSLogTailFileManager(const std::string &filename, const int heartbeatPeriod_ms)
: TailFileManager(filename, heartbeatPeriod_ms),
  m_HeartbeatPeriod_ms(heartbeatPeriod_ms),
  m_FoundInboundMessage(false),
  m_TimeOfLastActivity(0)
{
}

ETSLogTailFileManager::~ETSLogTailFileManager()
{
}

void ETSLogTailFileManager::OnLineAdded(const std::string &line)
{
    // do stuff...
}

void ETSLogTailFileManager::OnEndOfFile()
{
    // do stuff...
}

Answer 1

你不应该在构造或破坏期间调用虚函数，因为调用不会按照你的想法进行，如果有的话，你仍然会不高兴。如果你是一个正在恢复的Java或C＃程序员，请密切注意这个项目，因为这是一个这些语言的地方，而C ++ zags。

重新设计你的设计，即你可以在对象被破坏之前调用一些清理函数，想法就是在const / dest期间避免虚函数（如果有的话！），如果你正在使用C ++ ...

虚拟调用的规则是不同的。 C ++ 2003，第12.7节“构建和销毁”，说：

让我们刷新一些旧的记忆......

成员函数，包括虚函数（10.3），可以在构造或销毁期间调用（12.6.2）。当直接或间接地从构造函数（包括来自数据成员的mem-initializer）或析构函数调用虚函数时，调用所适用的对象是正在构造或销毁的对象，调用的函数是一个在构造函数或析构函数自己的类或其基础中定义的，但不是在从构造函数或析构函数类派生的类中重写它的函数，或者在最派生对象的其他一个基类中重写它（1.8））。如果虚函数调用使用显式类成员访问（5.2.5）并且object-expression引用正在构造或销毁的对象但它的类型既不是构造函数也不是析构函数自己的类或其基础之一，则结果为电话未定义。

由于这种行为上的差异，建议您在构造或销毁对象的虚拟函数时永远不要调用它。

在施工或销毁期间永远不要调用虚拟功能摘自Effective C ++，第三版作者Scott Meyers 2005年6月6日

http://www.artima.com/cppsource/nevercall.html

Answer 2

就C ++标准而言：

如果在构造函数或析构函数中调用虚函数，则函数为动态调度，就好像它的动态类型是当前正在执行的构造函数/析构函数的类型（§12.7/ 4）
如果该函数发生在纯虚拟虚拟中，那么这就是未定义的行为（§10.4/ 6）; Itanium ABI定义了行为：__cxa_pure_virtual被调用。

所以，你有一个棘手的问题......

问题的一个可能解决方案是将其分为两部分，以便分解两部分。这可以通过Strategy模式实现：

提供可自定义的界面，您的策略
提供一个管理器类，它封装了功能并遵循可自定义部分的策略

让我们更清楚：

class Interface {
public:
    friend class Manager;

private:
    virtual void finalize() = 0;
}; // class Interface


class Manager {
public:
    explicit Manager(std::unique_ptr<Interface>&&);

    ~Manager();

private:
    std::unique_ptr<Interface> _interface;
}; // class Manager

Manager::~Manager() {
    _interface->finalize();
}

诀窍？在finalize()被称为_interface的破坏还没有开始的时候！对析构函数的调用将在稍后发生;因此，你不会遭受半死的物体的命运。

我将通过关于join现在的析构函数中的线程的警告来结束这个答案。请注意，在堆栈展开的情况下会自动调用析构函数，因此在失败时无限期地等待可能会很危险;特别是如果线程正在等待当前被解除的那个应该提供的数据......这是一个经典的死锁案例。

参考资料（n3337）：

§12.7/ 4 成员函数，包括虚函数（10.3），可以在构造或销毁期间调用（12.6.2）。当从构造函数或析构函数直接或间接调用虚函数时，包括在构造或销毁类的非静态数据成员期间，以及调用所适用的对象是正在构造的对象（称为x）或者破坏，被调用的函数是构造函数或析构函数类中的最终覆盖，而不是覆盖更多派生类的函数。

§10.4/ 6 可以从抽象类的构造函数（或析构函数）调用成员函数; 对于从这样的构造函数（或析构函数）创建（或销毁）的对象直接或间接地对纯虚函数进行虚拟调用（10.3）的效果是未定义的。

Answer 3

你写，

“我试图在下面显示的基类的析构函数中调用纯虚函数。”

有问题的代码是

TailFileManager::~TailFileManager()
{
    m_Stop = true;
    m_WorkerThread->join();
}

令人高兴的是，在单线程执行中，这可能无法调用纯虚函数。但是你join的线程可能会通过非虚拟成员函数调用此对象上的纯虚函数。如果是这样，那么问题在于线程，特别是该对象的生命周期管理。

不幸的是，您没有显示相关代码。尝试将事情简化为一个小而完整的工作示例。在哪里“工作”，它再现了问题。

如何修复称为运行时错误的纯虚函数？

3 个答案: