Book Image

Rust Essentials - Second Edition

By : Ivo Balbaert
Book Image

Rust Essentials - Second Edition

By: Ivo Balbaert

Overview of this book

Rust is the new, open source, fast, and safe systems programming language for the 21st century, developed at Mozilla Research, and with a steadily growing community. It was created to solve the dilemma between high-level, slow code with minimal control over the system, and low-level, fast code with maximum system control. It is no longer necessary to learn C/C++ to develop resource intensive and low-level systems applications. This book will give you a head start to solve systems programming and application tasks with Rust. We start off with an argumentation of Rust's unique place in today's landscape of programming languages. You'll install Rust and learn how to work with its package manager Cargo. The various concepts are introduced step by step: variables, types, functions, and control structures to lay the groundwork. Then we explore more structured data such as strings, arrays, and enums, and you’ll see how pattern matching works. Throughout all this, we stress the unique ways of reasoning that the Rust compiler uses to produce safe code. Next we look at Rust's specific way of error handling, and the overall importance of traits in Rust code. The pillar of memory safety is treated in depth as we explore the various pointer kinds. Next, you’ll see how macros can simplify code generation, and how to compose bigger projects with modules and crates. Finally, you’ll discover how we can write safe concurrent code in Rust and interface with C programs, get a view of the Rust ecosystem, and explore the use of the standard library.
Table of Contents (13 chapters)

Ownership and borrowing


In the previous section the word borrowed was mentioned in most error messages. What's this all about? What is the logic behind this borrow checker mechanism?

Every program, whatever it does, like reading data from a database or making a computation, is about handling resources. The most common resource in a program is the memory space allocated to its variables. Other resources could be files, network connections, database connections, and so on.

Ownership

Every resource is given a name when we make a binding to it with let; in Rust speak we say that the resource gets an owner. For example, in the following code snippet klaatu owns the piece of memory taken up by the Alien struct instance:

// see code in Chapter 7/code/ownership1.rs   
struct Alien { 
    planet: String, 
    n_tentacles: u32 
} 
 
fn main() { 
    let mut klaatu = Alien{ planet: "Venus".to_string(),  
    n_tentacles: 15 }; 
} 

Only the owner can change the object it points to, and there can only be...