참조 유효성

라이프타임으로 참조자의 유효성 검증하기

라이프타임 명시, 대여 검사기, 함수 시그니처, 구조체의 참조 필드를 통해 참조가 유효한 범위를 표현합니다.

대여 검사기

참조가 원본보다 오래 살지 않도록 스코프를 비교합니다.

명시 문법

&'a str처럼 참조 타입에 관계 이름을 붙입니다.

함수 시그니처

반환 참조가 어떤 입력 참조와 연결되는지 드러냅니다.

구조체

참조 필드를 가진 구조체에는 라이프타임 매개변수가 필요합니다.

라이프타임 사고 순서

라이프타임 읽기 기준
원본 찾기

각 참조가 어떤 값을 빌리는지 확인합니다.

관계 표시

반환값과 입력값의 생존 관계를 시그니처에 적습니다.

범위 검증

호출 지점에서 실제 스코프가 그 관계를 만족하는지 봅니다.

라이프타임은 컴파일러를 달래는 표기가 아니라, 참조 사이의 유효성 관계를 함수 경계에 남기는 언어입니다.