Rust на примерах

הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Стоит отметить, что типажи Fn, FnMut и FnOnce указывают, как замыкание захватывает переменные из своей области видимости.

Смотрите также:

Fn, FnMut, и FnOnce

Как выходные параметры

Замыкания могут выступать как в качестве входных параметров, так и в качестве выходных. Однако тип анонимных замыканий по определению не известен, из-за чего для их возврата мы будем использовать impl Trait.

Для возврата замыкания мы можем использовать трейты:

   • Fn

   • FnMut

   • FnOnce

Помимо этого, должно быть использовано ключевое слово move, чтобы сигнализировать о том, что все переменные захватываются по значению. Это необходимо, так как любые захваченные по ссылке значения будут удалены после выхода из функции, оставляя недопустимые ссылки в замыкании.

fn create_fn() -> impl Fn() {

let text = "Fn".to_owned();

move || println!("a: {}", text)

}

fn create_fnmut() -> impl FnMut() {

let text = "FnMut".to_owned();

move || println!("a: {}", text)

}

fn create_fnonce() -> impl FnOnce() {

let text = "FnOnce".to_owned();

move || println!("a: {}", text)

}

fn main() {

let fn_plain = create_fn();

let mut fn_mut = create_fnmut();

let fn_once = create_fnonce();

fn_plain();

fn_mut();

fn_once();

}

הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Смотрите также:

Fn, FnMut, обобщения и impl Trait.

Примеры из библиотеки std

Этот раздел содержит несколько примеров использования замыканий из библиотеки std.

Iterator::any

Iterator::any - это функция, которая принимает итератор и возвращает true, если любой элемент удовлетворяет предикату. Иначе возвращает false. Её объявление:

pub trait Iterator {

// Тип, по которому выполняется итерирование

type Item;

// `any` принимает `&mut self`, что означает заимствование

// и изменение, но не поглощение `self`.

fn any(&mut self, f: F) -> bool where

// `FnMut` означает, что любая захваченная переменная

// может быть изменена, но не поглощена. `Self::Item`

// указывает на захват аргументов замыкания по значению.

F: FnMut(Self::Item) -> bool {}

}

fn main() {

let vec1 = vec![1, 2, 3];

let vec2 = vec![4, 5, 6];