Rust_(r12)

러스트를 배울 때 나오면 가장 때려치고 싶게 만드는 원흉. 메모리를 바로바로 해지하는 언어 특성상 소유권은 메우 중요한 계념이다.

가장 중요한 계념 중 하나는 스코프[2] 밖을 벗어나면 스코프 안에서 정의된 변수는 사용할 수 없다인데 예를들어

fn main () {
  {
    let a:u8 = 0;
  }
  println!("{a}");
}

를 실행하면 컴파일 에러가 난다.[3] 왜냐하면 스코프 안에서 선언 된 a를 밖에서 값을 조회하였기 때문이다.

또한 어떤 함수에 인자로 값을 넘기면 그 값의 소유권은 만료된다.

fn main () {
  let a = "앙되 내가 함수의 인자로 들어감으로서 이 함수로 돌아오지 못하게 되었어.";
  소유권은내것(a);
  println("{a}");
}
fn 소유권은내것 (a:&str) {
}

이를 실행해도 컴파일 에러가 나는데 a를 함수에 넘긴 다음에 사용하려 하였기 때문이다. 이럴 때는 to_owned(), clone()등을 써서 값을 복사함으로서 해결할 수 있지만[4] 더 좋은 방법이 있다.

또한 Copy trait이 구현되어있다면, 함수에 넣을 시에 자동으로 값이 복사되어서 딱히 값을 복사하거나 할 필요가 없다.

어떤 함수의 값을 넘길 때

fn main() {
  let a = "참조자를 사용함으로서 나는 여전히 살아있다고."
  소유권좀_빌려주세요(&a);
  println("{a}")
}
fn 소유권은내것 (a:&&str) {
}

이렇게 함수에 넘길 때 참조자를 사용하면 소유권을 유지할 수 있다. [5]

러스트의 난이도를 높히는 주범 포인터가 혜지된 메모리를 가리키는 것을 방지하려 만들었다.