t_wの輪郭

Feedlyでフォローするボタン
Rust
Rustでは関数で作成した変数への参照を戻り値で渡すことはできない戻り値の型が特質を実装していることを指定する関数に変数を渡すことによる所有権の移動戻り値による所有権の移動

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
}
fn main() {
    let reference_to_nothing = dangle();
}

fn dangle() -> &String {
    let s = String::from("hello");

    &s
}
error[E0106]: missing lifetime specifier
 --> src\main.rs:5:16
  |
5 | fn dangle() -> &String {
  |                ^ expected named lifetime parameter
  |
  = help: this function's return type contains a borrowed value, but there is no value for it to be borrowed from
help: consider using the `'static` lifetime
  |
5 | fn dangle() -> &'static String {
  |                ~~~~~~~~