爲什麼不鼓勵接受對String（＆String），Vec（＆Vec）或Box（＆Box）作爲函數參數的引用？

Question

我寫了一些鐵鏽代碼，需要&String作爲參數：

fn awesome_greeting(name: &String) { 
    println!("Wow, you are awesome, {}!", name); 
} 

我也寫代碼，需要在參照Vec或Box：

fn total_price(prices: &Vec<i32>) -> i32 { 
    prices.iter().sum() 
} 

fn is_even(value: &Box<i32>) -> bool { 
    **value % 2 == 0 
} 

不過，我收到一些反饋，這樣做並不是一個好主意。爲什麼不？

Answer 1

TL; DR：可以改爲使用&str,&[T]或&T而不喪失通用性。

---

1. 一個使用String或Vec的主要原因是因爲它們允許增加或減少容量。但是，如果您接受不可變引用，則不能在Vec或String上使用任何有趣的方法。

2. 接受&String，&Vec或&Box也需要分配，然後才能調用該方法。不必要的分配是性能損失。這通常是暴露時，馬上你嘗試調用在測試這些方法或main方法：

   awesome_greeting(&String::from("Anna")); 
   

   total_price(&vec![42, 13, 1337]) 
   

   is_even(&Box::new(42)) 
   

3. 另一個性能考慮是&String，&Vec和&Box介紹一個不必要的間接層，因爲您已取消&String以獲得String，然後第二個解除引用最終在&str。

相反，你應該接受串片（&str），一個片（&[T]），或只是一個參考&T。 A &String,&Vec<T>或&Box<T>將分別自動強制爲&str,&[T]或&T。

fn awesome_greeting(name: &str) { 
    println!("Wow, you are awesome, {}!", name); 
} 

fn total_price(prices: &[i32]) -> i32 { 
    prices.iter().sum() 
} 

fn is_even(value: &i32) -> bool { 
    *value % 2 == 0 
} 

現在你可以調用這些方法與更廣泛的類型。例如，可以用字符串文字（"Anna"）或分配String來調用awesome_greeting。可以調用total_price參考數組（&[1, 2, 3]）或分配Vec。

---

如果你想添加或移除String或Vec<T>項目，可以採取可變參考（&mut String或&mut Vec<T>）：

fn add_greeting_target(greeting: &mut String) { 
    greeting.push_str("world!"); 
} 

fn add_candy_prices(prices: &mut Vec<i32>) { 
    prices.push(5); 
    prices.push(25); 
} 

具體對於切片，您還可以接受&mut [T]。這允許您在切片內改變特定值，但不能更改切片內的項目數量：

fn reset_first_price(prices: &mut [i32]) { 
    prices[0] = 0; 
}