官术网_书友最值得收藏!

Unsafe

Rust's code is "safe" because the compiler checks and enforces certain behavior when it comes to memory access and management. However, sometimes these rules have to be forgone, making the code unsafe. unsafe is a keyword in Rust and declares a section of code that can do most of the things the C programming language would let you do. For example, it lets the user do the following (from the Rust Book, chapter 19.1):

  • Dereference a raw pointer
  • Call an unsafe function or method
  • Access or modify a mutable static variable
  • Implement an unsafe trait

These four abilities can be used for things such as very low-level device access, language interoperability (the compiler can't know what native libraries do with their memory), and so on. In most cases, and certainly in this book, unsafe is not required. In fact, the Rustonomicon (https://doc.rust-lang.org/nomicon/what-unsafe-does.html) defines a list of issues the language is trying to prevent from happening by providing the safe part:

  • Dereferencing null, dangling, or unaligned pointers.
  • Reading uninitialized memory.
  • Breaking the pointer aliasing rules.
  • Producing invalid primitive values:
    • Dangling/null references
    • Null fn pointers
    • A bool that isn't 0 or 1
    • An undefined enum discriminant
    • A char outside the ranges [0x0, 0xD7FF] and [0xE000, 0x10FFFF]
    • A non-UTF8 string
  • Unwinding into another language.
  • Causing a data race.

The fact that these potential issues are prevented in safe Rust certainly makes the life of a developer easier, especially when designing algorithms or data structures. As a consequence, this book will always work with safe Rust.

主站蜘蛛池模板: 怀柔区| 和政县| 济宁市| 南阳市| 本溪市| 凉山| 彭阳县| 汉川市| 武乡县| 景宁| 荥经县| 建德市| 军事| 虞城县| 佛坪县| 丽水市| 贵阳市| 东乌| 巴东县| 三台县| 南涧| 扬州市| 大关县| 伽师县| 双流县| 新河县| 临海市| 泰顺县| 上犹县| 宁国市| 鹿邑县| 临洮县| 宝鸡市| 新源县| 子洲县| 龙州县| 遂昌县| 东丰县| 滦南县| 景德镇市| 庆云县|