Метод вызова производного класса на объекте базового класса

Question

Я написал несколько строк кода, которые, как я думаю, не следует компилировать. Я вызываю метод производного класса на указатель static_cast-эд на объект базового класса следующим образом:

class B {};  

class D: public B 
{ 
public: 
    void bar() { printf("%d\n", m_i); } 
private: 
    int m_i; 
}; 

int main() 
{ 
    B b; 
    D* d = static_cast<D*>(&b); 
    d->bar(); 
    return 0; 
} 

Значение печатается явно нездоровая, но если это даже компилировать? Как это сделать gcc?

Answer 1

gcc не может гарантировать, что это неверно, за исключением достаточного количества случаев, когда это действительно не стоит проверять. Когда вы используете static_cast, вы обещаете компилятору, что знаете, что делаете.

Здесь есть два вида отливок. static_cast, то есть вы сообщаете компилятору, что указатель на базу IS является указателем на производный, и заткнись и продолжайте с ним. dynamic_cast, то есть вы просите компилятор проверить, действительно ли этот указатель на базу является указателем на производный. Вы использовали static_cast, поэтому компилятор заткнился и сделал, как вы сказали.

Редактировать: Джон точно указал, что в вашей иерархии наследования нет виртуальных функций, для которых вы должны быть уволены из C++, а dynamic_cast действителен только для виртуальных функций.

Answer 2

Использование static_cast <> вы сказали компилятору: «Я знаю, что я делаю, что B * на самом деле D *, заткнись и просто делай то, что я говорю».