Base pointer to array of derived objects

by

If you look at the expression p[1], p is a Base* (Base is a completely-defined type) and 1 is an int, so according to ISO/IEC 14882:2003 5.2.1 [expr.sub] this expression is valid and identical to *((p)+(1)).

From 5.7 [expr.add] / 5, when an integer is added to a pointer, the result is only well defined when the pointer points to an element of an array object and the result of the pointer arithmetic also points the an element of that array object or one past the end of the array. p, however, does not point to an element of an array object, it points at the base class sub-object of a Derived object. It is the Derived object that is an array member, not the Base sub-object.

Note that under 5.7 / 4, for the purposes of the addition operator, the Base sub-object can be treated as an array of size one, so technically you can form the address p + 1, but as a “one past the last element” pointer, it doesn’t point at a Base object and attempting to read from or write to it will cause undefined behavior.

More Related Contents:

  1. Using paragraphs 8.5.3p4 and p5 in the C++11 Standard, how do I prove that the snippet below doesn’t compile?
  2. Why aren’t variable-length arrays part of the C++ standard?
  3. Where do I find the current C or C++ standard documents?
  4. What is the proper declaration of main in C++?
  5. Array placement-new requires unspecified overhead in the buffer?
  6. Is “argv[0] = name-of-executable” an accepted standard or just a common convention?
  7. What are the new features in C++17?
  8. What’s the difference between __PRETTY_FUNCTION__, __FUNCTION__, __func__?
  9. Where exactly does C++ standard say dereferencing an uninitialized pointer is undefined behavior?
  10. A most vexing parse error: constructor with no arguments
  11. C++ Static member method call on class instance
  12. Why do const references extend the lifetime of rvalues?
  13. Why does C++ output negative numbers when using modulo?
  14. C/C++ int[] vs int* (pointers vs. array notation). What is the difference?
  15. Computing length of a C string at compile time. Is this really a constexpr?
  16. Is right shift undefined behavior if the count is larger than the width of the type?
  17. Why an unnamed namespace is a “superior” alternative to static? [duplicate]
  18. What are declarations and declarators and how are their types interpreted by the standard?
  19. When can you omit the file extension in an #include directive?
  20. Defining a variable in the condition part of an if-statement?
  21. Standard Library Containers with additional optional template parameters?
  22. Is auto_ptr deprecated?
  23. What could C/C++ “lose” if they defined a standard ABI?
  24. Can I legally reinterpret_cast between layout-compatible standard-layout types?
  25. Is it legal/well-defined C++ to call a non-static method that doesn’t access members through a null pointer?
  26. ISO C++ standard draft
  27. Does the C++ standard specify anything on the representation of floating point numbers?
  28. Why must a std::ranges::filter_view object be non-const for querying its elements?
  29. Do pointers to string literals remain valid after a function returns?
  30. is size_t always unsigned?

Leave a Comment