Learn Rust Coding · 강의

Box, Rc, Arc 스마트 포인터

힙 할당을 위한 `Box`, 공유 소유권을 위한 `Rc`, 스레드 안전한 공유 소유권을 위한 `Arc`가 데이터를 관리하는 방식을 이해합니다.

Box, Rc, Arc 스마트 포인터은(는) CoddyKit의 무료 Learn Rust Coding 강의입니다. 이것은 3개 중 1번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 Learn Rust Coding 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. Learn Rust Coding 강의에는 총 3개의 강의가 포함되어 있습니다.

스마트 포인터란 무엇인가요?

Rust의 소유권 시스템은 메모리 안전성을 잘 보장하지만, 때로는 더 많은 유연성이 필요합니다. 이때 스마트 포인터가 유용합니다!

스마트 포인터는 포인터처럼 동작하면서 추가 메타데이터와 기능도 제공하는 데이터 구조입니다. 메모리와 소유권 및 기타 자원을 자동으로 관리합니다.

Box: 힙에 데이터 저장하기

가장 단순한 스마트 포인터는 Box<T>입니다. 이를 사용하면 데이터를 스택 대신 힙에 저장할 수 있습니다.

스택: 빠르고 크기가 고정된 데이터입니다.
힙: 더 느리지만 크기가 유연하며 실행 중에 할당되는 데이터입니다.

값을 Box에 넣으면 Box 자체는 스택에 있지만, 가리키는 데이터는 힙에 저장됩니다.

Box를 사용한 힙 할당

Box가 데이터를 힙으로 이동하는 방식을 살펴보겠습니다. 이는 데이터가 크거나 컴파일 시점에 크기를 알 수 없을 때 유용합니다.

이 코드를 실행하여 값이 박싱되는 모습을 확인해 보세요.

fn main() {
  let x = 5; // x is on the stack
  let boxed_x = Box::new(x); // x's value is moved to the heap, boxed_x is on stack
  println!("Value on stack: {}", x);
  println!("Value in Box (on heap): {}", *boxed_x); // Dereference to get value
}

Box가 유용한 경우

다음과 같은 상황에서 Box<T>를 사용할 수 있습니다.

컴파일 시점에 크기를 알 수 없는 타입을, 크기가 알려진 고정된 공간에 저장해야 할 때입니다.
데이터를 복사하지 않고 큰 데이터를 소유권과 함께 이동하고 싶을 때입니다.
트레이트 객체를 소유하고 싶을 때입니다(예: Box<dyn Trait>).

Rc: 여러 소유자(단일 스레드)

Rust의 소유권 규칙에 따르면 값에는 일반적으로 소유자가 하나만 있습니다. 하지만 프로그램의 여러 부분에서 같은 데이터를 함께 '소유'해야 한다면 어떻게 해야 할까요?

Rc<T>, 즉 참조 카운트 방식은 단일 스레드 환경에서 여러 소유자가 데이터를 공유하도록 합니다. 데이터에 연결된 참조의 개수를 추적합니다.

카운트가 0이 되면 데이터가 정리됩니다.

Rc로 데이터 공유하기

Rc::clone()은 참조 카운트를 증가시킵니다. 이는 깊은 복사가 아니라 같은 데이터를 가리키는 포인터를 하나 더 만드는 작업입니다.

데이터가 공유되고 서로 다른 '소유자'를 통해 해당 값에 접근할 수 있다는 점에 주목하세요.

use std::rc::Rc;

fn main() {
  let value = Rc::new(String::from("Shared String"));
  println!("Count after creation: {}", Rc::strong_count(&value));

  let value_clone_a = Rc::clone(&value); // Increment count
  println!("Count after clone A: {}", Rc::strong_count(&value));

  {
    let value_clone_b = Rc::clone(&value); // Increment count
    println!("Count after clone B: {}", Rc::strong_count(&value));
    println!("Data from A: {}", value_clone_a);
    println!("Data from B: {}", value_clone_b);
  } // value_clone_b goes out of scope, count decreases

  println!("Count after B goes out of scope: {}", Rc::strong_count(&value));
}

Arc: 공유 소유권(멀티스레드)

