Generics

Una función genérica trabaja con un tipo que se decide en el sitio de la llamada, no cuando se define. T: PartialOrd + Copy restringe T a tipos que se pueden comparar y copiar — exactamente lo que largest necesita para funcionar, y nada más.

main.rs

Pruébalo tú mismo →

fn largest<T: PartialOrd + Copy>(items: &[T]) -> T {
    let mut largest = items[0];
    for &item in items {
        if item > largest {
            largest = item;
        }
    }
    largest
}

fn main() {
    let numbers = vec![10, 25, 3, 47, 8];
    println!("largest number: {}", largest(&numbers));

    let chars = vec!['y', 'm', 'a', 'q'];
    println!("largest char: {}", largest(&chars));
}

Output

largest number: 47
largest char: y

Structs genéricos

Los structs también pueden ser genéricos — Point<T> funciona con cualquier tipo T, con ambos campos compartiendo el mismo tipo. El propio bound T: std::fmt::Display del bloque impl solo se aplica a describe, así que Point en sí sigue siendo usable incluso con tipos que no se pueden mostrar (display).

main.rs

Pruébalo tú mismo →

struct Point<T> {
    x: T,
    y: T,
}

impl<T: std::fmt::Display> Point<T> {
    fn describe(&self) -> String {
        format!("({}, {})", self.x, self.y)
    }
}

fn main() {
    let int_point = Point { x: 3, y: 4 };
    let float_point = Point { x: 1.5, y: 2.5 };

    println!("{}", int_point.describe());
    println!("{}", float_point.describe());
}

Output

(3, 4)
(1.5, 2.5)

Siguiente: manejo de errores — propagar un Result con ?, y escribir un tipo de error personalizado.

Practice Exercise

Escribe una función genérica first<T: Copy>(items: &[T]) -> T que devuelva el primer elemento de un slice, luego imprime first(&[10, 20, 30]).

← Traits Manejo de Errores →