Rc는 마지막 소유자가 사라질 때까지 값을 살려 둔다

여러 리스트가 같은 꼬리 리스트를 읽어야 할 때, 소유권을 이동하지 않고 참조 카운트를 늘려 공유 소유권을 표현합니다.

a · 최초 소유자Rc::new(tail)
b · 공유 소유자Rc::clone(&a)
c · 공유 소유자Rc::clone(&a)
하나의 힙 할당Cons(5, Rc<List>)strong = 3
1

a 생성

strong_count는 1입니다.

2

b 생성

Rc::clone 후 카운트는 2입니다.

3

c 생성

같은 데이터의 소유자가 하나 더 늘어 3이 됩니다.

2

c 종료

Drop이 카운트를 줄이고 데이터는 아직 유지됩니다.

해결

누가 마지막 사용자인지 컴파일 타임에 모를 때 공유 소유권을 둡니다.

비용

클론마다 카운트 갱신이 있고, 값은 카운트 0에서 정리됩니다.

Rc 한계

읽기 전용 공유입니다. 단독 변경 권한을 자동으로 만들지 않습니다.