Suppose I have a class Dog
that inherits from a class Animal
. What is the difference between these two lines of code?
Animal *a
For all purposes of type-checking, the compiler treats a
as if it could point to any Animal, even though you know it points to a Dog:
a
to a function expecting a Dog*
.a->fetchStick()
, where fetchStick
is a member function of Dog
but not Animal
.Dog *d2 = dynamic_cast(d)
is probably just a pointer copy on your compiler. Dog *d3 = dynamic_cast(a)
probably isn't (I'm speculating here, I'm not going to bother checking on any compiler. The point is: the compiler likely makes different assumptions about a
and d
when transforming code).You can call virtual functions (that is, the defined polymorphic interface) of Animal equally through either of them, with the same effect. Assuming Dog
hasn't hidden them, anyway (good point, JaredPar).
For non-virtual functions which are defined in Animal, and also defined (overloaded) in Dog, calling that function via a
is different from calling it via d
.