Rust의 Vec::drain: Drop을 활용한 안전성 확보
2024-12-16
이 글에서는 Rust의 Vec::drain 메서드와 그 Drop 구현을 자세히 살펴보고, 소유권이 어떻게 미묘한 버그(메모리 관련 버그 등)를 방지하는지 보여줍니다. Vec::drain은 원본 벡터에 대한 가변 참조를 유지하고 원본 저장소만 읽고 쓰는 방식으로 성능을 최적화합니다. 중요한 점은 Drain 구조체의 Drop 구현으로, DropGuard를 사용하여 이터레이터가 중간에 삭제되더라도 남은 요소들을 안전하게 원본 벡터로 되돌림으로써 메모리 안전성을 보장하는 것입니다. 이 글에서는 Drain과 DropGuard 구현의 세부 사항을 철저히 설명하고, 제로 사이즈 타입이나 포인터 provenance와 같은 특수한 경우도 다룹니다.
더 보기
개발