t_wの輪郭

Feedlyでフォローするボタン
Rust特質trait
『多コピーの原罪』コピーによる所有権の移動関数に変数を渡すことによる所有権の移動可変参照 (&mut) はCopy traitを実装していない

『多コピーの原罪』

2022/3/26 16:27:00

https://blog.ojisan.io/many-copies-original-sin/


目次

  • Rust は GC を持たない
    • GC とは
    • Rust には GC がない
  • Clone と Copy とヒープについて
    • コピーできるもの・できないもの
    • ヒープに入るものは Copy しない
    • ヒープにあるものを Clone するとどうなるか
  • Rust における文字の種類
    • スライス
    • char
    • バイト列
    • String
    • &str
  • Rust で文字列を扱うためのプラクティス
    • イージーなやり方: すべて String
    • よくやるやり方: 戻り値だけ String
    • 入力を汎用的にする: Into
    • 理想的なやり方: 戻り値も &str
    • ライフタイム付きの参照で zero-copy の実現
    • いい感じに抽象化できるスマートポインタ、CoW
  • まとめ、感想、お気持ち

Copy特質を持たない変数をコピーすると、所有権の移動が発生し、コピー元の変数は使用が不可能になる。

let s1 = String::from("hello");
let s2 = s1;
println!("{}", s1);   //error
/*
error[E0382]: borrow of moved value: `s1`
 --> src\main.rs:5:16
  |
3 | let s1 = String::from("hello");
  |     -- move occurs because `s1` has type `String`, which does not implement the `Copy` trait
4 | let s2 = s1;
  |          -- value moved here
5 | println!("{}", s1);   //hello
  |                ^^ value borrowed here after move
*/

Copy特質を持たない変数関数に渡すと、所有権の移動が発生し、関数に渡した変数は使用不可能になる。

fn main() {
    let s = String::from("hello");
    test(s);
    println!("{}", s);   //error
    /*
    error[E0382]: borrow of moved value: `s`
    --> src\main.rs:4:20
    |
    2 |     let s = String::from("hello");
    |         - move occurs because `s` has type `String`, which does not implement the `Copy` trait
    3 |     test(s);
    |          - value moved here
    4 |     println!("{}", s);   //error
    |                    ^ value borrowed here after move
    */
}

fn test(s:String) {
    println!("{}", s);   //hello
}