Rust中对String调用.to_string()为何能避免移动错误？它并非无操作？

首先看原始无法编译的代码：

fn f1( string: String) {
    println!("{}", string );
}

fn f2( string: String) {
    println!("{}", string );
}

fn main() {
    let my_string: String = "ABCDE".to_string();
    f1( my_string );
    f2( my_string );
}

编译时会触发所有权移动错误：

11 |     f1( my_string );
   |         --------- value moved here
12 |     f2( my_string );
   |         ^^^^^^^^^ value used here after move

问题核心：Rust的所有权规则 #

Rust中，当你把一个String类型的值传递给接收String参数的函数时，所有权会发生移动——原变量my_string的所有权被转移到f1的参数string中，main作用域里的my_string从此失效，无法再被使用，这就是报错的原因。

为什么调用to_string()能解决问题？ #

很多人会误以为String的to_string()是无操作，但实际上并非如此：
String实现了标准库的ToString trait，它的to_string()方法本质是调用了clone()，会在堆上创建一个和原字符串完全相同的新实例，并返回这个新的String。

换句话说，my_string.to_string()会生成一个独立的新String，当你把这个新实例传给f1时，移动的是这个克隆体的所有权，原my_string的所有权依然保留在main作用域中，所以后续可以正常传给f2。

补充：ToString trait的实现逻辑 #

对于String类型，ToString的实现大致如下：

impl ToString for String {
    fn to_string(&self) -> String {
        self.clone()
    }
}

这个实现明确了to_string()的行为是克隆，而非复用原对象，这也是它能规避所有权移动问题的关键。

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