В информатике, a ограниченный указатель - это указатель , который дополнен дополнительной информацией, которая позволяет вывести границы памяти, в пределах которых он может указывать. Эта дополнительная информация иногда принимает форму двух указателей, содержащих верхний и нижний адреса памяти, занимаемой объектом, на который указывает ограниченный указатель.
Использование связанной информации позволяет компилятору сгенерировать код, который выполняет проверку границ, то есть проверяет, находится ли значение указателя в пределах границ до разыменования указатель или изменение значения указателя. Если границы нарушены, может возникнуть какое-то исключение. Это особенно полезно для таких конструкций данных, как массивы в C.
.