경계 포인터
Bounded pointer컴퓨터 과학에서 경계형 포인터는 그것이 추론할 수 있는 저장 한계를 가능하게 하는 추가 정보로 증강되는 포인터다.[1]이 추가 정보는 때로 경계 포인터가 가리키는 객체가 점유한 저장소의 위쪽과 아래쪽 주소를 고정하는 두 개의 포인터의 형태를 취하기도 한다.
바인딩 정보를 사용하면 컴파일러가 경계 검사를 수행하는 코드(즉, 포인터의 값이 포인터를 취소하거나 포인터의 값을 수정하기 전에 한계 내에 있는지 테스트하는 코드)를 생성할 수 있다.한도를 위반할 경우 일종의 예외를 제기할 수 있다.이것은 특히 C의 배열과 같은 데이터 구성에 유용하다.
참고 항목
참조
- ^ Reese, Richard (2013). Understanding and Using C Pointers: Core Techniques for Memory Management. O'Reilly Media, Inc. p. 167. ISBN 9781449344566.
