Does reinterpret_cast lead to undefined behavior?

by

Although the reinterpret_cast itself might be unspecified behaviour, attempting to access the parameters once you’ve done the cast is undefined behaviour.

N3337 [basic.lval]/10:
If a program attempts to access the stored value of an object through a glvalue of other than one of the following types the behavior is undefined

— the dynamic type of the object,

— a cv-qualified version of the dynamic type of the object,

— a type similar (as defined in 4.4) to the dynamic type of the object,

— a type that is the signed or unsigned type corresponding to the dynamic type of the object,

— a type that is the signed or unsigned type corresponding to a cv-qualified version of the dynamic type
of the object,

— an aggregate or union type that includes one of the aforementioned types among its elements or non-
static data members (including, recursively, an element or non-static data member of a subaggregate
or contained union),

— a type that is a (possibly cv-qualified) base class type of the dynamic type of the object,

— a char or unsigned char type.

Your example is none of the above.

More Related Contents:

  1. Is casting std::pair const& to std::pair const& safe?
  2. C++ pointer decleration
  3. Storing C++ template function definitions in a .CPP file
  4. Check if a class has a member function of a given signature
  5. std::enable_if to conditionally compile a member function
  6. Does it make any sense to use inline keyword with templates?
  7. explicit specialization of template class member function
  8. Metaprograming: Failure of Function Definition Defines a Separate Function
  9. Template specialization of particular members?
  10. c++ template partial specialization member function [duplicate]
  11. What is the partial ordering procedure in template deduction
  12. Templates polymorphism
  13. A better way to avoid public member invisibility and source code bloat/repetition with inherited class templates?
  14. Default template arguments for function templates
  15. C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args? [duplicate]
  16. Why can’t the compiler deduce the template type from default arguments?
  17. How to cin values into a vector
  18. Why can I call base template class method from derived class
  19. Is there a compiler bug exposed by my implementation of an is_complete type trait?
  20. Template typedefs – What’s your work around?
  21. Deciphering C++ template error messages
  22. Returning a void?
  23. c++ standard practice: virtual interface classes vs. templates
  24. Partial specialization of function templates
  25. C++ templates declare in .h, define in .hpp
  26. Restrict Template Function
  27. Why does stack not compile in g++? [duplicate]
  28. Dynamically register constructor methods in an AbstractFactory at compile time using C++ templates
  29. C++ When should we prefer to use a two chained static_cast over reinterpret_cast
  30. How do we use void_t for SFINAE?

Leave a Comment