Let's learn some cool thing about Rust!
First, we are going to need to install some tools (specifically rustup) so we can get the latest version of Rust, as well as build our project.
Here are the instructions on how to install rustup for your system.
NOTE: For Windows users, you need MSVC (you should've installed it in CS1) to build a Rust project.
Once we have rustup installed. We can run rustup up (funny) and update Rust on our system. If you have previously installed Rust, this will probably update it for you. If you just installed Rust, this will just tell you that you're up to date!
Alright, the Rust compiler is installed, let's write some code.
All Rust source files end in the .rs extension, so we will create a hello-world.rs file and then write some code in it.
In hello-world.rs:
fn main() {
println!("Hello, world!");
}First off, let's get this out of the way. Why is there an ! in the println! function? In Rust, we refer to this as a macro. When we write println!("Hello, world!") and then compile our code, the compiler takes this println! and generates code to "replace" it. There are lots of macros in Rust and you can even make your own. println! is probably the most common one you will use.
Cool. Now that we understand macros, let's build this program. To build it, we just run rustc hello-world.rs from the command line. Then it will generate a program that we can run with ./hello-world.exe or ./hello-world depending on your operating system.
When you run it, you should see this:
Hello, world!
Wonderful! We're now super awesome epic Rust programmers!
Now that we've written a "Hello, world!" program, let's dig in a little more to some of the semantics of Rust.
First, let's look at variable definitions. Let's define some variables:
let x = 0;
x = 1; // ERROR! Error? We can't re-assign variables by default in Rust, if you want to make a variable reassignable, you have to mark it was mut or mutable:
let mut x = 0;
x = 1; // yay You can redefine a non-mutable variable, that looks something like this:
let x = 0;
let x = 1;Next, we will look at loops. Take this C++ for-loop:
for (int i = 0; i < 10; i++) {
std::cout << i << std::endl;
}We would write the same loop in Rust like:
for i in 0..10 {
println!("{i}");
}Rust has a Range datatype, which is iterable (you can use a for-loop with it) and can be created with the from..to syntax.
You'll also notice that there aren't parenthesis around the statement in the for-loop. This is actually a very common thing in Rust:
let x = 0;
if x == 1 {
println!("X is one!")
} else if x == 2 {
println!("X is two!")
} else {
println!("X is something else!")
}
while x != 0 {
// ...
}We also have the match keyword, which can be used like a switch statement:
let x = 5;
match x {
1 => println!("X is one!"),
2..5 => println!("X is 2 to 5!"),
_ => println!("X is some other value!"),
}or it can be used to evaluate something in line:
let boolean = true;
let output = match boolean {
false => 0,
true => 1,
}
// output will be trueWe actually have no concept of a pointer in Rust. Well... we kind of do, it's just a little different. In Rust, we don't create pointers, we borrow the ownership of the dynamic memory when we want to access it. This is where our concept of safety comes from. We never leave a pointer dangling or have dynamic memory allocated for longer than it needs to.
Let's see an example of a borrow. We have a function:
fn print_vec(vec: &Vec<u8>){
for i in vec {
println!("{}", i);
}
}And then we use it in this code.
let nums: Vec<u8> = Vec::new();
print_vec(nums); // no borrow???
let size = nums.len(); // uhh oh, this won't workIn the code above, we don't borrow ownership of "nums" when we pass it to our function that prints the vector, so the ownership is moved into that scope and then destroyed at the end of the function. This means once the code continues, we cannot access the length of the vector because it no longer exists.
The proper code would look like:
let nums: Vec<u8> = Vec::new();
print_vec(&nums); // borrow!
let size = nums.len(); // yay!In a lot of programming languages, we have the null or nil (Lua moment) or nullptr which allows us to assign a value to null.
Rust does not have this which is really great for us. Let's take the example of some C++ code:
char* val = nullptr;
// imagine some crazy code
std::cout << *val;WOW! We just dereferenced null and caused all sorts of problems. Since we can't do that in Rust, we same ourselves from that problem.
If we wanted to do a "null" value in Rust, it would look like this:
let mut val: Option<u64> = None; // value is "null"
// this will never happen
if let Some(number) = val {
// ..?
}
val = Some(10);
// this will happen!
if let Some(number) = val {
println!("the number is {}", number);
}
val = None;
// we can even do this
match val {
Some(number) => println!("the number is {}", number),
None => println!("rip, there is no number."),
}Wonderful. No NullPointerExceptions!
Rust provides us with a great Result datatype for error handling. Let's write a function that could throw an error:
fn do_some_work(fail: bool) -> Result<String, String> {
if fail {
return Err(String::from("not yay!"));
}
Ok(String::from("yay!"))
}and then our main function:
let passed = do_some_work(false);
if let Ok(message) = passed {
println!("{}", message)
}
let failed = do_some_work(true);
if let Err(message) = failed {
println!("{}", message)
}Seems silly here, but it is super powerful in practice. We could even unwrap a Result with match:
let output = match do_some_work(true) {
Ok(message) => message,
Err(message) => message
};
println!("{}", output);where in this case, the output variable will contain whatever message was returned, whether it be an Error or Ok.
So now you know a couple of Rust basics. That's great. Maybe we actually do something that is useful now. We're going to build the popular tree Linux command.
Cargo is Rust's package manager. It is super powerful and if you're ever building anything in Rust, you're going to need to use it. Let's make a new Rust project with cargo new list-files.
Now if we open that folder up, we will see a src/ folder with a main.rs. We can run the project with cargo run.
I want to make a tree view, similar to this:
list-files/
├── Cargo.toml
└── src
└── main.rs
The lesson will continue with us building the command in list-files/src/main.rs. The file is heavily commented and I will explain all the code as I write it.