borrow lifetime

참조는 마지막 사용 지점까지만 살아 있어 다음 대여를 막는다

공유 참조가 더 이상 쓰이지 않으면 같은 스코프 안에서도 가변 참조를 새로 만들 수 있다.

01r1, r2 생성

공유 참조 두 개는 가능

02마지막 읽기

println 이후 더 쓰지 않음

03&mut s 생성

공유 참조 사용이 끝난 뒤 가능

04수정

가변 대여 동안 다른 참조와 겹치지 않음

구분의미판단
겹침 허용여러 &T읽기 전용
겹침 금지&mut T와 &T동시 읽기/쓰기 차단
NLL마지막 사용 기준블록 끝보다 짧아질 수 있음

핵심 대여 규칙은 선언 위치보다 실제 마지막 사용 시점으로 겹침을 판단한다.