Downcasting using the ‘static_cast’ in C++

by

Using static_cast to cast an object to a type it doesn’t actually have yields undefined behavior. The symptoms of UB vary widely. There’s nothing that says UB can’t allow the derived member function to be called successfully (but there’s nothing that guarantees that it will, so don’t count on it).

Here is the rule for downcasting using static_cast, found in section 5.2.9 ([expr.static.cast]) of the C++ standard (C++0x wording):

A prvalue of type “pointer to cv1 B“, where B is a class type, can be converted to a prvalue of type “pointer to cv2 D“, where D is a class derived from B, if a valid standard conversion from “pointer to D” to “pointer to B” exists, cv2 is the same cv-qualification as, or greater cv-qualification than, cv1, and B
is neither a virtual base class of D nor a base class of a virtual base class of D. The null pointer value is converted to the null pointer value of the destination type. If the prvalue of type “pointer to cv1 B” points
to a B that is actually a subobject of an object of type D, the resulting pointer points to the enclosing object
of type D. Otherwise, the result of the cast is undefined.

More Related Contents:

  1. Division by str.length() shows nothing [closed]
  2. C++ Need help for a homework program that reads in a list of doubles from a file and add a string to each double
  3. Is signed integer overflow still undefined behavior in C++?
  4. Proper stack and heap usage in C++?
  5. char* vs std::string in c++ [closed]
  6. Read Unicode UTF-8 file into wstring
  7. How do exceptions work (behind the scenes) in c++
  8. Alias template specialisation
  9. Can I use a mask to iterate files in a directory with Boost?
  10. C++ integer overflow
  11. Are multiple mutations of the same variable within initializer lists undefined behavior pre C++11
  12. Are parentheses around the result significant in a return statement?
  13. Does this really break strict-aliasing rules?
  14. C++ how to generate all the permutations of function overloads?
  15. Loop until integer input is in required range fails to work with non-digit character inputs
  16. (Partially) specializing a non-type template parameter of dependent type
  17. What is the difference between a const reference and normal parameter?
  18. C++ function to count all the words in a string
  19. C++ virtual table layout of MI(multiple inheritance)
  20. error C2065: ‘cout’ : undeclared identifier
  21. How do shared pointers work?
  22. Difference between regex_match and regex_search?
  23. using static libraries instead of dynamic libraries in opencv
  24. What is the difference between “::” “.” and “->” in c++ [duplicate]
  25. Why does glGetString(GL_VERSION) return null / zero instead of the OpenGL version?
  26. Undefined symbols for architecture x86_64 – Mavericks (Yosemite, El Capitan…)
  27. C/C++ Bit Array or Bit Vector
  28. How to read/write std::string values from/to binary files
  29. Enable a single warning in Visual Studio
  30. When can we omit the return type in a C++11 lambda?

Leave a Comment