En informática , un puntero acotado es un puntero que se aumenta con información adicional que permite deducir los límites de almacenamiento dentro de los cuales puede apuntar. [1] Esta información adicional a veces toma la forma de dos punteros que contienen las direcciones superior e inferior del almacenamiento ocupado por el objeto al que apunta el puntero limitado.
El uso de información vinculada hace posible que un compilador genere código que realice la verificación de límites , es decir, que pruebe si el valor de un puntero se encuentra dentro de los límites antes de desreferenciar el puntero o modificar el valor del puntero. Si se violan los límites se puede plantear algún tipo de excepción . Esto es especialmente útil para construcciones de datos como matrices en C.