Objetos trait y dyn
Despacho dinámico
Objetos trait y dyn es una lección gratuita de Learn Rust Coding en CoddyKit. Esta es la lección 2 de 4. Puedes leer la lección completa abajo gratuitamente — luego la practicas en el navegador con un editor de código integrado y un tutor de IA 24/7. Forma parte de la ruta de aprendizaje de Learn Rust Coding, y tu progreso se sincroniza en la web y la app de CoddyKit. El curso de Learn Rust Coding incluye 4 lecciones en total.
El problema: tipos mezclados
Los genéricos con restricciones de traits funcionan muy bien cuando cada llamada usa un único tipo concreto. Pero ¿qué ocurre si quiere una colección de tipos distintos que compartan un trait? Los genéricos no pueden contener una mezcla de tipos.
Los objetos de trait resuelven este problema.
¿Qué es un objeto de trait?
Un objeto de trait es un valor al que se hace referencia mediante un puntero junto con la palabra clave dyn, como &dyn Trait o Box<dyn Trait>.
Permite tratar muchos tipos concretos de forma uniforme durante la ejecución.
Un Box de dyn Trait
Box<dyn Trait> posee en el heap un valor de algún tipo que implementa el trait. Puede llamar a los métodos del trait sin conocer el tipo concreto.
trait Speak { fn say(&self) -> String; }
struct Dog;
impl Speak for Dog { fn say(&self) -> String { String::from("Woof") } }
fn main() {
let animal: Box<dyn Speak> = Box::new(Dog);
println!("{}", animal.say());
}Un Vec de objetos de trait
La gran ventaja es que un solo vector puede contener muchos tipos distintos, siempre que cada uno implemente el trait.
trait Speak { fn say(&self) -> String; }
struct Dog;
struct Cat;
impl Speak for Dog { fn say(&self) -> String { String::from("Woof") } }
impl Speak for Cat { fn say(&self) -> String { String::from("Meow") } }
fn main() {
let zoo: Vec<Box<dyn Speak>> = vec![Box::new(Dog), Box::new(Cat)];
for animal in &zoo {
println!("{}", animal.say());
}
}Despacho dinámico
Con los objetos de trait, el método que se debe llamar se elige durante la ejecución consultando una tabla oculta, la vtable. Esto se denomina despacho dinámico.
El coste es una pequeña indirección; la ventaja es la flexibilidad durante la ejecución.
Funciones que devuelven objetos de trait
Una función puede devolver Box<dyn Trait> cuando el tipo concreto varía. Esto resulta útil para funciones de fábrica que deciden el tipo durante la ejecución.
trait Speak { fn say(&self) -> String; }
struct Dog;
struct Cat;
impl Speak for Dog { fn say(&self) -> String { String::from("Woof") } }
impl Speak for Cat { fn say(&self) -> String { String::from("Meow") } }
fn make(kind: &str) -> Box<dyn Speak> {
if kind == "dog" { Box::new(Dog) } else { Box::new(Cat) }
}
fn main() {
println!("{}", make("cat").say());
}Objetos de trait prestados
También puede pasar un objeto de trait prestado con &dyn Trait cuando no necesita la propiedad. No se realiza ninguna asignación en el heap.
trait Speak { fn say(&self) -> String; }
struct Dog;
impl Speak for Dog { fn say(&self) -> String { String::from("Woof") } }
fn announce(s: &dyn Speak) {
println!("heard: {}", s.say());
}
fn main() {
let d = Dog;
announce(&d);
}Seguridad para objetos
No todos los traits pueden usarse como objetos de trait. Un trait debe ser seguro para objetos: en términos generales, sus métodos no pueden devolver Self por valor ni usar parámetros de tipo genéricos.
Los métodos que reciben &self y usan tipos concretos no presentan problema.
Un ejemplo no seguro para objetos
Un trait con un método que devuelve Self no puede usarse como dyn, porque el tamaño de Self se desconoce detrás de un puntero. Mantenga sencillos los traits destinados a objetos.
Un ejemplo al estilo de un sistema de plugins
Los objetos de trait son ideales para los sistemas de plugins: almacene una lista de controladores detrás de dyn y ejecútelos todos sin preocuparse por sus tipos concretos.
trait Task { fn run(&self) -> i32; }
struct Add { a: i32, b: i32 }
struct Negate { x: i32 }
impl Task for Add { fn run(&self) -> i32 { self.a + self.b } }
impl Task for Negate { fn run(&self) -> i32 { -self.x } }
fn main() {
let tasks: Vec<Box<dyn Task>> = vec![Box::new(Add { a: 2, b: 3 }), Box::new(Negate { x: 7 })];
let total: i32 = tasks.iter().map(|t| t.run()).sum();
println!("total {}", total);
}Cuándo recurrir a dyn
Use objetos de trait cuando necesite colecciones heterogéneas, tipos elegidos durante la ejecución o reducir el aumento de código producido por muchas instanciaciones genéricas.
En los demás casos, prefiera los genéricos para obtener la máxima velocidad.
Comprobación rápida
Compruebe cuánto entiende los objetos de trait.
Resumen
Ha aprendido el despacho dinámico:
- Los objetos de trait usan
dyndetrás de un puntero (Box<dyn T>,&dyn T) - Permiten colecciones heterogéneas y tipos elegidos durante la ejecución
- Las llamadas a métodos pasan por una vtable (despacho dinámico)
- Los traits deben ser seguros para objetos para poder usarse de este modo
Preguntas frecuentes
¿La lección «Objetos trait y dyn» es gratis?
Sí — el texto completo de «Objetos trait y dyn» es gratis para leer aquí en la web. Para practicarla de forma interactiva (editor de código integrado y tutor de IA 24/7) y desbloquear el resto del curso de Learn Rust Coding, actualiza a CoddyKit PRO. El curso de Learn Rust Coding incluye 4 lecciones en total.
¿Qué aprenderé en «Objetos trait y dyn»?
Despacho dinámico Practicas Learn Rust Coding con código real que ejecutas directamente en el navegador, y un tutor de IA 24/7 responde tus preguntas mientras trabajas en la lección.
¿Necesito experiencia previa para empezar Learn Rust Coding?
No se requiere experiencia previa. Learn Rust Coding en CoddyKit está estructurado para principiantes hasta estudiantes avanzados, así que puedes empezar aquí o desde el inicio y avanzar a tu ritmo. Esta es la lección 2 de 4.
¿Cuánto tiempo toma la lección «Objetos trait y dyn»?
La mayoría de las lecciones de CoddyKit toman alrededor de 5–10 minutos. Cada una es compacta e interactiva, así que avanzas constantemente y retomas exactamente por donde dejaste en la web y la app.
¿Puedo escribir y ejecutar código en esta lección de Learn Rust Coding?
Sí. Cada lección de Learn Rust Coding incluye un editor de código integrado, así que escribes y ejecutas código real directamente en tu navegador y obtienes retroalimentación instantánea de IA — sin configuración local necesaria.