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 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 len = calculate_length(&s1);
println!("'{}'の長さは、{}です", s1, len); //'hello'の長さは、5です
}
fn calculate_length(s: &String) -> usize {
s.len()
}