[Rust 공식문서 한국어 정리] ③. The Rust Reference

[Rust 공식문서 한국어 정리] ③. The Rust Reference
원문: https://doc.rust-lang.org/reference/

#Rust #Rustlang #Reference #공식문서

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

1. 서론
The Rust Reference는 Rust 프로그래밍 언어의 1차(primary) 레퍼런스 문서입니다. 공식 스펙(specification)은 아니지만, 언어의 모든 부분에 대한 구문(syntax)과 의미(semantics)를 상세히 다루는 가장 포괄적인 기술 문서입니다. 언어에 대한 사전 지식을 전제로 하며, 입문서가 아닌 참조용 자료로서의 역할을 수행합니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

2. 핵심개념
• 언어 레퍼런스(Language Reference): 구문과 의미의 권위 있는 설명
• 비순차적 탐색(Non-sequential reading): 각 챕터는 독립적으로 읽을 수 있으며 상호 참조 제공
• Rule Identifiers: 각 언어 규칙에 고유 식별자가 부여되어 직접 링크 가능
• Edition Differences: 2015/2018/2021/2024 Edition별 동작 차이를 명시적으로 표기
• Grammar & Lexical Productions: 정형 문법(Notation)을 통해 언어의 문법 규칙을 엄밀하게 정의
• Test Linking: 규칙과 관련된 컴파일러 테스트를 직접 연결

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

3. 주요내용상세

3.1 커버리지
The Reference는 Rust 언어의 거의 모든 측면을 다룹니다:

• Lexical Structure — 토큰, 식별자, 키워드, 주석, 리터럴, 수명 라벨
• Macros — 매크로 정의, 매크로 호출, 매크로 트랜스센던스(transcendence)
• Crates & Source Files — 크레이트 구조, 모듈 계층, extern crate
• Items — 함수, 타입, 트레이트, 구현, 외부 블록, 유니언, 상수, 정적 변수
• Attributes — 컴파일러 지시어와 조걸적 컴파일(cfg)
• Statements & Expressions — 모든 문장과 표현식의 정확한 의미와 평가 순서
• Patterns — 패턴 매칭의 모든 형태와 바인딩 규칙
• Type System — 타입, 수명, 제네릭, 서브타이핑, 공변성/반공변성/불변성(variance)
• Special Types & Traits — Never 타입, Sized, Copy, Drop, Fn 트레이트 등
• Memory Model — 메모리 레이아웃, 정렬(alignment), 패딩, 크기
• Linkage — 심볼 링킹, ABI, 외부 함수 인터페이스(FFI)
• Unsafety — unsafe 블록, 함수, 트레이트, 원시 포인터, 유니언
• Concurrency — 동기화 원시 타입, 메모리 순서(memory ordering), 원자적 연산

3.2 사용법
특정 질문에 대한 답을 찾을 때는 목차에서 해당 챕터로 바로 이동하거나, 키워드 검색(s 또는 돋보기 아이콘)을 활용합니다. 예를 들어 let 문에서 생성된 임시값이 언제 드롭되는지 알고 싶다면 "temporary let"을 검색하면 Expressions 챕터의 해당 섹션으로 연결됩니다.

3.3 한계와 범위
• 표준 라이브러리 문서는 포함하지 않음 — 별도의 API 문서 참조
• rustc나 Cargo의 구체적인 도구 동작은 각각 별도의 책에서 다룸
• 불안정(unstable) 기능은 The Unstable Book에서 다룸
• 최적화 허용 범위는 명시하지 않음 — 컴파일된 프로그램은 블랙박스로 간주

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

4. 실전활용
• 언어의 미묘한 동작이나 엣지 케이스를 정확히 파악할 때
• 컴파일러 동작과 코드의 의미가 일치하지 않을 때 근거 자료로 활용
• unsafe 코드 작성 시 메모리 모델과 타입 시스템의 정확한 규칙 확인
• 크로스 에디션 호환성 문제 해결 시 Edition별 동작 차이 참조
• 언어 설계 논의나 RFC 작성 시 규범적(normative) 근거로 인용

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

5. 정리
The Rust Reference는 Rust 언어의 "진실의 원천(source of truth)"에 가장 근접한 기술 문서입니다. 입문자에게는 다소 어려울 수 있지만, 언어의 깊이 있는 이해가 필요한 중급 이상 개발자나 unsafe 코드 작성자, 언어 도구 개발자에게는 필수적인 레퍼런스입니다. The Book으로 기초를 다진 후 필요할 때마다 찾아보는 방식으로 활용하면 가장 효과적입니다.