Const genericsConst generics

Помимо типового параметра дженерика можно объявить параметр-значение: struct Buffer<const N: usize> { data: [u8; N] } или самостоятельная функция fn first_n<const N: usize>(arr: &[i32]) -> [i32; N]. Канонический мотивирующий случай — [T; N] (массив фиксированного размера): до const generics стандартная библиотека и многие крейты реализовывали трейты вроде Default/Debug для массивов [T; 0] вплоть до [T; 32] вручную, макросом, потому что не было способа сказать "для любого N" обобщённо.Besides a type parameter, a generic can declare a value parameter: struct Buffer<const N: usize> { data: [u8; N] }, or a standalone function fn first_n<const N: usize>(arr: &[i32]) -> [i32; N]. The canonical motivating case is [T; N] (a fixed-size array): before const generics, the standard library and many crates implemented traits like Default/Debug for arrays [T; 0] through [T; 32] by hand, via a macro, because there was no way to say "for all N" generically.

// macro-сгенерированные повторяющиеся impl, вручную до размера 32// macro-generated repetitive impls, by hand up to size 32
impl Default for [T; 0] { /* ... *//* ... */ }
impl Default for [T; 1] { /* ... *//* ... */ }
// ... и так далее вплоть до [T; 32], "для любого N" выразить было нельзя// ... and so on up to [T; 32] — "for any N" simply wasn't expressible

struct Buffer<const N: usize> {
    data: [u8; N],
}
// Buffer<4> и Buffer<16> — генерируются из одного определения// Buffer<4> and Buffer<16> are generated from one definition

До const generics система типов не могла выразить "массив фиксированного размера N" как единое обобщённое определение:Before const generics, the type system had no way to express "a fixed-size array of generic length N" as a single generic definition:

Matrix<3, 3> и Matrix<4, 4> — действительно разные типы, а не один обобщённый тип с полем размера, известным только во время выполнения:Matrix<3, 3> and Matrix<4, 4> are genuinely distinct types, not one generic type with a runtime-known size field:

struct Matrix<const ROWS: usize, const COLS: usize> {
    data: [[f64; COLS]; ROWS],
}

let m3: Matrix<3, 3> = Matrix { data: [[0.0; 3]; 3] };
let m4: Matrix<4, 4> = Matrix { data: [[0.0; 4]; 4] };
// m3 и m4 — несовместимые типы, компилятор не даст присвоить одно другому// m3 and m4 are incompatible types — the compiler won't let one be assigned to the other

Функция тоже может быть обобщена по длине массива:A function can likewise be generic over an array's length:

fn sum_array<const N: usize>(arr: [i32; N]) -> i32 {
    arr.iter().sum()
}

sum_array([1, 2, 3]);       // N выведен как 3// N inferred as 3
sum_array([1, 2, 3, 4]); // N выведен как 4 — другая инстанциация// N inferred as 4 — a different instantiation

• The Rust Reference — Const Generics
• Rust Blog — Announcing Rust 1.51.0