为何非Copy的String存入Arc后传入thread::spawn不触发'static报错

核心差异在于是否转移了String的所有权 #

第一段代码报错的本质 #

你在Arc::new(&some)中传入的是some的不可变引用，这时候Arc内部持有的是指向main函数栈上some变量的借用。thread::spawn要求传入的闭包必须满足'static生命周期约束，意思是闭包不能持有任何生命周期短于整个程序的引用，栈上的some生命周期仅持续到main函数结束，显然不满足，所以编译失败。

第二段代码能正常运行的原因 #

Arc::new(some)的操作是将some的所有权直接转移到了堆上的Arc管理内存中，并没有产生任何借用：

• String没有实现Copy trait，所以这里触发的是move语义，赋值之后原栈上的some变量就失效了，String本身的存储完全被Arc接管
• 每次调用apple.clone()复制的只是Arc智能指针本身，增加堆上String的引用计数，每个复制出来的Arc都独立持有堆上String的所有权
• 你把clone后的Arc move进线程闭包时，闭包完全持有这个Arc的所有权，不存在对外部栈变量的引用，自然不会触发生命周期不足的报错

关于'static的疑问 #

String并没有自动变成'static生命周期，第二段代码完全没有涉及对外部变量的借用，所以不需要满足'static的约束。闭包只要持有值的所有权，不管值本身的生命周期是什么，只要闭包自己能持有值直到销毁，就不会出现悬垂引用。

内容的提问来源于stack exchange，提问作者sarik123