Rust的安全性和稳健型
非凸科技 2023/4/2 3:26:35
Rust是围绕安全性和稳健性而设计的。也就是，安全代码是不使用unsafe关键字的代码，
声音代码是不会导致内存损坏或其他未定义行为的代码。“未定义行为”(UB) 在 C、C++ 和 Rust 等语言中具有特定含义，不同于“未指定”或“实现定义”行为。
Rust 最重要的特性之一是承诺所有安全代码都是可靠的。但是当 unsafe涉及到代码时，这个承诺可能会被打破，而且unsafe代码几乎总是在某个地方涉及到。
数据结构喜欢Vec并且在其实现中HashMap有unsafe代码，就像任何与File::open操作系统对话的函数一样。这就引出了一个常见的问题：“如果 Rust 不能保证所有安全代码都是可靠的，它怎么能成为内存安全的语言呢？”
Rust有一个被认为是未定义的行为列表。声音函数是保持以下不变性的函数：任何只调用声音函数且不包含任何其他unsafe代码的程序都不能提交UB。
不直接或间接使用代码的函数unsafe保证是可靠的，一个不unsafe直接使用任何代码而至调用其他声音函数的函数没根据定义也是声音，但是unsafe直接使用代码的函数和模块可能不健全，不健全函数的调用者也可能是不健全。模块的安全、公共API中的任何不健全都是错误的。
参考来源：https://jacko.io/safety_and_soundness.html
关于找一找教程网
本站文章仅代表作者观点，不代表本站立场，所有文章非营利性免费分享。
本站提供了软件编程、网站开发技术、服务器运维、人工智能等等IT技术文章，希望广大程序员努力学习，让我们用科技改变世界。
[Rust的安全性和稳健型]http://www.zyiz.net/tech/detail-400189.html
- 2023-06-01一文详解 Sa-Token 中的 SaSession 对象
- 2023-06-01本科生求职，一种全新的人生挑战
- 2023-06-014.2 字节流与字符流
- 2023-06-01SpringBoot定义优雅全局统一Restful API 响应框架五
- 2023-06-01枪决通知短信：网络欺诈的新变种与社会责任
- 2023-06-01十大移动应用恶意行为
- 2023-05-31OPPO关停自研芯片公司哲库，这对行业将产生什么影响？
- 2023-05-31TiKV 新架构：Partitioned Raft KV 原理解析
- 2023-05-31【中奖公告】成长故事分享：聊聊你的进步经历，与君共勉
- 2023-05-31想卷卷不赢，想躺躺不平
