18. C++ 개발자를 위한 Rust 시맨틱 심층 분석 🔴

학습 목표:

C++와 Rust의 철학적 차이가 실제 코드 시맨틱(Semantics)에 미치는 영향을 분석합니다.

C++의 복잡한 캐스팅, 전처리기, 상속 계층, SFINAE 등이 Rust에서 어떤 안전하고 명확한 기능으로 대체되었는지 마스터합니다.

STL 컨테이너와 표준 기능들의 Rust 대응물을 정확히 매핑하여 익힙니다.

1. 캐스팅 시스템의 전면 재설계

C++의 4가지 캐스트 연산자는 Rust에서 더 구체적이고 안전한 메커니즘으로 분화되었습니다.

C++ 캐스트	Rust 대응물	특징 및 차이점
`static_cast` (숫자)	`as` / `From` / `Into`	`as`는 절단 위험이 있으나 `Into`는 안전함 보장
`dynamic_cast`	열거형 `match` / `Any`	런타임 실패 위험 없이 컴파일 타임에 타입 확인
`const_cast`	대응물 없음	대신 `Cell<T>`나 `RefCell<T>`로 내부 가변성 구현
`reinterpret_cast`	`std::mem::transmute`	`unsafe` 영역. 비트 패턴을 직접 재해석 (최후의 수단)

#![allow(unused)]
fn main() {
// [실전 예시] 안전한 타입 변환의 정석
let val: u32 = 42_u8.into();              // 1. 안전한 확장 변환 (적극 권장)
let truncated = 1000_u32 as u8;           // 2. 강제 변환 (데이터 손실/Overflow 발생 가능)
let safe: Result<u8, _> = 1000_u32.try_into(); // 3. 실패 가능성을 염두에 둔 안전한 변환
}

2. 전처리기(`Preprocessor`)의 진화

C++ 전처리기의 단순 텍스트 치환 방식은 Rust에서 타입 안전한 구조적 기능들로 대체되었습니다.

#define 상수 → const / static: 타입과 스코프가 명확하며 디버거가 해당 값을 인식합니다.
#ifdef → #[cfg] / cargo features: 컴파일 조건이 코드와 격리되지 않고 언어의 속성(Attribute)으로 체계적으로 관리됩니다.
#define 매크로 → macro_rules!: 단순 치환이 아닌 구문 트리(AST) 수준에서 작동하여 '위생(Hygienic)' 문제를 방축하고 타입 안전성을 유지합니다.

3. 헤더 파일에서 모듈 구조로

Rust에는 헤더 파일(.h)과 정의부(.cpp)를 억지로 분리할 필요가 없습니다.

C++: 텍스트 포함 방식(#include). 순환 참조 방지를 위해 #pragma once나 인클루드 가드가 필수입니다.
Rust: 모듈 시스템. 컴파일러가 크라이트 전체를 분석하므로 선언 순서가 자유롭고, 모듈 단위로 정교한 접근 제어(pub, pub(crate))가 가능합니다.

4. `std::function` vs Rust 클로저 트레이트

C++의 std::function은 편리하지만 힙 할당과 타입 소거(Type Erasure) 부하가 있습니다. Rust는 상황에 맞춰 최적의 선택지를 제공합니다.

fn(T) -> R: 상태를 캡처하지 않는 순수 함수 포인터 (가장 가벼움).
impl Fn(T) -> R: 제네릭을 이용한 정적 디스패치. 템플릿처럼 타입별로 구체화되어 고성능을 냅니다.
Box<dyn Fn(T) -> R>: 동적 디스패치. C++의 std::function과 가장 유사하며 힙 할당이 발생합니다.

5. STL 컨테이너 매핑 가이드

C++ STL	Rust 컬렉션	핵심 차이점
`std::vector`	`Vec<T>`	기본적으로 범위 검사 수행, 소유권 이동이 기본
`std::map`	`BTreeMap`	B-Tree 기반 정렬 맵 (캐시 효율성 증대)
`std::unordered_map`	`HashMap`	보안이 강화된 해시 함수 사용 (DoS 공격 방어)
`std::string`	`String`	항상 유효한 UTF-8이어야 함
`std::string_view`	`&str`	빌림 검사기가 수명을 보장하는 안전한 참조 뷰

📌 마이그레이션 핵심 전략

구조체부터 설계하세요: 데이터의 소유권(Owner)을 확정하는 것이 성공적인 전환의 시작입니다.
상속보다는 조합(Composition)을 선택하세요: 복잡한 클래스 계층은 enum과 trait으로 훨씬 단순화할 수 있습니다.
에러는 실패가 아닌 '값'입니다: try-catch 대신 Result를 통해 에러 처리 경로를 명시적으로 설계하세요.

Keyboard shortcuts

Rust for C/C++ Programmers