borrow-and-asref.md
commit 024aa9a345e92aa1926517c4d9b16bd83e74c10d
Borrow
和AsRef
特性非常相似。这是一个快速的关于这两个特性意义的复习。
Borrow
Borrow
特性用于当你处于某种目的写了一个数据结构,并且你想要使用一个要么拥有要么借用的类型作为它的同义词。
例如,HashMap
有一个用了Borrow
的get
方法:
fn get<Q: ?Sized>(&self, k: &Q) -> Option<&V>
where K: Borrow<Q>,
Q: Hash + Eq
这个签名非常复杂。k
参数是我们感兴趣的。它引用了一个HashMap
自身的参数:
struct HashMap<K, V, S = RandomState> {
k
参数是HashMap
用的key
类型。所以,再一次查看get()
的签名,我们可以在键实现了Borrow<Q>
时使用get()
。这样,我们可以创建一个HashMap
,它使用String
键,不过在我们搜索时使用&str
:
use std::collections::HashMap;
let mut map = HashMap::new();
map.insert("Foo".to_string(), 42);
assert_eq!(map.get("Foo"), Some(&42));
这是因为标准库中有impl Borrow<str> for String
(为 String 实现了Borrow
对于多数类型,当你想要获取一个自我拥有或借用的类型,&T
就足够了。不过当有多于一种借用的值时,Borrow
就能起作用了。引用和slice
就是一个能体现这一点的地方:你可以有&[T]
或者&mut [T]
。如果我们想接受这两种类型,Borrow
就是你需要的:
use std::borrow::Borrow;
use std::fmt::Display;
fn foo<T: Borrow<i32> + Display>(a: T) {
println!("a is borrowed: {}", a);
}
let mut i = 5;
foo(&i);
foo(&mut i);
这会打印出a is borrowed: 5
两次。
AsRef
AsRef
特性是一个转换特性。它用来在泛型中把一些值转换为引用。像这样: