Trait 约束与 impl Trait