Vínculos

Cuando se trabaja con tipos genéricos, los parámetros de tipo a menudo deben usar rasgos como vínculos para estipular qué funcionalidad implementa un tipo. Por ejemplo, el siguiente ejemplo usa el rasgo Display para imprimir y, por lo tanto, requiere que T esté delimitado por Display; es decir, T debe implementar Display.

// Define una función `impresora` que tome un tipo genérico `T` que
// debe implementar el rasgo `Display`.
fn impresora<T: Display>(t: T) {
    println!("{}", t);
}

La delimitación restringe lo genérico a los tipos que se ajustan a los límites. Eso es:

struct S<T: Display>(T);

// ¡Error! `Vec<T>` no implementa `Display`. Esta la especialización fallará.
let s = S(vec![1]);

Otro efecto del límite es que a las instancias genéricas se les permite acceder a los métodos de los rasgos especificados en los límites. Por ejemplo:

// Un rasgo que implementa el marcador de impresión: `{:?}`.
use std::fmt::Debug;

trait TieneArea {
    fn area(&self) -> f64;
}

impl TieneArea for Rectangulo {
    fn area(&self) -> f64 { self.largo * self.ancho }
}

#[derive(Debug)]
struct Rectangulo { largo: f64, ancho: f64 }
#[allow(dead_code)]
struct Triangle  { largo: f64, ancho: f64 }

// La `T` genérica debe implementar `Debug`. Sin importar el tipo, esto funcionará
// correctamente.
fn imprime_debug<T: Debug>(t: &T) {
    println!("{:?}", t);
}

// `T` must implement `TieneArea`. Any type which meets
// the bound can access `TieneArea`'s function `area`.
fn area<T: TieneArea>(t: &T) -> f64 { t.area() }

fn main() {
    let rectangulo = Rectangulo { largo: 3.0, ancho: 4.0 };
    let _triangulo = Triangle  { largo: 3.0, ancho: 4.0 };

    imprime_debug(&rectangulo);
    println!("Area: {}", area(&rectangulo));

    //imprime_debug(&_triangulo);
    //println!("Area: {}", area(&_triangulo));
    // ^ TODO: Prueba a descomentarlos.
    // | Error: No implementa ni `Debug` ni `TieneArea`.
}

Como nota adicional, las cláusulas where también se pueden usar para aplicar límites en algunos casos para ser más expresivas.

Ve también

std::fmt, structs