Как обрабатывать деструкторы в экспортированных DLL-интерфейсах

Question

Я пытаюсь экспортировать класс из DLL. Я читал эту статью на этом: http://www.codeproject.com/Articles/28969/HowTo-Export-C-classes-from-a-DLL

«зрелый» подход предполагает, что используется абстрактный класс, так что у меня есть:

// Header 
class IFoo{ 
public: 
    virtual int getBar() = 0; 
} 

class Foo: public IFoo {...} 

DLLEXPORT IFoo* Create(); 
DLLEXPRT void Free(IFoo* inst); 

//DLL cpp 
IFoo* Create(){ return new Foo; } 
void Free(IFoo* inst){ delete inst; } 

озадачивает меня: Если я не виртуальные destructor, то delete inst не будет вызывать деструктор Foos и может протечь память. Как я должен справиться с этим? Статья не дает ответа на это.

Использование virtual ~IFoo(){} не представляется возможным, поскольку это добавляет реализация к IFoo, который вызывает проблемы (объяснение в ответ на вопрос, в статье для виртуальной функции инлайн) и virtual ~IFoo() = 0; завершается с ошибкой линкера на неопределенный символ ~IFoo

Что такое безопасный способ? Как должны быть реализованы функции Free/Release?

Answer 1

Прежде всего, отметим, что проблема связана с обработкой DLL Visual Studio. GCC и Clang имеют стабильную ABI (Itanium ABI), которая гарантирует совместимость библиотек, скомпилированных с различными версиями.

Теперь, как уже упоминалось, проблема, с которой вы сталкиваетесь, - это нестабильность ABI, однако части ABI стабильны (виртуальная таблица), иначе представленная стратегия просто не сработает.

Следовательно, просто необходимо, чтобы деструктор virtual работал. Из-за вызова через виртуальную таблицу не будет проблемы с изменением имени.

Кроме того, обратите внимание, что в современном C++ возвращает указатель сырец является нет-нет, но имя коверкание предотвращает использование смарт-указатель ...

// Foo.h 
class Foo { 
public: 
    virtual int get() = 0; 
    virtual ~Foo(); 

protected: 
    Foo() = default; 
    Foo(Foo&&) = default; 
    Foo(Foo const&) = default; 
    Foo& operator=(Foo) = default; 
}; 

// WARNING: immediately capture this Foo* in a smart pointer, 
//   or suffer from memory leak (and worse). 
Foo* createFoo(); // factory behind 

// Foo.cpp 
Foo::~Foo() {} // not inline