라이프타임 영역과 댕글링 방지 구조
borrow checker
owner scope값이 실제로 살아 있는 구간
borrow scope참조가 사용되는 구간
compare참조가 owner보다 길면 거부
annotate함수 경계는 lifetime 관계를 명시
owner scope→borrow scope→compare→annotate
라이프타임 영역과 댕글링 방지 기준
점검
댕글링 방지해제된 값을 가리키는 참조가 반환되지 않도록 막습니다.
함수 반환반환 참조는 입력 중 어떤 값과 연결되는지 설명해야 합니다.
생략 규칙단일 입력 패턴은 컴파일러가 lifetime을 추론합니다.
제약 표현lifetime 표기는 수명을 늘리는 문법이 아니라 관계를
설명합니다.