Подпись виртуальной функции Несоответствие и ее поведение

Question

Я рассматриваю пример поведения виртуальных функций. Учитывая этот тестовый код, у меня есть несколько вопросов относительно его поведения.

class A 
{ 
public: 
    A(int x) 
    { 
     cout << "In A Constructor" << endl; 
     print(); 
    } 
    ~A(){ 
     cout << "In A Destructor" << endl; 
     delete _val; 
    } 
    virtual void print() { cout << "A." << endl; } 
private: 
    char* _val; 
}; 

class B: public A 
{ 
public: 
    B(int x, int y) : A(x) 
    { 
     _dVal = new char[y]; 
     cout << "In B Constructor 1" << endl; 
     print(); 
    } 
    B() : A(0) 
    { 
     _dVal = new char[1]; 
     cout << "In B Constructor 2" << endl; 
     print(); 
    } 
    ~B(){ 
     cout << "In B Destructor" << endl; 
     delete _dVal; 
    } 
    void print() { cout << "B" << endl; } 
private: 
    char* _dVal; 
}; 

int main(int argc, char** argv) { 
    A* p1 = new B(); 
    p1->print(); 
    delete p1; 
    return 0; 
} 

Выход:

In A Constructor 
A. 
In B Constructor 2 
B 
B 
In A Destructor 

1) Почему печать называется класса В, если класс А является единственным обозначив ее как виртуальную функцию и она вызывается с помощью разыменования (->)? 2) Почему деструктор для B не вызывается, если на самом деле вызывается конструктор?

Answer 1

1) Почему печать называется классом B, если класс A является единственным, обозначающим его как виртуальную функцию и вызываемый разыменованием (->)?

Это то, что должны делать виртуальные функции. Указатель p1 имеет тип A*, но он указывает на объект типа B. И это динамическое связывание происходит только тогда, когда производный класс обрабатывается с помощью указателя или ссылки на базовый класс.

Также обратите внимание, что функция переопределения в производном классе также является virtual (независимо от того, используется ли ключевое слово virtual в его объявлении).

2) Почему деструктор для B не вызывается, если на самом деле вызывается конструктор?

Деструктор B не называется, потому что вы не объявить деструктор базового класса (т.е. A::~A) в качестве virtual destructor. Для этого случая поведение не определено. Конструктор B вызывается, потому что вы автоматически создаете B на new B().