Re: [閒聊] Rust: 從入門到入門

[yam276 (史萊哲林的優等生)]

: 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://www.ptt.cc/bbs/Marginalman/M.1743047985.A.6AF.html
※ 編輯: yam276 (60.248.143.172 臺灣), 03/27/2025 12:01:23
推 oin1104: 大師