Дженерики и функции

Обобщенные позволяют писать гибкий код многократного использования, избегая дублирования логики для разных типов данных. Вместо определения нескольких функций или структур для разных типов (например, i32, f64 или String) мы можем использовать параметр универсального типа, обычно обозначаемый буквой T.

Компилятор Rust управляет дженериками с помощью процесса, называемого мономорфизацией: во время компиляции он генерирует копию дженерика для каждого конкретного типа, который фактически используется. Это означает, что накладные расходы на производительность во время выполнения нулевые.

Общие функции

Чтобы определить общую функцию, мы вставляем параметр типа <T> сразу после имени функции и перед списком аргументов:

fn print_value<T: std::fmt::Debug>(value: T) {
    println!("Value: {:?}", value);
}

В универсальных функциях мы можем использовать универсальный тип T как для типов аргументов, так и для типов возвращаемых значений:

fn identity<T>(value: T) -> T {
    value
}

Общие структуры

Мы также можем использовать параметры универсального типа внутри структур (struct) для определения гибких полей:

struct KeyValuePair<K, V> {
    key: K,
    value: V,
}

fn main() {
    let pair = KeyValuePair {
        key: String::from("age"),
        value: 30,
    };
}

В блоке impl для универсальной структуры мы должны объявить параметр типа <T> сразу после ключевого слова impl, чтобы указать, что мы реализуем методы в универсальной структуре:

struct Container<T> {
    value: T,
}

impl<T> Container<T> {
    fn new(value: T) -> Self {
        Container { value }
    }

    fn value(&self) -> &T {
        &self.value
    }
}

Попробуйте сами

Упражнение 1: Структура Point

Упражнение 2. Реверсирование кортежа с помощью swap

Упражнение 3. Структура контейнера