Размещение нового сбоя при использовании с виртуальной иерархией наследования в Visual C++

Question

Я использую виртуальное наследование с выбором классов в C++. В настоящее время он разрушается при уничтожении. Кажется, он компилируется в онлайн-компиляторах, однако, когда я запускаю Visual Studio, он сбой.

У меня есть чистый виртуальный базовый класс, который унаследован практически благодаря его реализации. Затем у меня есть третий класс, который наследуется от реализации регулярно. Я использую внутреннюю систему для создания и освобождения памяти. Под капотом используется новое место размещения с выровненным malloc. Затем он освобождает память. Я создал этот минимальный пример. Это не совсем то, что я делаю, но похоже, что у меня подобная проблема.

#include <iostream> 
#include <string> 

int main() 
{ 
    class Animal { 
     public: 
     Animal() { } 
     virtual ~Animal() { } 
     virtual void eat() { } 

    }; 

    class Mammal : public virtual Animal { 
     public: 
     virtual void breathe() { } 

    }; 

    class WingedAnimal : public virtual Animal { 
     public: 
     virtual void flap() { } 
    }; 

    // A bat is a winged mammal 
    class Bat : public Mammal, public WingedAnimal { 

    }; 

    Animal* bat = new(malloc(sizeof(Bat))) Bat; 
    bat->~Animal(); 
    free(bat); 
    printf("Done!"); 
} 

Как я уже сказал, этот пример напечатает «Готово» в онлайн-компиляторе. Однако в Visual Studio 2015 он, похоже, падает без объекта bat. Я довольно новичок в виртуальном наследовании и размещении нового. Кто-нибудь видит проблему?

Answer 1

malloc возвращает свежий адрес памяти, operator new помещает Bat по этому адресу, а также преобразование в Animal*подстраивается и адрес. Теперь переменная bat находится где-то внутри блока malloc. free IN невозможно.

Bat* bat0 = new(malloc(sizeof(Bat))) Bat; 
Animal* bat = bat0; 
std::cout << bat0 << " " << bat << "\n"; 

gcc печатает два одинаковых адреса, в то время как VC++ печатает два разных. Любое поведение совершенно нормально и допускается стандартом, даже если не задействовано множественное наследование. Большинство компиляторов фактически не корректируют адрес с единственным наследованием, но есть некоторые исключения.

Чтобы быть в безопасности, не полагайтесь на два одинаковых адреса.

можно восстановить исходный адрес по динамической отливке void*:

free(dynamic_cast<void*>(bat)); 

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

Update: dynamic_cast<void*> восстанавливает первоначальный указатель, но free по-прежнему падает с VC++. Понятия не имею почему.

Правильный метод интеграции менеджер стороннего памяти в C++ программа перегружать operator new и operator delete

void* ::operator new(size_t sz) { return my_managed_malloc(sz); } 
void ::operator delete (void* ptr) { return my_managed_free(ptr); } 

Поместите их в любой файл, один C++ в программе (если у вас есть библиотеки DLL, то во всех DLL) и обычно использовать C++, без явно определенных указателей указателя.

Для получения дополнительной информации, http://en.cppreference.com/w/cpp/memory/new/operator_new.