[Rust 공식문서 한국어 정리] ㊱. Rust 상수 제네릭(Const Generics) 가이드

[Rust 공식문서 한국어 정리] ㊱. Rust 상수 제네릭(Const Generics) 가이드

원문 제목: Const Generics — The Rust Reference
작성자: Rust Language Team

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📌 1. 서론 — 이 문서가 다루는 내용
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

이 문서는 Rust의 상수 제네릭(Const Generics) 기능을 사용해 컴파일 타임 상수를 타입 매개변수로 활용하는 방법을 설명합니다.
고정 크기 배열, 정적 버퍼, 상태 기계 등에서 타입 시스템으로 크기나 설정값을 표현하는 기법을 다룹니다.
const N: usize와 같은 구문을 사용하여, 런타임 오버헤드 없이 타입 수준에서 상수를 다루는 방법을 중심으로 설명합니다.
제네릭 타입과 제네릭 상수를 조합하여 타입 안전한 저수준 코드를 작성하는 고급 주제입니다.
성능이 중요한 시스템 프로그래밍이나 임베디드 개발에서 특히 유용한 기능입니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
🔑 2. 핵심 개념 4가지
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

① Const Generic Parameter: 타입 매개변수 대신 상수 값을 받는 제네릭 매개변수입니다.
② Array Types: [T; N]에서 N이 바로 const generic의 대표적인 사용 예시입니다.
③ Const Expression: const generic 인자로는 const 평가 가능한 표현식만 사용할 수 있습니다.
④ Const Generic Defaults: 기본값을 제공하여 호환성을 유지하면서 기능을 확장할 수 있습니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
📖 3. 주요 내용 상세
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

상수 제네릭은 타입 매개변수 목록에서 const 키워드로 선언합니다.
struct Buffer<T, const N: usize> { data: [T; N] } 형태로, N은 컴파일 타임에 결정되는 usize 값입니다.
이를 통해 런타임에 크기를 동적으로 할당하지 않고도, 다양한 크기의 버퍼 타입을 생성할 수 있습니다.

const generic을 사용하면 배열 관련 연산의 타입 안전성을 높일 수 있습니다.
기존에는 [T; 3]과 [T; 4]가 서로 다른 타입이었지만, 제네릭 함수로는 이를 통일할 수 없었습니다.
const generic이 도입되면서 fn process<const N: usize>(arr: [i32; N])처럼 임의 크기 배열을 받을 수 있게 되었습니다.

const generic 매개변수는 정수, 부울, 문자 타입을 지원합니다.
const N: usize, const B: bool, const C: char 형태로 사용할 수 있으며, 향후 더 많은 타입이 지원될 예정입니다.
const 평가가 가능한 표현식만 인자로 전달할 수 있으며, 런타임 변수는 사용할 수 없습니다.

제약 조건(where 절)에서도 const generic을 활용할 수 있습니다.
where [T; N]: Sized 같은 조건을 걸거나, const generic 간의 관계를 명시할 수 있습니다.
다만 const generic의 완전한 일반화와 복잡한 const 표현식 지원은 아직 진행 중인 영역입니다.

실전에서는 행렬 타입, 고정 크기 링 버퍼, 컴파일 타임 설정값 등에 상수 제네릭을 적용합니다.
std::array::from_fn이나 고차원 배열 라이브러리(nalgebra 등)가 이 기능을 적극 활용합니다.
런타임 할당을 피하고 스택에 고정 크기 데이터를 배치해야 하는 임베디드 환경에서 특히 가치가 큽니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
🛠 4. 실전 활용
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

고정 크기 행렬 타입 Matrix<T, const R: usize, const C: usize>를 정의하여 컴파일 타임 차원 검증을 수행합니다.
임베디드에서 [u8; 64]와 같은 다양한 크기의 패킷 버퍼 타입을 제네릭 함수로 통일 처리합니다.
상수 제네릭과 const fn을 조합하여 런타임 오버헤드 없는 룩업 테이블을 생성합니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
✅ 5. 정리
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

상수 제네릭은 컴파일 타임 상수를 타입 시스템에 통합하여 타입 안전성과 성능을 동시에 확보합니다.
배열, 버퍼, 정적 설정값 등에서 기존의 매크로나 복잡한 타입 계층을 대체할 수 있습니다.
Rust의 타입 시스템이 런타임 영역까지 확장되는 중요한 진화입니다.

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
🔗 출처 링크
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

원문: https://doc.rust-lang.org/reference/items/generics.html#const-generics
Rust RFC: https://rust-lang.github.io/rfcs/2000-const-generics.html

#Rust #ConstGenerics #Generics #Arrays #CompileTime #TypeSystem #번역