Why does int*[] decay into int** but not int[][]?

by

Why does int*[] decay into int** but not int[][]?

Because it would be impossible to do pointer arithmetic with it.

For example, int p[5][4] means an array of (length-4 array of int). There are no pointers involved, it’s simply a contiguous block of memory of size 5*4*sizeof(int). When you ask for a particular element, e.g. int a = p[i][j], the compiler is really doing this:

char *tmp = (char *)p           // Work in units of bytes (char)
          + i * sizeof(int[4])  // Offset for outer dimension (int[4] is a type)
          + j * sizeof(int);    // Offset for inner dimension
int a = *(int *)tmp;            // Back to the contained type, and dereference

Obviously, it can only do this because it knows the size of the “inner” dimension(s). Casting to an int (*)[4] retains this information; it’s a pointer to (length-4 array of int). However, an int ** doesn’t; it’s merely a pointer to (pointer to int).

For another take on this, see the following sections of the C FAQ:

(This is all for C, but this behaviour is essentially unchanged in C++.)

More Related Contents:

  1. why iam unable to concatenate the string here?
  2. Plotting points using Nested For Loops
  3. What are transparent comparators?
  4. C++11 does not deduce type when std::function or lambda functions are involved
  5. When should I really use noexcept?
  6. Correct way of declaring pointer variables in C/C++ [closed]
  7. Why is a pure virtual function initialized by 0?
  8. Mutex example / tutorial? [closed]
  9. C/C++ include header file order
  10. What does the standard say about how calling clear on a vector changes the capacity?
  11. Multithreaded Rendering on OpenGL
  12. Detecting the parameter types in a Spirit semantic action
  13. Random array generation with no duplicates
  14. Is this undefined behavior with const_cast? [duplicate]
  15. CMake output/build directory
  16. What is the difference between WM_QUIT, WM_CLOSE, and WM_DESTROY in a windows program?
  17. How can currying be done in C++?
  18. How to set breakpoints on future shared libraries with a command flag
  19. Where is shared_ptr?
  20. understanding the dangers of sprintf(…)
  21. Setting ROI with mouse from a rectangle on a video
  22. Clearing terminal in Linux with C++ code
  23. “constexpr if” vs “if” with optimizations – why is “constexpr” needed?
  24. cmath vs math.h (And similar c-prefixed vs .h extension headers)
  25. Convert Eigen Matrix to C array
  26. std::vector resize downward
  27. How to disable warnings for particular include files?
  28. Why can’t std::function bind to C-style variadic functions?
  29. Portable text based console manipulator
  30. if constexpr – why is discarded statement fully checked?

Leave a Comment