Hacker News Reader

Comment by dragonwriter | Hacker News Reader

> The ability to provide a default implementation of a function in a trait that can be inherited and used by "classes" that extend that trait.

Rust provides this. E.g., the "talk" method in the "Animal" trait below: [0]

  trait Animal {
      // Static method signature; `Self` refers to the implementor type
      fn new(name: &'static str) -> Self;

      // Instance methods, only signatures
      fn name(&self) -> &'static str;
      fn noise(&self) -> &'static str;

      // A trait can provide default method definitions
      fn talk(&self) {
          // These definitions can access other methods declared in the same
          // trait
          println!("{} says {}", self.name(), self.noise());
      }
  }

[0] From Rust By Example, http://rustbyexample.com/trait.html

View on HN

Man. The documentation did not make that clear at all. Was this added in 1.0?

A question (In C++ syntax, as I'm not a Rust programmer): How would one call Animal::talk inside Dog::talk? The obvious thing (commenting out the println and adding Animal::talk(self) ) causes infinite recursion. The other vaguely obvious thing ( Animal.talk(self); ) is a syntax error, which makes sense.

Edit: I'm referring to the code at the linked Rust By Example page.

The feature was added way before 1.0, if you're talking about the documentation, then I have no idea.

There is no way to call the overwritten `Animal::talk`.

I thought you could do this:

  Animal::talk(self);

There is no such thing as `Animal::talk`. It does not exist. `Animal::talk` is purely shorthand for `<_ as Animal>::talk`, meaning that it is a specific type’s implementation of the `talk` method. In the case of `Animal::talk(dog)` where `dog` is of type `&Dog`, the `_` can be inferred to be `Dog`, and so `Animal::talk(dog)` is equivalent to `Dog::talk(dog)` and `<Dog as Animal>::talk(dog)`.

The default implementation, if overridden, does not exist for the given type.

No, this feature has existed a long time. Here's a post from 2012 showing it's use: http://pcwalton.github.io/blog/2012/08/08/a-gentle-introduct...

`Animal::talk(self)` is shorthand for `<Self as Animal>::talk(self)` - i.e. it calls the overridden method. If you want to reuse the supertrait method, you have to implement it as a generic method outside of the trait, and call it from the default implementation:

    pub fn super_talk<T:Animal>(this: &T) {
        println!("{} says {}", this.name(), this.noise());
    }
    trait Animal {
        //...
        fn talk(&self) {
          super_talk(self)
        }
    }

Reply on news.ycombinator.com