Borrow 和 AsRef

Borrow 和 AsRef 特性是非常相似的，但是也有些區(qū)別。這里有一個(gè)簡單回顧一下這兩個(gè)特質(zhì)是什么意思。

Borrow

Borrow 特性是當(dāng)你寫一個(gè)數(shù)據(jù)結(jié)構(gòu)時(shí)，并且你想要使用一個(gè) owned 或 borrowed 類型作為用于某些目的的同義詞。

例如，HashMap 的 get 方法就使用了 Borrow:

 fn get<Q: ?Size>(&self, k:&Q) -> Option<&V>
    where K:Borrow<Q>,
          Q:Hash +Eq

這個(gè)簽名是相當(dāng)復(fù)雜的。在這里我們感興趣的是 K 參數(shù)。它指的是 HashMap 本身的一個(gè)參數(shù):

struct HashMap<K, V, S = RandomState> {

K 參數(shù)是 HashMap 中使用的 key 類型。所以，再次看 get() 函數(shù)簽名，當(dāng) key 實(shí)現(xiàn)了 Borrow 時(shí)我們可以使用 get() 函數(shù)。這樣，我們可以使用 String 類型作為 HashMap 的 key，而使用 &strs 進(jìn)行搜索:

use std::collections::HashMap:

let mut map = HashMap::new();
map.insert("Foo".to_string(), 42);

assert_eq!(map.get("Foo"), Some(&42));

這是因?yàn)闃?biāo)準(zhǔn)庫中已經(jīng)為 String 類型實(shí)現(xiàn)了 Borrow 接口。

對于大多數(shù)類型，當(dāng)你想要一個(gè)使用 owned 或者 borrowed 類型，使用 &T 就足夠了。但在不止一種 borrowed 值時(shí)，Borrow 處理起來是很高效的。Slice 指的是一塊區(qū)域：既可以是 &[T]也可以是 &mut[t] 類型。如果我們想使該區(qū)域同時(shí)存在著兩種類型，就可以使用 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 是轉(zhuǎn)換特征。它被用在通用的代碼中將一些值轉(zhuǎn)換成索引類型。比如：

let s = "Hello".to_string();

fn foo<T: AsRef<str>>(s: T) {
    let slice = s.as_ref();
}

應(yīng)該用哪一個(gè)？

我們可以看到他們是如何的相似：他們都處理 owned 和 borrowed 版本的數(shù)據(jù)類型。然而，他們還是有點(diǎn)不同。

當(dāng)你想要抽象出各種 borrowing 數(shù)據(jù)中的不同，或者你創(chuàng)建的數(shù)據(jù)結(jié)構(gòu)用同樣的方式對待 owned 和 borrowed 值，比如哈希操作和比較操作，此時(shí)你應(yīng)該選擇 Borrow。

當(dāng)你想要直接轉(zhuǎn)換某些類型為引用類型，并且你在編寫泛型時(shí)，你應(yīng)該選擇 AsRef。