news 2026/4/23 12:16:31

Rust的移动语义

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
Rust的移动语义

在 Rust 中,默认是移动语义,而不是传统的值传递或引用传递。这是 Rust 最重要的特性之一,理解所有权系统很关键。

  1. 基本规则
fnmain(){lets1=String::from("hello");// s1 拥有字符串lets2=s1;// 所有权从 s1 移动到 s2// println!("{}", s1); // 编译错误!s1 不再有效println!("{}",s2);// 正确:s2 现在拥有字符串}
  1. 函数参数传递

默认是移动(对于有所有权的类型):

fntake_ownership(s:String){// s 进入作用域println!("{}",s);}// s 离开作用域,drop 被调用,内存被释放fnmain(){lets=String::from("hello");take_ownership(s);// s 的所有权移动到函数中// println!("{}", s); // 编译错误!s 不再有效}

使用引用传递(借用):

fnborrow_string(s:&String){// s 是对 String 的引用println!("{}",s);}// s 离开作用域,但因为它不拥有所有权,所以什么也不会发生fnmain(){lets=String::from("hello");borrow_string(&s);// 传递引用,不转移所有权println!("{}",s);// 正确:s 仍然有效}
  1. Copy 类型的值传递

对于实现了 Copy trait 的类型,会自动复制而不是移动:

fncopy_value(x:i32){// i32 实现了 Copyprintln!("{}",x);}fnmain(){letx=5;copy_value(x);// x 被复制到函数中println!("{}",x);// 正确:x 仍然有效}
  1. 不同类型的行为对比
fntest_pass_by(muts:String,n:i32,v:Vec<i32>){s.push_str(" world");println!("函数内: s={}, n={}, v={:?}",s,n,v);}fnmain(){lets=String::from("hello");letn=42;letv=vec![1,2,3];test_pass_by(s,n,v.clone());// s 被移动,n 被复制,v 被克隆// println!("{}", s); // 错误:s 被移动了println!("{}",n);// 正确:n 被复制了println!("{:?}",v);// 正确:使用了 clone()}
  1. 实际示例(字母异位词分组中的所有权处理)
usestd::collections::HashMap;// 版本1:移动所有权fngroup_anagrams_take(strs:Vec<String>)->Vec<Vec<String>>{letmutmap=HashMap::new();forsinstrs{// strs 的所有权被移动到循环中letmutchars:Vec<char>=s.chars().collect();chars.sort();letkey:String=chars.into_iter().collect();// 这里 s 被移动到 map 中map.entry(key).or_insert(Vec::new()).push(s);}map.into_values().collect()}// 版本2:使用引用(借用)fngroup_anagrams_borrow(strs:&[String])->Vec<Vec<String>>{letmutmap=HashMap::new();forsinstrs{// s 是 &Stringletmutchars:Vec<char>=s.chars().collect();chars.sort();letkey:String=chars.into_iter().collect();// 需要克隆字符串,因为 map 需要所有权map.entry(key).or_insert(Vec::new()).push(s.clone());}map.into_values().collect()}// 版本3:使用字符串切片fngroup_anagrams_slice(strs:&[&str])->Vec<Vec<String>>{letmutmap=HashMap::new();for&sinstrs{// s 是 &strletmutchars:Vec<char>=s.chars().collect();chars.sort();letkey:String=chars.into_iter().collect();// 转换为 Stringmap.entry(key).or_insert(Vec::new()).push(s.to_string());}map.into_values().collect()}fnmain(){// 测试版本1letstrs1=vec!["eat".to_string(),"tea".to_string(),"tan".to_string(),];letresult1=group_anagrams_take(strs1);println!("版本1: {:?}",result1);// 测试版本2letstrs2=vec!["eat".to_string(),"tea".to_string(),"tan".to_string(),];letresult2=group_anagrams_borrow(&strs2);println!("版本2: {:?}",result2);println!("原数组仍然可用: {:?}",strs2);// strs2 仍然有效// 测试版本3letstrs3=vec!["eat","tea","tan"];letresult3=group_anagrams_slice(&strs3);println!("版本3: {:?}",result3);}
  1. 所有权在 HashMap 中的体现
usestd::collections::HashMap;fnmain(){letmutmap=HashMap::new();// 插入时移动所有权letkey1=String::from("key1");letvalue1=String::from("value1");map.insert(key1,value1);// key1 和 value1 不再有效// println!("{}", key1); // 错误// println!("{}", value1); // 错误// 获取引用ifletSome(v)=map.get("key1"){println!("值: {}",v);// v 是 &String}// 获取所有权(移除元素)ifletSome(v)=map.remove("key1"){println!("移除的值: {}",v);// v 是 String}}
  1. 性能考虑
fnexpensive_to_clone()->String{"这是一个很长的字符串...".repeat(1000)}fnmain(){lets=expensive_to_clone();// 方法1:移动所有权(高效)fnprocess_owned(data:String){// 处理数据}process_owned(s);// 高效:只是移动指针// 方法2:克隆(低效)lets2=expensive_to_clone();fnprocess_cloned(data:&String)->String{// 如果需要修改并返回,可能需要克隆data.clone()+" modified"}letresult=process_cloned(&s2);// 需要克隆整个字符串// 方法3:修改可变引用(高效)letmuts3=expensive_to_clone();fnprocess_mutable(data:&mutString){data.push_str(" modified");}process_mutable(&muts3);// 高效:不需要克隆}
  1. 总结表格

传递方式 语法 所有权 是否需要 clone 适用场景
移动所有权 func(s: String) 转移 不需要 函数需要拥有数据的所有权
不可变借用 func(s: &String) 不转移 通常不需要 只读访问
可变借用 func(s: &mut String) 不转移 不需要 需要修改数据
克隆 func(s.clone()) 创建新所有权 需要 需要副本同时保留原数据

  1. 在字母异位词分组中的最佳实践
usestd::collections::HashMap;// 最佳实践:根据需求选择合适的传递方式pubfngroup_anagrams(strs:Vec<String>)->Vec<Vec<String>>{// strs 的所有权被移动到函数中// 因为我们需要在 HashMap 中存储这些字符串letmutmap:HashMap<String,Vec<String>>=HashMap::new();forsinstrs{// 移动每个字符串的所有权letkey=sort_string(&s);// 传递引用给辅助函数map.entry(key).or_insert_with(Vec::new).push(s);}map.into_values().collect()}// 辅助函数:只需要读取字符串,不需要所有权fnsort_string(s:&str)->String{letmutchars:Vec<char>=s.chars().collect();chars.sort_unstable();chars.into_iter().collect()}fnmain(){letstrs=vec!["eat".to_string(),"tea".to_string(),"tan".to_string(),"ate".to_string(),"nat".to_string(),"bat".to_string(),];// 调用后,strs 的所有权被转移,不能再使用letresult=group_anagrams(strs);println!("结果: {:?}",result);}

关键点:

  1. Rust 默认是移动语义,不是值传递也不是引用传递
  2. 实现了 Copy trait 的类型会被复制
  3. 使用 & 进行借用(引用传递)
  4. 函数签名决定了所有权如何转移
  5. 在性能敏感的场景,合理使用引用避免不必要的克隆
版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/4/13 18:03:11

Apache Druid监控终极指南:从零构建生产级监控告警体系

你是否曾经遇到过这样的场景&#xff1a;Druid集群在凌晨突然出现性能瓶颈&#xff0c;查询响应时间从毫秒级飙升到秒级&#xff0c;而你却束手无策&#xff1f;或者当数据摄入任务失败时&#xff0c;只能通过查看日志来排查问题&#xff0c;错失了最佳的恢复时机&#xff1f;&…

作者头像 李华
网站建设 2026/4/19 4:46:20

如何快速提升Copilot-Codespaces-VSCode项目15%开发效率

Copilot-Codespaces-VSCode作为GitHub官方推出的AI编程助手项目&#xff0c;集成了GitHub Copilot与VS Code的强大功能&#xff0c;为开发者提供了智能化的代码建议和云端开发环境。本文将为您揭示一套完整的性能优化方案&#xff0c;帮助您在日常开发中获得显著的效率提升。 【…

作者头像 李华
网站建设 2026/4/20 10:59:00

Wan2.2-T2V-A14B能否生成带有镜头推拉摇移的运镜效果?

Wan2.2-T2V-A14B 能否生成带有镜头推拉摇移的运镜效果&#xff1f;&#x1f3ac; 你有没有过这样的经历&#xff1a;脑子里构思了一个极具电影感的画面——战士站在山巅&#xff0c;夕阳如血&#xff0c;镜头缓缓推进&#xff0c;再慢慢抬起&#xff0c;展现整片燃烧的天际………

作者头像 李华
网站建设 2026/4/23 4:02:40

一些关于计算机的知识(1)

1.智能手机、平板电脑、甚至一些智能手表以及可以编程存储的计算器都属于计算机那些决战408的同学们是不是已经对计算机的组成倒背如流了&#xff1f;冯-诺依曼体系的5大部分&#xff1a;输入设备、输出设备、运算器、存储器、控制器。拥有这5个东西的产品就是计算机了。智能手…

作者头像 李华