Deref Lens

Deref 강제 변환 읽기 순서

Deref는 스마트 포인터를 일반 참조처럼 다룰 수 있게 하지만, 실제로는 컴파일러가 참조 타입을 단계적으로 맞춰 주는 과정입니다.

포인터 껍질을 벗겨 필요한 참조로

기대 타입

함수나 메서드가 원하는 참조 타입을 먼저 봅니다.

현재 타입

전달한 값이 스마트 포인터인지 참조인지 구분합니다.

deref 단계

Deref::Target으로 한 단계씩 목표 타입에 가까워집니다.

가변성 확인

DerefMut은 mutable 참조 조건을 따로 만족해야 합니다.

판단 기준: 메서드 호출이나 함수 인자에서 기대 타입과 실제 타입이 다를 때 Deref 변환이 어디까지 적용되는지 추적합니다.