static_cast on derived classes when base turns from not polymorphic to polymorphic
I am reviewing C++ casts operator and I have the following doubt:
for polymorphic classes
- I I should use
polymorphic_cast
- I should never use of
static_cast
since down-casting might carry to undefined behavior. The code compiles this case anyway.
Now suppose that I have the following situtation
class CBase{};
class CDerived : public CBase{};
int main( int argc, char** argv ){
CBase* p = new CDerived();
//.. do something
CDerived*pd = static_cast<CDerived*>( p );
}
Since there is no polymorphism involved I will not use polymorphic_cast
and the code will not even compile.
If at some point, someone introduces some virtual
functions in the inheritance tree and I am now aware of it so I am in danger: how can I real开发者_高级运维ize it?
I should move to polymorphic_cast
to avoid any risk, but the code will be still compiling without any notification.
What do you do to realize about such kind of changes or prevent these case?
Thanks AFG
Background you didn't include - boost has polymorphic_cast
as a wrapper around dynamic_cast<>
that throws when the cast fails. static_cast<>
is fine if you're certain that the data is of the type you're casting to... there is no problem with or without virtual members, and the code you include saying it won't compile will compile and run just fine as is.
I guess you're thinking about the possibility to accidentally cast to another derived class? That's the utility/danger of casting, isn't it? You can add a virtual destructor then use dynamic_cast<>, as strictly speaking RTTI is only available for types with one or more virtual functions.
Code written with static_cast<> will continue to handle the same type safely irrespective of the introduction of virtual functions... it's just that if you start passing that code other types (i.e. not CDerived or anything publicly derived therefrom) then you will need the dynamic_cast<> or some other change to prevent incompatible operations.
While you deal with pointer p (of type CBase*) the pointed object will be treated as a CBase, but all virtual functions will do the right thing. Pointer pd treats the same object as a CDerived. Upcasting in this way is dangerous since, if the object is not derived from the upcasted type, any extra member data for the upcasted object will be missing (meaning you'll be poking around in some other data), and virtual function lookup will be all messed up. This is the opposite to downcasting (as you've tagged this question) where you might get slicing.
To avoid this you need to change your programming style. Treating the same object as two different types is a dubious practice. C++ can be very good at enforcing type safety, but it will let you get away with nasty things if you really want to, or just don't know better. If you are wanting to do different things depending upon an object type, and can't do it through virtual functions (such as through double dispatch), you should look more thoroughly into RTTI (look here, or see some good examples here).
polymorphic_cast is not defined in C++. Are you thinking about dynamic_cast?
Anyway, you can not do anything to prevent it.
精彩评论