Array-indexing in C and C++ _is_ pointer arithmetic! It's syntactic sugar. Array-indexing in safe languages is bound checked iff the compiler can't prove the index value to always be in-bounds.

In case anyone doesn’t already know, this isn’t a figure of speech. array[5] literally translates to *(array + 5) in C. Since + is a symmetric operator, that means 5[array] is a valid, equivalent expression.

Array indexing is __bounds checked__ pointer arithmetic.

But not in C.

> It seems kind of nuts to say array indexing isn't just a fancier version of pointer arithmetic.

I agree.