Mozilla's systems programming language Rust
Pit Stop
We look at a few features of Rust, Mozilla's systems programming language, and its similarity to other languages.
The statically typed programming language Rust [1] places much emphasis on speed and security. Rust, like its inspiration C, stores fixed-sized variables in a stack. However, it stores pointer values in the main memory heap. The code in Listing 1 demonstrates controlled handling of allocated memory in Rust. If you compile Listing 1 in the shell via
rustc moved.rs
the compiler will abort the process with the error message moved_type.rs:8:3: 8:6 error: use of moved value: `vec` for line 8.
In Listing 1, the pointer vec
(line 6) generated in the main part of the program refers to the memory area in the heap that saves the representation of the vector with the components 1
, 2
, and 3
. Line 7 passes the pointer to print_length()
and makes the function the exclusive owner. As a consequence, the program can no longer use the pointer from line 7 onward, resulting in the error message.
Listing 1
Moved Value (moved_type.rs)
However, if you want to carry on using the pointer, you can temporarily lend it to print_length()
by passing in a "borrowed" pointer, &vec
, on line 7; also, the print_length()
function declaration in line 1 should be changed to vec: &Vec<i32>
. If print_length()
also needs to be able to change the pointer value, you can alternatively use the fragment vec: &mut Vec<i32>
.
However, Rust only allows developers to pass in a variable reference. If you want to handle resource borrowing correctly in all aspects of programming, Rust helps you do so with lifetimes [2]. Rust follows its own approach when releasing allocated memory: The Rust compiler releases memory automatically and does without a garbage collector as used in Java. The language also does not need to use the free()
function as in C and C++ to free memory programmatically.
Expressive
If Rust evaluates an expression, the return value is the result. However, all assignments have a return value: an empty tuple. As in many other languages, the semicolon acts as a grouping device to separate expressions and functions.
The following function determines the maximum of two integers, which it adds to the parameter list of the function named in the first line:
fn max(a:i32, b:i32) -> i32 { if a > b { return a }; b }
The max
function requires a 32-bit number as a data type for each parameter a
and b
. The return value to the right of the ->
operator is of the same type.
In the second line, the keyword return
(ret
in version 0.3) returns a
as the result. Otherwise, the next line returns the value b
. The last line of the function body does without a return
.
If the programmer were to mistakenly finish line 3 with a semicolon, the function would be invalid because that would convert the expression b
into an assignment. The return value type would thus be a tuple and not, as required, an integer.
Exemplary
Rust draws heavily on the repertoires of other languages. Like the function programming languages Haskell [3] and Standard ML [4], it uses patterns in various contexts. The assignment using the pattern (x,y,z)
on the left-hand side of the allocation
let (x,y,z) = (1,2,3);
declares the three variables x
, y
, and z
in one fell swoop. This assignment, also known as a destructuring assignment, assigns the value of 1
to x
, 2
to y
, and 3
to z
. The match
expression in
let w = match x { 0 => y+z, _ => y*z }
uses a pattern for case distinction to the left of the =>
operators. If the expression x
in the first case yields the value
, the variable w
stores the sum of y
and z
. In any other case, w
stores the product from the values of both variables.
Classless
Rust 1.0 scraps the concept of classes. Instead of class definitions, version 1.0 works with user-defined compound data types supplemented by methods, as required.
The keyword struct
introduces the definition of the user-defined data type container
in Listing 2. In line 2, an instance of container
stores a vector of 64-bit-wide floating-point numbers internally in content
.
Listing 2
Data Without Classes (impl.rs)
The block after the keyword impl
in line 5 defines the method that matches the Container
data type, such as print_content()
(lines 6-8). Thanks to the self
variable, it adopts a pointer to itself.
The next line indicates the number of floating-point numbers saved in content
using the macro println
to output via standard output in the shell. It also formats the results straightaway. However, before the macro does this, Rust replaces the placeholder {}
in the character string with the value of the len
method call for the vector from the content
component.
In the main part of the program, line 12 generates variable c
of type Container
. It then gets the vector – stored in the component content
– in line 13 after the colon. Line 16 also makes use of the print_content()
method with familiar dot notation. If a developer now compiles the file impl.rs
with
rustc impl.rs
and then executes it, the message The container stores 3 floats appears in the shell.
Buy this article as PDF
(incl. VAT)
Buy Linux Magazine
Subscribe to our Linux Newsletters
Find Linux and Open Source Jobs
Subscribe to our ADMIN Newsletters
Support Our Work
Linux Magazine content is made possible with support from readers like you. Please consider contributing when you’ve found an article to be beneficial.
News
-
Fedora 40 Beta Released Soon
With the official release of Fedora 40 coming in April, it's almost time to download the beta and see what's new.
-
New Pentesting Distribution to Compete with Kali Linux
SnoopGod is now available for your testing needs
-
Juno Computers Launches Another Linux Laptop
If you're looking for a powerhouse laptop that runs Ubuntu, the Juno Computers Neptune 17 v6 should be on your radar.
-
ZorinOS 17.1 Released, Includes Improved Windows App Support
If you need or desire to run Windows applications on Linux, there's one distribution intent on making that easier for you and its new release further improves that feature.
-
Linux Market Share Surpasses 4% for the First Time
Look out Windows and macOS, Linux is on the rise and has even topped ChromeOS to become the fourth most widely used OS around the globe.
-
KDE’s Plasma 6 Officially Available
KDE’s Plasma 6.0 "Megarelease" has happened, and it's brimming with new features, polish, and performance.
-
Latest Version of Tails Unleashed
Tails 6.0 is based on Debian 12 and includes GNOME 43.
-
KDE Announces New Slimbook V with Plenty of Power and KDE’s Plasma 6
If you're a fan of KDE Plasma, you'll be thrilled to hear they've announced a new Slimbook with an AMD CPU and the latest version of KDE Plasma desktop.
-
Monthly Sponsorship Includes Early Access to elementary OS 8
If you want to get a glimpse of what's in the pipeline for elementary OS 8, just set up a monthly sponsorship to help fund its continued existence.
-
DebConf24 to be Held in South Korea
Busan will be the location of the latest DebConf running July 28 through August 4