Compared to the economic cost of bugs, bound checks everywhere are (very very) cheap. Even more so with the CPU and compilers we have today, which are more than sufficiently smart from the point of view of when C was created. Intel is even adding some new instructions in their CPU to make that even less costly than you could imagine in even some crazy C based situation you would not think to be possible in the first place, because of C. But the cost here is extra complexity, for something that should have been built-in in the first place.<p>More technically to address fears of slowdowns even with simpler architectures, the additional checks will likely be factored most of the time (for example before a loop with linear accesses). When they are not, to have a real impact 1&#x2F; it has to be in a really hot code path (like 1% or maybe even 0.1% or even less of a real system) 2&#x2F; the cpu should not be able to use empty OOO slots and execution units to execute it without any extra penality 3&#x2F; this is quite a deduction from the two preceding points, but if we are talking about a big array being accessed in random order this will be slow because of RAM access anyway, an extra check won&#x27;t induce any meaningful slowdown maybe even if it were mispredicted (which it will not be - in regard to performance).<p>Like always if you have any performance issue, first profile. And actually I can&#x27;t remember having ever heard a single person complaining that some bound checking in a program was the cause of their slowdowns. It often far more macroscopic, and easy to fix anyway when it is that much micro. Considering usual modern systems, they are sometimes so slow that the problem is certainly NOT native bound checking, but very probably architectural madness.