• 참조자를 이용하여 소유권 이동 막기

fn main() {
    let s1 = String::from("hello");

    let len = calculate_length(&s1);

    println!("The length of '{}' is {}.", s1, len);
}

fn calculate_length(s: &String) -> usize {
    s.len()
}

• 참조자가 스포크 밖으로 나와도 메모리가 반납되지 않음.

fn calculate_length(s: &String) -> usize { // s는 String의 참조자입니다
    s.len()
} // 여기서 s는 스코프 밖으로 벗어났습니다. 하지만 가리키고 있는 값에 대한 소유권이 없기
  // 때문에, 아무런 일도 발생하지 않습니다.

• 빌림(borrowing): 함수의 매개변수로 참조자를 만드는 것. 소유권을 넘기지 않으면서 참조하는 것.

가변 참조자(mutable refeences)

fn main() {
    let mut s = String::from("hello");

    change(&mut s);
}

fn change(some_string: &mut String) {
    some_string.push_str(", world");
}

• 가변 참조자는 특정 스코프 안에서 딱 한 번만 만들 수 있다.

let mut s = String::from("hello");

let r1 = &mut s;
let r2 = &mut s;

error[E0499]: cannot borrow `s` as mutable more than once at a time
 --> borrow_twice.rs:5:19
  |
4 |     let r1 = &mut s;
  |                   - first mutable borrow occurs here
5 |     let r2 = &mut s;
  |                   ^ second mutable borrow occurs here
6 | }
  | - first borrow ends here

• 이러한 제한은 *데이터 레이스(data race)*를 방지하기 위한 조치

데이터 레이스의 조건

1. 두 개 이상의 포인터가 동시에 같은 데이터에 접근한다.
2. 그 중 적어도 하나의 포인터가 데이터를 쓴다.
3. 데이터에 접근하는데 동기화를 하는 어떠한 메커니즘도 없다.