Как исправить чистую виртуальную функцию, называемую ошибкой времени выполнения?

Вы не должны вызывать виртуальные функции во время строительства или разрушения, потому что вызовы не будут делать то, что вы думаете, и если бы они сделали, вы все равно были бы недовольны. Если вы восстанавливаетесь программистом на Java или C #, обратите пристальное внимание на этот элемент, потому что это место, где эти языки движутся, а C ++ - резкими движениями.

Переработайте свой дизайн, то есть вы можете вызвать некоторую функцию очистки до того, как объект будет уничтожен, идея состоит в том, чтобы просто избегать виртуальной функции во время const / dest (если они есть!), Если вы работаете с C ++ ...

Правила виртуального вызова разные. C ++ 2003, раздел 12.7 «Строительство и разрушение», говорит:

Давайте освежим старые воспоминания ...

Функции-члены, включая виртуальные функции (10.3), могут вызываться во время построения или разрушения (12.6.2). Когда виртуальная функция вызывается прямо или косвенно из конструктора (в том числе из инициализатора памяти для члена данных) или из деструктора, а объект, к которому применяется вызов, является строящимся или разрушаемым объектом, вызываемая функция является один, определенный в собственном классе конструктора или деструктора или в одной из его баз, но не функция, переопределяющая ее в классе, производном от класса конструктора или деструктора, или переопределяющая ее в одном из других базовых классов самого производного объекта (1.8 ). Если при вызове виртуальной функции используется явный доступ к члену класса (5.2.5), а объектное выражение относится к объекту, находящемуся в стадии создания или уничтожения, но его тип не является ни собственным классом конструктора, ни собственным классом деструктора, ни одной из его баз, результат вызов не определен.

Из-за этой разницы в поведении рекомендуется никогда не вызывать виртуальную функцию объекта во время его создания или уничтожения.

Никогда не называйте виртуальные функции во время создания или разрушения отрывок из эффективного C ++, третье издание, Скотт Мейерс 6 июня 2005 г.

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

Что касается стандарта 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) чистой виртуальной функции прямо или косвенно для объекта, создаваемого (или уничтожаемого) из такого конструктора (или деструктора), не определен.

Ты пишешь,

Я пытаюсь вызвать чистые виртуальные функции из деструктора моего базового класса, показанного ниже.

И рассматриваемый код

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

К счастью, в однопоточном исполнении это не могло вызвать чисто виртуальную функцию. Но поток, который вы join обрабатываете, может вызвать чистую виртуальную функцию для этого объекта, возможно, через невиртуальную функцию-член. Если это так, то проблема связана с потоковой передачей, в частности, с управлением временем жизни этого объекта.

К сожалению, вы не показываете соответствующий код. Попробуйте свести все к небольшому, законченному, работающему примеру. Где «работает» в том смысле, что воспроизводит проблему.