// Поскольку `i32` не является обобщённым типом, эта функция

// также не является обобщённой.

fn gen_spec_i32(_s: SGen) {}

// Объявляем функцию `generic`, которая принимает аргумент `_s` типа `SGen`.

// Поскольку `SGen` предшествует ``, эта функция

// является обобщённой над `T`.

fn generic(_s: SGen) {}

fn main() {

// Используем не обобщённые функции.

reg_fn(S(A)); // Конкретный тип.

gen_spec_t(SGen(A)); // Неявно определён тип параметра `A`.

gen_spec_i32(SGen(6)); // Неявно определён тип параметра `i32`.

// Явно определён тип параметра `char` в `generic()`.

generic::(SGen('a'));

// Неявно определён параметр типа `char` в `generic()`.

generic(SGen('c'));

}

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

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

<p id="Смотрите_также_32"><strong><a l:href="#Смотрите_также_32">Смотрите также:</a></strong></p>

Функции и структуры

<p id="Реализация"><strong><a l:href="#Реализация">Реализация</a></strong></p>

Подобно функциям, реализации требуют выполнения некоторых условий, чтобы оставаться обобщёнными.

#![allow(unused)]

fn main() {

struct S; // Конкретный тип `S`

struct GenericVal(T); // Обобщенный тип `GenericVal`

// Реализация GenericVal, где мы явно указываем типы данных параметров:

impl GenericVal {} // Указываем тип `f32`

impl GenericVal {} // Указываем тип `S`, который мы определили выше

// `` должен указываться перед типом, чтобы оставаться обобщённым

impl GenericVal {}

}

struct Val {

val: f64,

}

struct GenVal {

gen_val: T,

}

// Реализация Val

impl Val {

fn value(&self) -> &f64 {

&self.val

}

}

// Реализация GenVal для обобщённого типа `T`

impl GenVal {

fn value(&self) -> &T {

&self.gen_val

}

}

fn main() {

let x = Val { val: 3.0 };

let y = GenVal { gen_val: 3i32 };

println!("{}, {}", x.value(), y.value());

}

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

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

<p id="Смотрите_также_33"><strong><a l:href="#Смотрите_также_33">Смотрите также:</a></strong></p>

Функции, возвращающие ссылки, impl и struct

<p id="Типажи"><strong><a l:href="#Типажи">Типажи</a></strong></p>
Перейти на страницу:

Похожие книги