널 여부
아무 대상도 없으면 역참조하지 않습니다.
안전 점검 순서
대상 수명
지역 변수, delete된 메모리, 배열 범위를 확인합니다.
소유권
raw pointer는 보통 관찰자이고 해제 책임은 따로 둡니다.
접근 범위
포인터 산술은 같은 배열 안에서만 의미가 있습니다.
ptr
not null
alive
deref
포인터 값은 주소일 뿐입니다. 그 주소가 비어 있지 않고, 아직 살아 있고, 내가 접근해도 되는 대상인지 확인해야 안전합니다.
아무 대상도 없으면 역참조하지 않습니다.
지역 변수, delete된 메모리, 배열 범위를 확인합니다.
raw pointer는 보통 관찰자이고 해제 책임은 따로 둡니다.
포인터 산술은 같은 배열 안에서만 의미가 있습니다.
소유권 신호 메모리를 직접 해제해야 하는 설계라면 위험이 커집니다. 가능하면 소유자는 컨테이너나 스마트 포인터로 분명히 표현하는 편이 안전합니다.