Re: Bounds checked arrays

From: Malcolm (malcolm_at_55bank.freeserve.co.uk)
Date: 02/15/04


Date: Sun, 15 Feb 2004 00:05:14 -0000


"jacob navia" <jacob@jacob.remcomp.fr> wrote in message
> As everybody knows, the C language lacks
> a way of specifying bounds checked arrays.
>
There's a sub-thread on this (size of a sizeof(pointer)).

An implementation is allowed to create safe pointers that contain bounds
information. For complete safety it also has to put memory access through
gyristics to prevent corruption of the pointer itself. However very few
implementations do so, presumably for efficiency reasons.