如何解决{&Trait`和`&impl Trait`有什么区别?
struct SA {
sa: u32,}
trait T1 {
// fn action_static() -> bool {
// true
// }
fn action_ins(&self) -> bool {
true
}
}
impl T1 for SA {}
fn do_action_1(x: &T1) {
x.action_ins();
}
fn do_action_2(x: &impl T1) {
x.action_ins();
// <SA as T1>::action_static();
}
fn main() {
let sa = SA { sa: 123 };
// do_action_1(&sa);
do_action_2(&sa);
}
我想使用静态特征函数将元数据存储在宏生成的结构上,但是当将特征用作特征对象(where Self: Sized
)时,编译器需要&T1
。
特征对象&T1
和&impl T1
有什么区别?
使用&impl T1
时,编译器似乎在编译时就知道类型,并且不需要在我的静态特征函数中使用“ Sized”-那么为什么要使用特征对象(&T1
)?
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。