作者yam276 (史萊哲林的優等生)
看板Marginalman
標題Re: [閒聊] Rust: 從入門到入門
時間Thu Mar 27 11:59:43 2025
: https://space.bilibili.com/361469957/lists/3902595
: 從入門到入門
1. Copy接口
fn copy_vs_move() {
let v: Vec<i32> = vec![0, 1, 2];
let n_ref: &i32 = &v[0];
let n: i32 = *n_ref;
let v: Vec<String> = vec![String::from("012")];
let s_ref: &String = &v[0];
let s: String = *s_ref;
}
i32 是基礎類型，有 copy 接口，而 String 則沒有
因此在 i32 進行 let n = *n_ref 的時候發生的是複製非轉移所有權
而 String 進行 let s = *s_ref 的時候因為沒有實現複製的接口，
因此會嘗試獲得所有權(他是 String 而非 &String )造成錯誤
因為基礎型態有實現 copy 接口，所以可以自動解引用
但 String 本身是 Stack 指標儲存資料在 Heap 的關係，
所以這邊要讓 let s = &v[0].clone() 或各種非借用方式來解決
2. 成員變數的所有權
fn tuple_fields() {
let mut name: (String, String) = (
String::from("Ferris"),
String::from("Rustacean")
);
let first: &String = &name.0;
name.1.push_str(", Esq.");
println!("{first} {}", name.1);
}
當使用 let first = &name.0 借用的時候，
name 本身與 name.0 成員失去可變性，
但 name.1 仍然可以借用也能可變借用
因為在 Rust 2018 版本以後，成員變數被當成獨立個體，
而更之前的 Rust 版本這樣則會編譯錯誤，因為成員變數被當成整體
3. 承以上 code
fn tuple_fields() {
let mut name: (String, String) = (
String::from("Ferris"),
String::from("Rustacean")
);
let first: &String = get_first(&name);
name.1.push_str(", Esq.");
println!("{first} {}", name.1);
}
fn get_first(name: &(String, String)) -> &String {
&name.0
}
如果是這樣，在 let first: &String = get_first(&name); 這行會編譯錯誤，
因為 Rust 不管 Function 內的所有權實作，
因此編譯器會判斷 get_first(&name); 把整個 name 借走，
此時 name.1 即使在 function 內沒被使用也被視為不可變
不過這只是現在版本的判斷，有機會跟 2. 提到的一樣，
新版本 Rust 如果讓編譯器變得更聰明了，
就有機會讓它判斷 function 內部是否有借用來讓這段 code 通過，
但至於何時會這樣更新，恐怕只有當事人自己知道了……
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 60.248.143.172 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Marginalman/M.1743047985.A.6AF.html
※ 編輯: yam276 (60.248.143.172 臺灣), 03/27/2025 12:01:23
1F：推 oin1104: 大師 03/27 12:08