Access element beyond the end of an array in C

by

C doesn’t allow access to memory beyond the end of the array. It does, however, allow a pointer to point at one element beyond the end of the array. The distinction is important.

Thus, this is OK:

char array[N];
char *p;
char *end;

for (p = array, end = array + N; p < end; ++p)
    do_something(p);

(Doing *end would be an error.)

And that shows the reason why this feature is useful: a pointer pointing at the (non-existent) element after the end of the array is useful for comparisons, such as in loops.

Technically speaking, that is everything the C standard allows. However, in practice, the C implementation (compiler and runtime) does not check whether you access memory beyond the end of the array, whether it is one element or more. There would have to be bounds checking and that would slow down program execution. The kinds of programs C is best suited for (systems programming, general purpose libraries) tend to benefit more from the speed than the security and safety bounds checking would give.

That means C is perhaps not a good tool for general purpose application programming.

More Related Contents:

  1. With arrays, why is it the case that a[5] == 5[a]?
  2. Pointer Arithmetic [closed]
  3. Pointer arithmetic for void pointer in C
  4. Pointer Arithmetic In C
  5. Do pointers support “array style indexing”?
  6. What is the result of NULL + int?
  7. Pointer/Address difference [duplicate]
  8. Order of operations for dereference and bracket-ref in C
  9. Pointer arithmetic when void has unknown size [closed]
  10. (Why) is using an uninitialized variable undefined behavior?
  11. Why does the order of the loops affect performance when iterating over a 2D array?
  12. How to change entry point of C program with gcc?
  13. Creating your own header file in C
  14. C How to “draw” a Binary Tree to the console [closed]
  15. malloced array VS. variable-length-array [duplicate]
  16. getch is deprecated
  17. How to access C variable for inline assembly manipulation?
  18. undefined reference to `strlwr’
  19. Do I really need malloc?
  20. How to link to a static library in C?
  21. How to make gcc link strong symbol in static library to overwrite weak symbol?
  22. Having trouble with fork(), pipe(), dup2() and exec() in C
  23. Can local and register variables be declared extern?
  24. What exactly is the FILE keyword in C?
  25. how to quit the blocking of xlib’s XNextEvent
  26. How to copy directory from source tree to binary tree?
  27. In C, what’s the size of stdout buffer?
  28. How to check if a pointer is freed already in C?
  29. In C how do I print filename of file that is redirected as input in shell
  30. Output single character in C

Leave a Comment