#[固有]

此crate提供了一个属性宏，使trait方法在trait范围内也可调用。

[dependencies]
inherent = "1.0"

示例

mod types {
    use inherent::inherent;

    trait Trait {
        fn f(self);
    }

    pub struct Struct;

    #[inherent]
    impl Trait for Struct {
        pub fn f(self) {}
    }
}

fn main() {
    // types::Trait is not in scope, but method can be called.
    types::Struct.f();
}

如果没有在 trait 实现 上使用 固有 宏，它将因以下错误而失败

error[E0599]: no method named `f` found for type `types::Struct` in the current scope
  --> src/main.rs:18:19
   |
8  |     pub struct Struct;
   |     ------------------ method `f` not found for this
...
18 |     types::Struct.f();
   |                   ^
   |
   = help: items from traits can only be used if the trait is implemented and in scope
   = note: the following trait defines an item `f`, perhaps you need to implement it:
           candidate #1: `types::Trait`

固有 宏扩展到 trait 实现的 Self 类型的固有方法，这些方法将转发到 trait 方法。在上面的示例中，生成的代码将是

impl Struct {
    pub fn f(self) {
        <Self as Trait>::f(self)
    }
}

许可证