Rust-замыкания с обобщенными ограничениями

RustRustBeginner
Практиковаться сейчас

This tutorial is from open-source community. Access the source code

💡 Этот учебник переведен с английского с помощью ИИ. Чтобы просмотреть оригинал, вы можете перейти на английский оригинал

Введение

В этом лабе объясняется, что в Rust замыкания используют анонимность типа, что требует использования обобщений при использовании замыканий в качестве параметров функции.

Примечание: Если в лабе не указано имя файла, вы можете использовать любое имя файла, которое хотите. Например, вы можете использовать main.rs, скомпилировать и запустить его с помощью rustc main.rs &&./main.


Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99325{{"Rust-замыкания с обобщенными ограничениями"}} rust/function_syntax -.-> lab-99325{{"Rust-замыкания с обобщенными ограничениями"}} rust/expressions_statements -.-> lab-99325{{"Rust-замыкания с обобщенными ограничениями"}} rust/operator_overloading -.-> lab-99325{{"Rust-замыкания с обобщенными ограничениями"}} end

Анонимность типа

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

// `F` должен быть обобщенным.
fn apply<F>(f: F) where
    F: FnOnce() {
    f();
}

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

Поскольку этот новый тип имеет неизвестный тип, любое использование в функции будет требовать обобщений. Однако, неограниченный параметр типа <T> по-прежнему будет неоднозначным и не будет допускаться. Таким образом, ограничение одним из трейтов: Fn, FnMut или FnOnce (который он реализует) достаточно для указания его типа.

// `F` должен реализовывать `Fn` для замыкания, которое не
// принимает входных параметров и не возвращает ничего - именно то,
// что требуется для `print`.
fn apply<F>(f: F) where
    F: Fn() {
    f();
}

fn main() {
    let x = 7;

    // Захватить `x` в анонимный тип и реализовать для него
    // `Fn`. Сохранить его в `print`.
    let print = || println!("{}", x);

    apply(print);
}

Резюме

Поздравляем! Вы завершили лабу по Анонимности типа. Вы можете практиковаться в более лабах в LabEx, чтобы улучшить свои навыки.