답변

러스트에는 두 가지 주요 참조 유형이 있습니다:

불변 참조 (&T): 읽기 전용 액세스를 제공합니다.
가변 참조 (&mut T): 참조하는 값 변경을 허용합니다.

규칙:

동시에 불변 참조는 여러 개 사용할 수 있지만, 가변 참조는 오직 하나만 사용할 수 있고 같은 범위에서 섞일 수 없습니다.
참조는 생애 주기(lifetime)를 가지며, 이는 컴파일 단계에서 분석됩니다.

구문 예제:

fn read(val: &i32) {
   println!("{}", val);
}

fn write(val: &mut i32) {
   *val += 1;
}

let mut x = 5;
read(&x);
write(&mut x);

함정 질문

질문: 하나의 함수 내에서 서로 다른 범위에 두 개의 가변 참조를 생성할 수 있나요?

답변: 아닙니다, 참조가 서로 다른 블록에서 생성된다 하더라도, 대여 검사 분석을 위한 범위는 전체 함수 또는 변수에 걸쳐 포함되므로, 컴파일러가 참조가 교차하지 않는다는 것을 증명할 수 없으면 오류가 발생합니다. 이는 종종 컴파일 오류로 이어집니다:

let mut x = 10;
let r1 = &mut x;
{
    let r2 = &mut x; // 오류!
}

주제에 대한 세부 사항 부족으로 인한 실제 오류 예

이야기

파서 개발 중에 개발자는 읽기 및 쓰기를 최적화하기 위해 하나의 버퍼에 대해 가변 참조와 불변 참조를 동시에 유지하려 했습니다. 결과적으로 코드는 컴파일되지 않았고, "안전하지 않은" 방법으로 규칙을 우회한 후 데이터 유출 버그가 발생했습니다.

이야기

데이터 처리 프로젝트가 시작되었을 때, 팀원 중 한 명이 중첩된 범위의 복잡한 코드에 대해 "reanalyze borrow checker"를 수행하지 않았습니다. 결과적으로 참조가 교차하면서 전형적인 "cannot borrow as mutable because it's also borrowed as immutable" 오류가 발생했으며, 원본 코드에서 문제의 위치가 명시되지 않았습니다.

이야기

멀티스레드 코드에서 공유 데이터에 액세스하기 위해 일반 참조를 사용했습니다. 병렬 스레드에서 데이터를 변경하려고 할 때, 예상치 못한 컴파일 오류와 데이터 경합이 발생했으며, 안전하지 않은 코드를 통해 borrow checker를 우회하면서 문제가 발생했습니다.