понижающее приведение и виртуальные функции

Question

Я задал этот вопрос в интервью, и я не был уверен в поведении в следующем случае:

class A 
{ 
     virtual fun1(){...} 
     virtual fun2(){...} 
}; 

class B : public A 
{ 
     virtual fun1(){...} 
     virtual fun2(){...} 
}; 

Теперь, если

A* AObj = new A; 
B* BObj = (B*) AObj; 

DoES BObj имеют доступ к Б методов из-за ключевого слова virtual или это не потому, что он указывает на объект AObj?

Может ли кто-нибудь помочь мне в том, как точно влияет на доступ вниз?

Answer 1

Присвоение адреса объекта базового класса к производному классу указатель undefined behavior. Так что все может случиться: функции BObj могут вызывать функции B, могут вызывать функции A, могут вызывать сбои в программе или даже форматировать ваш жесткий диск. Все это будет зависеть от компилятора и его опций оптимизации.

Answer 2

В таких случаях (полиморфизм) тип указателя (BObj, здесь его тип не является B) является типом объекта, который он указывает на (A). , поэтому BObj является объектом базового класса и является неспособным выполнять дополнительную работу (функции), определенные в оцененном классе (B).

Answer 3

Прежде всего, это делает

A* AObj = new AObj(); 

B* BObj = AObj; 

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

Однако вы можете сделать это:

A* AObj = new AObj(); 

    B* BObj = dynamic_cast<B*>AObj; 

Это будет проверять, если Aobj могут быть назначены на BobJ или нет. Она возвращает адрес объекта, если он может, в противном случае он будет возвращать 0.

Таким образом, вы можете использовать его как:

B* BObj = dynamic_cast<B*>AObj; 
if(BObj) 
{ 
    //Now you can use it safely. 
}