区别在于AsRef和Borrow都是带了泛型参数的, 这意味着它们的实现者可以同时有多种转换(&T->&U1, &T->&U2 …),而Deref用的是关联类型,只能有一种这样转换。AsRef是用于一般的、轻量级的且不会失败的不同类型的引用之间的转换。
AsRef
AsRef是用于一般的、轻量级的且不会失败的不同类型的引用之间的转换。
(如果转换开销较大请用impl From<&T> for &U,如果可能失败请用一个返回Option或者Result的专用方法)
Borrow
Borrow是用于一个类型的不同表示类型(如Box<T>, Rc<T>,Cow<T>)的引用到原类型(T)引用的转换。
(这些表示类型为不同用途提供了额外的功能,如Box<T>和Rc<T>为T提供的内存管理,Cow<T>提供的写时复制)
它要求Hash, Ord, Eq 在转换前后等价,如x.borrow() == y.borrow()和x == y的结果应该相同。 Borrow对所有T和&T都有个默认的空实现(&T->&T),所以可以用它来同时接收T和&T。
Deref
Deref是为智能指针设计的,只应被智能指针类型实现。它会根据解引用规则自己动,不需要显式的调用.deref(), 并且如果T实现了Deref<Target = U> 那么&T可以隐式转换成&U。
Deref是deref操作符*的 trait,比如*v。在修改mut&的值的时候会用到。Deref还会有更多深层次的嵌套,比如把其它类型的指针(比如在库中定义的,Box, Rc, Arc, Cow 等),转成内部标准形式 &v;或者把多重 & (比如:&&&&&&&v),简化成 &v(通过插入足够数量的 * 进行解引)。
总结:AsRef和Borrow都是带了泛型参数的, 这意味着它们的实现者可以同时有多种转换(&T->&U1, &T->&U2 …),而Deref用的是关联类型,只能有一种这样转换。
延伸阅读:
什么是泛型类?
什么是泛型,如何使用和定义泛型?泛型是具有占位符(类型参数)的类、结构、接口和方法,这些占位符是类、结构、接口和方法所存储或使用的一个或多个类型的占位符。泛型集合类可以将类型参数用作它所存储的对象的类型的占位符;类型参数作为其字段的类型和其方法的参数类型出现。泛型方法可以将其类型参数用作其返回值的类型或者其形参的类型之
文章标题:AsRef、Deref和Borrow有哪些区别,发布者:小编,转载请注明出处:https://worktile.com/kb/p/38528