这是一个创建于 103 天前的主题，其中的信息可能已经有所发展或是发生改变。
fn main(){
let s2 = test();
println!("s2={}",s2 ）;
}
fn test() -> String{
let s1 = String::from("test1");
return s1
}
打印出 s2=test1
这里有一个疑问，s1 对应的内存有没有被销毁？ return s1 这时作用域已完成，不是因销毁 s1 吗，那返回到 main 里的是什么？ “test1"这 string 是否于内存中复制过？
 |
1
sunjiayao 103 天前  1
s1 的所有权给 s2 了
|
 |
2
sleeepyy 103 天前 1
没有销毁，return 的时候把所有权给 s2 了
|
 |
3
yelog 103 天前 1
上面两位老哥说的很好, 我补充一下官网原文关于这块的描述和示例, 可以尝试理解一下
https://doc.rust-lang.org/book/ch04-01-what-is-ownership.html#return-values-and-scope |
 |
4
ch3nOr 103 天前 1
修改了一下楼主的程序，打印了一下内存地址，发现在 test 内 move 内存地址也会发生改变，move 到外部也会
https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=fcfb04f8f33db75f1934513021102b30 |
 |
5
dxatgp02 OP 感谢各位大佬的指点自己的理解力有限，感觉被绕进去了。
 |
 |
6
detached 103 天前 2
@ch3nOr 这个是符合预期的，"test1"这个字符串所在的内存并没有发生变化。而每一个 variable(s1,s2,s3)都是一个新的，他们均指向这个字符串。
|
|
7
ch3nOr 103 天前 2
@detached
验证了一下，确实是这样的： https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=8e72d327ee3e3379797b5b156f034ad3 上面 #4 的程序打印的是 s1 、s2 、s3 的地址 |
 |
8
docxs 103 天前 via iPhone 1
你对比理解成 cpp 的 move ，就好理解了
|
 |
9
araraloren 101 天前 1
It transfer the ownership of s1 to s2(move is bitwise copy, but not call the drop of `s1`).
And `s2` will be dropped when out of scope of main. |
 |
10
buxudashi 97 天前 1
你认为的消毁是什么？
把全部内存段内的位变成 0 ？ 事实上的销毁是。你不管里面的数据是什么。你不取值不引用它的索引就算销了。 |
 |
11
Terry166 29 天前
String 是一个可变的，堆上分配的 UTF-8 的字节缓冲区，它是可增长的、可变的、有所有权的、UTF-8 编码的字符串类型，使用 to_string 或者 String::from 创建。
fn test() -> String{ let s1 = String::from("test1"); return s1 } // 创建并返回一个具有所有权的字符串， let s2 = test(); // 把所有权转移给 s2 ，s1 就失效了。 内存表示如下： [–––––– s1 –––––] [–––––s2 –––] // 栈上的胖指针（包含三个字：地址，容量，大小） +–––+–––+–––+–––+–––+–––+––– stack frame │ │ │ │ • │ 8 │ 5 │ +–––+–––+–––+– │–+–––+–––+–│ │ │ +––––––––––––––+ │ +–V–+–––+–––+–––+–––+–––+–––+–––+– heap │ t │ e │ s │ t │ 1 │ l │ │ │ // 保存在堆上的数据 +–––+–––+–––+–––+–––+–––+–––+–––+– |
Select Language