답변.

문제의 역사:

러스트에서 자주 사용되는 컬렉션 중 하나는 HashMap입니다. 해시 테이블로 구현된 연관 배열입니다. 러스트 구현의 차별점은 소유권 및 메모리 안전성 규칙을 엄격하게 준수하며, 특정 조건에서만 스레드 안전성을 제공합니다.

문제:

가비지 컬렉션이 있는 다른 언어와 달리, 러스트에서 HashMap에 대한 모든 작업(추가, 검색, 수정)은 소유권 규칙을 준수해야 합니다. 예를 들어, 내용에 대한 활성 참조가 있는 상태에서 컬렉션을 변경할 수 없습니다. 또한, 삽입 시 소유권 문제가 발생합니다: 요소는 이동되거나 복사됩니다. 경쟁 접근 시 데이터 경쟁의 위험이 있습니다.

해결책:

삽입 시 키와 값은 HashMap으로 이동하거나(Copy일 경우 복사됨) 그 컬렉션의 관리 하에 남아 있습니다.
키로 검색할 때는 참조 또는 Option을 반환하며, 가변 접근은 get_mut 또는 entry API를 통해 가능합니다.
안전한 경쟁 접근을 위해 HashMap은 sync 래퍼(Mutex, RwLock)에 넣거나 크레이트의 특별한 동시 해시 맵을 사용해야 합니다.

코드 예:

use std::collections::HashMap;

fn main() {
    let mut map = HashMap::new();
    map.insert("key", 10);
    if let Some(value) = map.get_mut("key") {
        *value += 1;
    }
    println!("{:?}", map.get("key"));
}

주요 특징:

HashMap은 요소의 소유권을 전달해야 하며, 이는 생명주기와 가변성에 영향을 미칩니다.
값을 수정하거나 get_mut을 통해 검색할 때는 맵의 구조(키 삽입 또는 제거)를 변경할 수 없습니다.
기본적으로 스레드 안전하지 않으며, 추가적인 동기화가 필요합니다.

속임수 질문.

다양한 참조로 HashMap의 여러 요소에 동시에 접근할 수 있나요?

아니요, 러스트는 표준 API를 통해 이를 허용하지 않습니다: 변경을 위한 반복은 전체 HashMap에 대한 독점 참조에서만 가능합니다.

같은 요소에 대해 가변 참조와 불변 참조를 얻으려고 하면 어떻게 되나요?

컴파일러는 대출 검사기 규칙을 위반하여 오류를 발생시킵니다: 하나의 값을 가변적으로 및 불변으로 대출할 수 없습니다.

API entry()는 새로운 요소 삽입을 위해서만 작동하나요?

아니요, Entry API를 통해 기존 값을 수정하기 위한 접근도 가능합니다, 단지 삽입만을 위한 것이 아닙니다.

map.entry("key").and_modify(|v| *v += 1).or_insert(0);

일반적인 오류 및 안티 패턴

HashMap의 생명주기 밖에서 값에 대한 참조를 저장하여 dangling reference를 초래합니다.
다중 스레드 환경에서 Mutex나 RwLock 없이 동시에 수정 및 읽기를 수행합니다.
Entry API를 단지 insert의 대안으로만 잘못 사용하는 경우, 내용물에 대한 원자적 작업 수단으로 사용하지 않음.

실생활 예

부정적인 케이스

HashMap의 값에 대한 참조를 글로벌 변수로 발급하여 맵의 생명주기를 보장하지 못함.

장점:

빠른 접근 속도.

단점:

dangling reference, UB, 복잡한 디버깅 버그.

긍정적인 케이스

여러 스레드에서 사용하기 위해 HashMap을 Arc<Mutex<_>>로 래핑합니다.