En informática , un puntero acotado es un puntero al que se le añade información adicional que permite deducir los límites de almacenamiento dentro de los cuales puede apuntar. [ 1 ] Esta información adicional a veces consiste en dos punteros que contienen las direcciones superior e inferior del almacenamiento ocupado por el objeto al que apunta el puntero acotado.
El uso de información de límites permite que un compilador genere código que realice comprobaciones de límites , es decir, que verifique si el valor de un puntero se encuentra dentro de los límites antes de desreferenciarlo o modificar su valor. Si se infringen los límites, se puede generar algún tipo de excepción . Esto es especialmente útil para estructuras de datos como los arreglos en C.
Véase también
Referencias
- Tipos de datos
- Esbozos de programación informática