C++ виртуальных определений деструкторов

Question

У меня есть три класса

class A { 
    // pure virtual funcs and member vars 
    virtual ~A(); 
} 

class B : public A { 
    // some more pure virtual funcs 
    virtual ~B(); 
} 

class C : public B { 
    // concrete implementations 
    ~C() {} 
} 

В настоящее время это не компилируется с «неопределенной ссылкой на` TypeInfo»ошибки (~ B() не определен, легко поправимо), однако я задается вопросом, нужно ли просто определять «virtual ~ B {}» или что C должен быть виртуальным и определенным, поэтому вызовы ~ B отправляются в ~ C?

Answer 1

Предполагая, что речь идет о чисто виртуальном деструкторе (код не является реальным, так что трудно сказать, но вы говорите о пропавшем определении деструктора, и о чистых виртуалах):

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

Вы не можете определить его в определении класса.

Там нет четкой причины, почему она должна быть определена внешними по отношению к определению класса, за исключением старого замечанием Бьярне Страуструп (язык создателя), который он рассматривал = 0 как указание “ ” нет тела.

---

Пример.

struct S 
{ 
    virtual ~S() = 0; 
}; 

S::~S() {}