In Item 27 of "Effective C++" (3rd Edition, Page 118), Scott Meyers said:
class Base { ... };
class Derived: public Base { ... };
Derived d;
Base *pb = &d;
Here we're just creating a base class pointer to a derived class object, but sometimes, the two pointers will not be the same. When that's the case, an offset is applied at runtime to the
Derived*
pointer to get the correctBase*
pointer value.This last example demonstrates that a single object (e.g., an object of type
Derived
) might have more than one address (e.g., its address when pointed to by aBase*
pointer and its address when pointed to by aDerived*
pointer).
Here is a bit hard to understand. I know that a pointer to the base class can point to an object of the derived class at runtime, this is called polymorphism or dynamic binding. But does the derived class object really have more than 1 address in the memory?
Guess I have some misunderstanding here. Could someone give some clarification? Maybe this has something to do with how polymorphism is implemented in the C++ compiler?
Derived Class: A class that is created from an existing class. The derived class inherits all members and member functions of a base class. The derived class can have more functionality with respect to the Base class and can easily access the Base class. A Derived class is also called a child class or subclass.
If compiled with the Microsoft C++ compiler, the size of DerivedClass is 16 bytes. If compiled with gcc (either c++ or g++), size of DerivedClass is 12 bytes.
In C++, a derived class object can be assigned to a base class object, but the other way is not possible.
Explanation: A base class pointer can point to a derived class object, but we can only access base class member or virtual functions using the base class pointer because object slicing happens when a derived class object is assigned to a base class object.
Just try it:
class B1
{
int i;
};
class B2
{
int i;
};
class D : public B1, public B2
{
int i;
};
int
main()
{
D aD;
std::cout << &aD << std::endl;
std::cout << static_cast<B1*>( &aD ) << std::endl;
std::cout << static_cast<B2*>( &aD ) << std::endl;
return 0;
}
There's no possible way for the B1
sub-object to have the same
address as the B2
sub-object.
An object has exactly one address; that's where it's located in memory. When you create a pointer to a base subobject you get the address of that subobject, and that doesn't have to be the same as the address of the object that contains it. A simpler example:
struct S {
int i;
int j;
};
S s;
The address of s
will be different from the address of s.j
.
Similarly, the address of a base subobject does not have to be the same as the address of the derived object. With single inheritance is usually is, but when multiple inheritance comes into play, and ignoring empty base classes, at most one of the base subobjects can have the same address as the derived object. So when you convert a pointer to the derived object into a pointer to one of its bases you don't necessarily get the same value as the address of the derived object.
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With