戻り値による所有権の移動
2022/2/17 23:11:00
関数に変数を渡すことによって所有権の移動が発生するが、戻り値によっても所有権の移動が発生する。
fn main() {
let s1 = String::from("hello");
let s2 = test(s1);
println!("{}", s2); //hello
}
fn test(s:String) -> String {
s
}
関数に変数を渡すことによって所有権の移動が発生するが、戻り値によっても所有権の移動が発生する。
fn main() {
let s1 = String::from("hello");
let s2 = test(s1);
println!("{}", s2); //hello
}
fn test(s:String) -> String {
s
}
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
}
Rustでは関数で作成したデータの参照を戻り値で渡すことはできないので、データ(String)を直接返せばよい。戻り値による所有権の移動が発生して無事データを渡すことができる。
fn main() {
let s = no_dangle();
println!("{}", s); //hello
}
fn no_dangle() -> String {
let s = String::from("hello");
s
}