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

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

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

struct и trait

Ассоциированные типы

Использование "ассоциированных типов" улучшает общую читаемость кода через локальное перемещение внутренних типов в типаж в качестве выходных типов. Синтаксис для объявления trait будет следующим:

#![allow(unused)]

fn main() {

// `A` и `B` определены в типаже при помощи ключевого слова `type`.

// (Обратите внимание: в данном контексте `type` отличается `type`, который

// используется в псевдонимах).

trait Contains {

type A;

type B;

// Обновлённый синтаксис для обращения к этим двум ассоциированным типам.

fn contains(&self, &Self::A, &Self::B) -> bool;

}

}

Обратите внимание, что функции, использующие trait Contains больше не требуют указания A или B:

// Без использования ассоциированных типов

fn difference(container: &C) -> i32 where

C: Contains { ... }

// С использованием ассоциированных типов

fn difference(container: &C) -> i32 { ... }

Давайте перепишем пример их предыдущего раздела с использованием ассоциированных типов:

struct Container(i32, i32);

// Типаж, который проверяет, сохранены ли 2 элемента в контейнере.

// Также он может вернуть первое или последнее значение.

trait Contains {

// Объявляем общие типы, которые будут использовать методы.

type A;

type B;

fn contains(&self, _: &Self::A, _: &Self::B) -> bool;

fn first(&self) -> i32;

fn last(&self) -> i32;

}

impl Contains for Container {

// Определяем, какими будут типы `A` и `B`. Если `входящий` тип

// `Container(i32, i32)`, тогда `выходящие` типы определяются, как

// `i32` и `i32`.

type A = i32;

type B = i32;

// `&Self::A` и `&Self::B` также будут здесь уместны.

fn contains(&self, number_1: &i32, number_2: &i32) -> bool {

(&self.0 == number_1) && (&self.1 == number_2)

}

// Берём первую цифру.

fn first(&self) -> i32 { self.0 }

// Берём последнюю цифру.

fn last(&self) -> i32 { self.1 }

}

fn difference(container: &C) -> i32 {

container.last() - container.first()

}

fn main() {

let number_1 = 3;

let number_2 = 10;

let container = Container(number_1, number_2);

println!("Содержатся ли в контейнере {} и {}: {}",

&number_1, &number_2,

container.contains(&number_1, &number_2));

println!("Первое число: {}", container.first());

println!("Последнее число: {}", container.last());