여러 곳에서 읽을 수 있지만 값을 바꾸지 않습니다.
참조, 가변 참조, 댕글링 참조 방지를 통해 소유권을 넘기지 않고 값에 접근하는 방법을 배웁니다.
여러 곳에서 읽을 수 있지만 값을 바꾸지 않습니다.
한 번에 하나만 허용되어 수정 권한이 겹치지 않습니다.
참조가 마지막으로 쓰이는 지점까지 빌림이 유지됩니다.
사라진 값의 주소를 반환하지 못하도록 컴파일 단계에서 막습니다.
함수나 블록이 값을 소유하지 않고 참조만 받는지 봅니다.
읽기 참조와 수정 참조가 겹치는지 확인합니다.
참조가 원래 값보다 오래 살지 않는지 검토합니다.
참조와 대여는 값을 넘기지 않고 협업하는 방법이며, 컴파일러는 그 협업 범위를 정확히 확인합니다.