Rc<T>는 단일 스레드 애플리케이션에서 잘 작동합니다. 하지만 여러 스레드 사이에서 데이터를 공유해야 한다면 Rc<T>는 안전하지 않습니다.

Arc<T>, 즉 원자적 참조 카운트 방식은 Rc<T>의 스레드 안전 버전입니다. 원자적 연산으로 참조 카운트를 갱신하여 여러 스레드에서 안전하게 사용할 수 있도록 합니다.

Arc는 원자적 연산 때문에 Rc보다 성능 오버헤드가 약간 큽니다.

Arc로 여러 스레드에서 데이터 공유하기

이 예제에서는 Arc를 사용하여 여러 스레드가 같은 공유 데이터에 안전하게 접근하고 읽는 방법을 보여 줍니다. 각 스레드는 자체 `Arc` 복제본을 얻습니다.

주 스레드는 생성된 모든 스레드가 완료될 때까지 기다립니다.

use std::sync::Arc;
use std::thread;

fn main() {
  let data = Arc::new(vec![1, 2, 3, 4, 5]);
  let mut handles = vec![];

  for i in 0..3 {
    let data_clone = Arc::clone(&data); // Clone Arc for each thread
    let handle = thread::spawn(move || {
      println!("Thread {} has data: {:?}", i, *data_clone);
    });
    handles.push(handle);
  }

  for handle in handles {
    handle.join().unwrap();
  }
  println!("All threads finished.");
}

Box, Rc, Arc 중 무엇을 사용할까요?

적절한 스마트 포인터는 필요한 작업에 따라 선택합니다.

Box<T>: 데이터를 힙에 저장해야 할 때 사용하며, 일반적으로 단일 소유권을 사용하거나 재귀적 타입을 다룰 때 적합합니다.
Rc<T>: 단일 스레드 환경에서 여러 소유자가 데이터를 공유해야 할 때 사용합니다.
Arc<T>: 멀티스레드(동시 실행) 환경에서 여러 소유자가 데이터를 공유해야 할 때 사용합니다.

스레드 안전성이 필요하지 않다면 항상 Box 또는 Rc를 우선 사용하세요. Arc에는 성능 비용이 있기 때문입니다.

스마트 포인터 확인

큰 이미지 파일을 힙에 저장해야 하며, 프로그램의 한 부분만 이를 소유하고 관리한다고 가정해 보세요. 어떤 스마트 포인터를 사용해야 할까요?

복습: 스마트 포인터

이번 학습에서는 Rust의 기본 스마트 포인터 세 가지를 배웠습니다.

Box<T>: 단일 소유권으로 데이터를 힙에 할당할 때 사용합니다.
Rc<T>: 단일 스레드 환경에서 여러 소유자가 데이터를 공유할 수 있도록 합니다.
Arc<T>: 멀티스레드 환경에서 여러 스레드에서 안전하게 데이터를 공유하는 여러 소유자를 지원합니다.

이러한 스마트 포인터를 사용하면 Rust의 안전성 보장을 유지하면서 메모리 관리를 더 세밀하게 제어할 수 있습니다.

자주 묻는 질문

“Box, Rc, Arc 스마트 포인터” 강의는 무료인가요?

네 — “Box, Rc, Arc 스마트 포인터” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 Learn Rust Coding 강의 전체를 잠금 해제할 수 있습니다. Learn Rust Coding 강의에는 총 3개의 강의가 포함되어 있습니다.

“Box, Rc, Arc 스마트 포인터”에서 뭘 배우나요?

힙 할당을 위한 `Box`, 공유 소유권을 위한 `Rc`, 스레드 안전한 공유 소유권을 위한 `Arc`가 데이터를 관리하는 방식을 이해합니다. 브라우저에서 직접 실행하는 실습 코드로 Learn Rust Coding을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.

Learn Rust Coding을(를) 시작하는 데 경험이 필요한가요?

사전 경험은 필요하지 않습니다. CoddyKit의 Learn Rust Coding은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 3개 중 1번째 강의입니다.

“Box, Rc, Arc 스마트 포인터” 강의는 얼마나 걸리나요?

대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.

이 Learn Rust Coding 강의에서 코드를 작성하고 실행할 수 있나요?

네. 모든 Learn Rust Coding 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.

이 강의의 모든 강의

← Learn Rust Coding(으)로 돌아가기