RUST · UNSAFE

위험한 지점은 작게, 안전한 경계는 크게

`unsafe`는 컴파일러가 증명하지 못하는 부분만 표시하고, 호출자는 안전한 함수와 타입을 통해 사용하게 만드는 도구입니다.

isolate first

필요한 이유 확인

원시 포인터 역참조, FFI 호출, 가변 정적 변수처럼 안전 규칙을 컴파일러가 직접 확인하지 못하는지 먼저 판단합니다.

어떤 주소가 유효해야 하는지, 별칭과 수명 조건이 무엇인지 코드 주변에서 바로 읽히게 둡니다.

검사를 마친 뒤에는 unsafe 블록을 작은 구현 안에 숨기고 안전한 함수로 노출합니다.

1. 경계 찾기안전 검사가 끊기는 최소 지점을 표시합니다.

2. 조건 검사널, 범위, 별칭, 스레드 접근 조건을 확인합니다.

3. 래퍼 작성호출자가 지켜야 할 규칙을 타입과 함수에 반영합니다.

4. 사용면 축소나머지 코드는 평범한 안전한 러스트로 유지합니다.