Ограниченный указатель

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

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

См. также

• Устранение проверки границ
• Умный указатель
• Теговый указатель