60
Announcing Rust 1.86.0 (blog.rust-lang.org)
submitted 1 week ago by neme@lemm.ee to c/rust@programming.dev
you are viewing a single comment's thread
view the rest of the comments
[-] livingcoder@programming.dev 13 points 1 week ago* (last edited 1 week ago)

Wow, that trait feature is great. I've been eagerly waiting for that one for a long time. Thank you to everyone who made that possible.

[-] INeedMana@lemmy.world 1 points 4 days ago

If a trait has a supertrait you can coerce a reference to said trait object to a reference to a trait object of the supertrait

As someone that just started learning Rust: wha?

[-] livingcoder@programming.dev 2 points 4 days ago* (last edited 4 days ago)

Basically, you can generalize your trait types into their parent (super) traits for situations when functionality is specific to those supertrait objects.

As an example, if you have a trait CanBark and it is a super trait for the trait IsDog, you can coerce your references of &dyn IsDog into a &dyn CanBark. You can then work with other trait types that share a super trait.

trait CanBark {
    fn bark(&self);
}
trait IsSeal: CanBark { }
trait IsDog: CanBark { }

fn bark_as_group(barkers: &Vec<&dyn CanBark>) {
    for barker in barkers {
        barker.bark();
    }
}

let spot: &dyn IsDog = get_spot();
let seal: &dyn IsSeal = get_seal();
let barkers: Vec<&dyn CanBark> = Vec::new();
barkers.push(spot);  // coerced
barkers.push(seal);  // coerced
bark_as_group(&barkers);

At least, I hope this is possible now. If it's purely "you can return a coerced type from a function", that is less useful.

[-] INeedMana@lemmy.world 2 points 3 days ago

Thank you

So basically, it's like inheritance but for traits?

[-] livingcoder@programming.dev 2 points 3 days ago

Exactly. The functions of the super trait are also required when implementing the child trait's functions, as you would expect from inheritance.

this post was submitted on 03 Apr 2025
60 points (100.0% liked)

Rust

6766 readers
42 users here now

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Wormhole

!performance@programming.dev

Credits

  • The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

founded 2 years ago
MODERATORS