Rust Design Patterns
Rust Design Patterns
Rust Design Patterns
1 Introduction 3
1.1 Translations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2 Idioms 5
2.1 Use borrowed types for arguments . . . . . . . . . . . . . . . . . . . . . . . 5
2.2 Concatenating strings with format! . . . . . . . . . . . . . . . . . . . . . . 7
2.3 Constructors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.4 The Default Trait . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.5 Collections are smart pointers . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.6 Finalisation in destructors . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.7 mem::{take(_), replace(_)} to keep owned values in changed enums . . 14
2.8 On-Stack Dynamic Dispatch . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.9 FFI Idioms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.9.1 Error Handling in FFI . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.9.2 Accepting Strings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.9.3 Passing Strings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.10 Iterating over an Option . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.11 Pass variables to closure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.12 #[non_exhaustive] and private fields for extensibility . . . . . . . . . . . . 28
2.13 Easy doc initialization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.14 Temporary mutability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.15 Return consumed argument on error . . . . . . . . . . . . . . . . . . . . . . 32
3 Design Patterns 34
3.1 Behavioural Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.1.1 Command . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.1.2 Interpreter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.1.3 Newtype . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.1.4 RAII with guards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.1.5 Strategy (aka Policy) . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.1.6 Visitor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.2 Creational Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.2.1 Builder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.2.2 Fold . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.3 Structural Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.3.1 Struct decomposition for independent borrowing . . . . . . . . . . . . 55
3.3.2 Prefer small crates . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.3.3 Contain unsafety in small modules . . . . . . . . . . . . . . . . . . . . 59
1
3.4 FFI Patterns . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.4.1 Object-Based APIs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
3.4.2 Type Consolidation into Wrappers . . . . . . . . . . . . . . . . . . . . 64
4 Anti-patterns 67
4.1 Clone to satisfy the borrow checker . . . . . . . . . . . . . . . . . . . . . . . 67
4.2 #![deny(warnings)] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
4.3 Deref polymorphism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
6 Additional resources 88
6.1 Design principles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
2
Chapter 1
Introduction
Participation
If you are interested in contributing to this book, check out the contribution guidelines.
News
• 2024-03-17: You can now download the book in PDF format from this link.
Design patterns
In software development, we often come across problems that share similarities regardless
of the environment they appear in. Although the implementation details are crucial to solve
the task at hand, we may abstract from these particularities to find the common practices
that are generically applicable.
Design patterns are a collection of reusable and tested solutions to recurring problems in
engineering. They make our software more modular, maintainable, and extensible. Moreover,
these patterns provide a common language for developers, making them an excellent tool for
effective communication when problem-solving in teams.
3
• Anti-patterns: methods to solve common problems when coding. However, while design
patterns give us benefits, anti-patterns create more problems.
1.1 Translations
We are utilizing mdbook-i18n-helper. Please read up on how to add and update translations
in their repository
External translations
• 简体中文
If you want to add a translation, please open an issue in the main repository.
4
Chapter 2
Idioms
Idioms are commonly used styles, guidelines and patterns largely agreed upon by a commu-
nity. Writing idiomatic code allows other developers to understand better what is happening.
After all, the computer only cares about the machine code that is generated by the com-
piler. Instead, the source code is mainly beneficial to the developer. So, since we have this
abstraction layer, why not make it more readable?
Remember the KISS principle: ”Keep It Simple, Stupid”. It claims that ”most systems work
best if they are kept simple rather than made complicated; therefore, simplicity should be a
key goal in design, and unnecessary complexity should be avoided”.
Code is there for humans, not computers, to understand.
Example
For this example, we will illustrate some differences for using &String as a function argument
versus using a &str, but the ideas apply as well to using &Vec<T> versus using a &[T] or
using a &Box<T> versus a &T.
5
Consider an example where we wish to determine if a word contains three consecutive
vowels. We don't need to own the string to determine this, so we will take a reference.
The code might look something like this:
fn three_vowels(word: &String) -> bool {
let mut vowel_count = 0;
for c in word.chars() {
match c {
'a' | 'e' | 'i' | 'o' | 'u' => {
vowel_count += 1;
if vowel_count >= 3 {
return true
}
}
_ => vowel_count = 0
}
}
false
}
fn main() {
let ferris = "Ferris".to_string();
let curious = "Curious".to_string();
println!("{}: {}", ferris, three_vowels(&ferris));
println!("{}: {}", curious, three_vowels(&curious));
// This works fine, but the following two lines would fail:
// println!("Ferris: {}", three_vowels("Ferris"));
// println!("Curious: {}", three_vowels("Curious"));
}
This works fine because we are passing a &String type as a parameter. If we remove the
comments on the last two lines, the example will fail. This is because a &str type will not
coerce to a &String type. We can fix this by simply modifying the type for our argument.
For instance, if we change our function declaration to:
fn three_vowels(word: &str) -> bool {
then both versions will compile and print the same output.
Ferris: false
Curious: true
But wait, that's not all! There is more to this story. It's likely that you may say to yourself:
that doesn't matter, I will never be using a &'static str as an input anyways (as we did
when we used "Ferris"). Even ignoring this special example, you may still find that using
&str will give you more flexibility than using a &String.
Let's now take an example where someone gives us a sentence, and we want to determine if
any of the words in the sentence contain three consecutive vowels. We probably should make
use of the function we have already defined and simply feed in each word from the sentence.
An example of this could look like this:
6
fn three_vowels(word: &str) -> bool {
let mut vowel_count = 0;
for c in word.chars() {
match c {
'a' | 'e' | 'i' | 'o' | 'u' => {
vowel_count += 1;
if vowel_count >= 3 {
return true
}
}
_ => vowel_count = 0
}
}
false
}
fn main() {
let sentence_string =
"Once upon a time, there was a friendly curious crab named
↪ Ferris".to_string();
for word in sentence_string.split(' ') {
if three_vowels(word) {
println!("{word} has three consecutive vowels!");
}
}
}
Running this example using our function declared with an argument type &str will yield
curious has three consecutive vowels!
However, this example will not run when our function is declared with an argument type
&String. This is because string slices are a &str and not a &String which would require
an allocation to be converted to &String which is not implicit, whereas converting from
String to &str is cheap and implicit.
See also
• Rust Language Reference on Type Coercions
• For more discussion on how to handle String and &str see this blog series (2015) by
Herman J. Radtke III
7
Example
fn say_hello(name: &str) -> String {
// We could construct the result string manually.
// let mut result = "Hello ".to_owned();
// result.push_str(name);
// result.push('!');
// result
Advantages
Using format! is usually the most succinct and readable way to combine strings.
Disadvantages
It is usually not the most efficient way to combine strings - a series of push operations on a
mutable string is usually the most efficient (especially if the string has been pre-allocated to
the expected size).
2.3 Constructors
Description
Rust does not have constructors as a language construct. Instead, the convention is to use an
associated function new to create an object:
/// Time in seconds.
///
/// # Example
///
/// ```
/// let s = Second::new(42);
/// assert_eq!(42, s.value());
/// ```
pub struct Second {
value: u64
}
impl Second {
// Constructs a new instance of [`Second`].
// Note this is an associated function - no self.
pub fn new(value: u64) -> Self {
Self { value }
}
8
pub fn value(&self) -> u64 {
self.value
}
}
Default Constructors
Rust supports default constructors with the Default trait:
/// Time in seconds.
///
/// # Example
///
/// ```
/// let s = Second::default();
/// assert_eq!(0, s.value());
/// ```
pub struct Second {
value: u64
}
impl Second {
/// Returns the value in seconds.
pub fn value(&self) -> u64 {
self.value
}
}
impl Second {
/// Returns the value in seconds.
9
pub fn value(&self) -> u64 {
self.value
}
}
Note: It is common and expected for types to implement both Default and an empty new
constructor. new is the constructor convention in Rust, and users expect it to exist, so if it
is reasonable for the basic constructor to take no arguments, then it should, even if it is
functionally identical to default.
Hint: The advantage of implementing or deriving Default is that your type can now be used
where a Default implementation is required, most prominently, any of the *or_default
functions in the standard library.
See also
• The default idiom for a more in-depth description of the Default trait.
• The builder pattern for constructing objects where there are multiple configurations.
• API Guidelines/C-COMMON-TRAITS for implementing both, Default and new.
Example
use std::{path::PathBuf, time::Duration};
10
timeout: Duration,
// bool defaults to false
check: bool,
}
impl MyConfiguration {
// add setters here
}
fn main() {
// construct a new instance with default values
let mut conf = MyConfiguration::default();
// do something with conf here
conf.check = true;
println!("conf = {conf:#?}");
See also
• The constructor idiom is another way to generate instances that may or may not be
”default”
• The Default documentation (scroll down for the list of implementors)
• Option::unwrap_or_default()
• derive(new)
Example
use std::ops::Deref;
struct Vec<T> {
data: RawVec<T>,
//..
}
11
impl<T> Deref for Vec<T> {
type Target = [T];
Motivation
Ownership and borrowing are key aspects of the Rust language. Data structures must account
for these semantics properly to give a good user experience. When implementing a data
structure that owns its data, offering a borrowed view of that data allows for more flexible
APIs.
Advantages
Most methods can be implemented only for the borrowed view, they are then implicitly
available for the owning view.
Gives clients a choice between borrowing or taking ownership of data.
Disadvantages
Methods and traits only available via dereferencing are not taken into account when bounds
checking, so generic programming with data structures using this pattern can get complex
(see the Borrow and AsRef traits, etc.).
Discussion
Smart pointers and collections are analogous: a smart pointer points to a single object,
whereas a collection points to many objects. From the point of view of the type system, there
is little difference between the two. A collection owns its data if the only way to access each
datum is via the collection and the collection is responsible for deleting the data (even in
cases of shared ownership, some kind of borrowed view may be appropriate). If a collection
owns its data, it is usually useful to provide a view of the data as borrowed so that it can be
referenced multiple times.
Most smart pointers (e.g., Foo<T>) implement Deref<Target=T>. However, collections will
usually dereference to a custom type. [T] and str have some language support, but in the
general case, this is not necessary. Foo<T> can implement Deref<Target=Bar<T>> where
Bar is a dynamically sized type and &Bar<T> is a borrowed view of the data in Foo<T>.
Commonly, ordered collections will implement Index for Ranges to provide slicing syntax.
The target will be the borrowed view.
12
See also
• Deref polymorphism anti-pattern.
• Documentation for Deref trait.
Example
fn bar() -> Result<(), ()> {
// These don't need to be defined inside the function.
struct Foo;
// The dtor of _exit will run however the function `bar` is exited.
let _exit = Foo;
// Implicit return with `?` operator.
baz()?;
// Normal return.
Ok(())
}
Motivation
If a function has multiple return points, then executing code on exit becomes difficult and
repetitive (and thus bug-prone). This is especially the case where return is implicit due to a
macro. A common case is the ? operator which returns if the result is an Err, but continues if
it is Ok. ? is used as an exception handling mechanism, but unlike Java (which has finally),
there is no way to schedule code to run in both the normal and exceptional cases. Panicking
will also exit a function early.
Advantages
Code in destructors will (nearly) always be run - copes with panics, early returns, etc.
13
Disadvantages
It is not guaranteed that destructors will run. For example, if there is an infinite loop in a
function or if running a function crashes before exit. Destructors are also not run in the
case of a panic in an already panicking thread. Therefore, destructors cannot be relied on as
finalizers where it is absolutely essential that finalisation happens.
This pattern introduces some hard to notice, implicit code. Reading a function gives no clear
indication of destructors to be run on exit. This can make debugging tricky.
Requiring an object and Drop impl just for finalisation is heavy on boilerplate.
Discussion
There is some subtlety about how exactly to store the object used as a finalizer. It must be
kept alive until the end of the function and must then be destroyed. The object must always
be a value or uniquely owned pointer (e.g., Box<Foo>). If a shared pointer (such as Rc) is
used, then the finalizer can be kept alive beyond the lifetime of the function. For similar
reasons, the finalizer should not be moved or returned.
The finalizer must be assigned into a variable, otherwise it will be destroyed immediately,
rather than when it goes out of scope. The variable name must start with _ if the variable
is only used as a finalizer, otherwise the compiler will warn that the finalizer is never used.
However, do not call the variable _ with no suffix - in that case it will be destroyed immediately.
In Rust, destructors are run when an object goes out of scope. This happens whether we
reach the end of block, there is an early return, or the program panics. When panicking, Rust
unwinds the stack running destructors for each object in each stack frame. So, destructors
get called even if the panic happens in a function being called.
If a destructor panics while unwinding, there is no good action to take, so Rust aborts the
thread immediately, without running further destructors. This means that destructors are not
absolutely guaranteed to run. It also means that you must take extra care in your destructors
not to panic, since it could leave resources in an unexpected state.
See also
RAII guards.
14
Example
use std::mem;
enum MyEnum {
A { name: String, x: u8 },
B { name: String }
}
enum MultiVariateEnum {
A { name: String },
B { name: String },
C,
D
}
Motivation
When working with enums, we may want to change an enum value in place, perhaps to
another variant. This is usually done in two phases to keep the borrow checker happy. In the
first phase, we observe the existing value and look at its parts to decide what to do next. In
the second phase we may conditionally change the value (as in the example above).
The borrow checker won't allow us to take out name of the enum (because something must be
15
there.) We could of course .clone() name and put the clone into our MyEnum::B, but that
would be an instance of the Clone to satisfy the borrow checker anti-pattern. Anyway, we can
avoid the extra allocation by changing e with only a mutable borrow.
mem::take lets us swap out the value, replacing it with its default value, and returning the
previous value. For String, the default value is an empty String, which does not need to
allocate. As a result, we get the original name as an owned value. We can then wrap this in
another enum.
NOTE: mem::replace is very similar, but allows us to specify what to replace the value with.
An equivalent to our mem::take line would be mem::replace(name, String::new()).
Note, however, that if we are using an Option and want to replace its value with a None,
Option’s take() method provides a shorter and more idiomatic alternative.
Advantages
Look ma, no allocation! Also you may feel like Indiana Jones while doing it.
Disadvantages
This gets a bit wordy. Getting it wrong repeatedly will make you hate the borrow checker.
The compiler may fail to optimize away the double store, resulting in reduced performance
as opposed to what you'd do in unsafe languages.
Furthermore, the type you are taking needs to implement the Default trait. However, if the
type you're working with doesn't implement this, you can instead use mem::replace.
Discussion
This pattern is only of interest in Rust. In GC'd languages, you'd take the reference to the
value by default (and the GC would keep track of refs), and in other low-level languages like
C you'd simply alias the pointer and fix things later.
However, in Rust, we have to do a little more work to do this. An owned value may only have
one owner, so to take it out, we need to put something back in – like Indiana Jones, replacing
the artifact with a bag of sand.
See also
This gets rid of the Clone to satisfy the borrow checker anti-pattern in a specific case.
16
Example
use std::io;
use std::fs;
// These must live longer than `readable`, and thus are declared first:
let (mut stdin_read, mut file_read);
# Ok(())
# }
Motivation
Rust monomorphises code by default. This means a copy of the code will be generated for
each type it is used with and optimized independently. While this allows for very fast code
on the hot path, it also bloats the code in places where performance is not of the essence,
thus costing compile time and cache usage.
Luckily, Rust allows us to use dynamic dispatch, but we have to explicitly ask for it.
Advantages
We do not need to allocate anything on the heap. Neither do we need to initialize something
we won't use later, nor do we need to monomorphize the whole code that follows to work
with both File or Stdin.
Disadvantages
The code needs more moving parts than the Box-based version:
// We still need to ascribe the type for dynamic dispatch.
let readable: Box<dyn io::Read> = if arg == "-" {
Box::new(io::stdin())
} else {
Box::new(fs::File::open(arg)?)
};
// Read from `readable` here.
17
Discussion
Rust newcomers will usually learn that Rust requires all variables to be initialized before use,
so it's easy to overlook the fact that unused variables may well be uninitialized. Rust works
quite hard to ensure that this works out fine and only the initialized values are dropped at
the end of their scope.
The example meets all the constraints Rust places on us:
• All variables are initialized before using (in this case borrowing) them
• Each variable only holds values of a single type. In our example, stdin is of type Stdin,
file is of type File and readable is of type &mut dyn Read
• Each borrowed value outlives all the references borrowed from it
See also
• Finalisation in destructors and RAII guards can benefit from tight control over lifetimes.
• For conditionally filled Option<&T>s of (mutable) references, one can initialize an
Option<T> directly and use its .as_ref() method to get an optional reference.
In foreign languages like C, errors are represented by return codes. However, Rust's type
system allows much more rich error information to be captured and propagated through a
full type.
This best practice shows different kinds of error codes, and how to expose them in a usable
way:
1. Flat Enums should be converted to integers and returned as codes.
2. Structured Enums should be converted to an integer code with a string error message
for detail.
3. Custom Error Types should become ”transparent”, with a C representation.
Code Example
Flat Enums
18
enum DatabaseError {
IsReadOnly = 1, // user attempted a write operation
IOError = 2, // user should read the C errno() for what it was
FileCorrupted = 3, // user should run a repair tool to recover it
}
Structured Enums
pub mod errors {
enum DatabaseError {
IsReadOnly,
IOError(std::io::Error),
FileCorrupted(String), // message describing the issue
}
#[no_mangle]
pub extern "C" fn db_error_description(
e: *const DatabaseError
) -> *mut libc::c_char {
19
format!("I/O Error: {e}");
}
DatabaseError::FileCorrupted(s) => {
format!("File corrupted, run repair: {}", &s);
}
};
if malloc.is_null() {
return std::ptr::null_mut();
}
std::ptr::write(malloc.add(error_str.len()), 0);
c_error
}
}
20
let ParseError { expected, line, ch } = e;
parse_error { expected, line, ch }
}
}
Advantages
This ensures that the foreign language has clear access to error information while not com-
promising the Rust code's API at all.
Disadvantages
It's a lot of typing, and some types may not be able to be converted easily to C.
When accepting strings via FFI through pointers, there are two principles that should be
followed:
1. Keep foreign strings ”borrowed”, rather than copying them directly.
2. Minimize the amount of complexity and unsafe code involved in converting from a
C-style string to native Rust strings.
Motivation
The strings used in C have different behaviours to those used in Rust, namely:
• C strings are null-terminated while Rust strings store their length
• C strings can contain any arbitrary non-zero byte while Rust strings must be UTF-8
• C strings are accessed and manipulated using unsafe pointer operations while interac-
tions with Rust strings go through safe methods
The Rust standard library comes with C equivalents of Rust's String and &str called CString
and &CStr, that allow us to avoid a lot of the complexity and unsafe code involved in
converting between C strings and Rust strings.
The &CStr type also allows us to work with borrowed data, meaning passing strings between
Rust and C is a zero-cost operation.
Code Example
21
/// - is not a null pointer
/// - points to valid, initialized data
/// - points to memory ending in a null byte
/// - won't be mutated for the duration of this function call
#[no_mangle]
pub unsafe extern "C" fn mylib_log(
msg: *const libc::c_char,
level: libc::c_int
) {
let level: crate::LogLevel = match level { /* ... */ };
crate::log(msg_str, level);
}
}
Advantages
22
let mut msg_data = Vec::with_capacity(msg_len + 1);
msg_data.set_len(msg_len + 1);
std::ffi::CString::from_vec_with_nul(msg_data).unwrap()
}
crate::log(&msg_str, level);
}
}
This code in inferior to the original in two respects:
1. There is much more unsafe code, and more importantly, more invariants it must uphold.
2. Due to the extensive arithmetic required, there is a bug in this version that cases Rust
undefined behaviour.
The bug here is a simple mistake in pointer arithmetic: the string was copied, all msg_len
bytes of it. However, the NUL terminator at the end was not.
The Vector then had its size set to the length of the zero padded string -- rather than resized
to it, which could have added a zero at the end. As a result, the last byte in the Vector is
uninitialized memory. When the CString is created at the bottom of the block, its read of
the Vector will cause undefined behaviour!
Like many such issues, this would be difficult issue to track down. Sometimes it would panic
because the string was not UTF-8, sometimes it would put a weird character at the end of the
string, sometimes it would just completely crash.
Disadvantages
None?
23
2.9.3 Passing Strings
Description
When passing strings to FFI functions, there are four principles that should be followed:
1. Make the lifetime of owned strings as long as possible.
2. Minimize unsafe code during the conversion.
3. If the C code can modify the string data, use Vec instead of CString.
4. Unless the Foreign Function API requires it, the ownership of the string should not
transfer to the callee.
Motivation
Rust has built-in support for C-style strings with its CString and CStr types. However, there
are different approaches one can take with strings that are being sent to a foreign function
call from a Rust function.
The best practice is simple: use CString in such a way as to minimize unsafe code. However,
a secondary caveat is that the object must live long enough, meaning the lifetime should be
maximized. In addition, the documentation explains that ”round-tripping” a CString after
modification is UB, so additional work is necessary in that case.
Code Example
extern "C" {
fn seterr(message: *const libc::c_char);
fn geterr(buffer: *mut libc::c_char, size: libc::c_int) ->
↪ libc::c_int;
}
fn report_error_to_ffi<S: Into<String>>(
err: S
) -> Result<(), std::ffi::NulError>{
let c_err = std::ffi::CString::new(err.into())?;
unsafe {
// SAFETY: calling an FFI whose documentation says the
↪ pointer is
// const, so no modification should occur
seterr(c_err.as_ptr());
}
Ok(())
// The lifetime of c_err continues until here
}
24
let mut buffer = vec![0u8; 1024];
unsafe {
// SAFETY: calling an FFI whose documentation implies
// that the input need only live as long as the call
let written: usize = geterr(buffer.as_mut_ptr(),
↪ 1023).into();
buffer.truncate(written + 1);
}
std::ffi::CString::new(buffer).unwrap().into_string()
}
}
Advantages
Disadvantages
None?
25
2.10 Iterating over an Option
Description
Option can be viewed as a container that contains either zero or one element. In particular,
it implements the IntoIterator trait, and as such can be used with generic code that needs
such a type.
Examples
Since Option implements IntoIterator, it can be used as an argument to .extend():
let turing = Some("Turing");
let mut logicians = vec!["Curry", "Kleene", "Markov"];
logicians.extend(turing);
// equivalent to
if let Some(turing_inner) = turing {
logicians.push(turing_inner);
}
If you need to tack an Option to the end of an existing iterator, you can pass it to .chain():
let turing = Some("Turing");
let logicians = vec!["Curry", "Kleene", "Markov"];
See also
• std::iter::once is an iterator which yields exactly one element. It's a more readable
alternative to Some(foo).into_iter().
• Iterator::filter_map is a version of Iterator::map, specialized to mapping func-
tions which return Option.
• The ref_slice crate provides functions for converting an Option to a zero- or one-
element slice.
• Documentation for Option<T>
26
2.11 Pass variables to closure
Description
By default, closures capture their environment by borrowing. Or you can use a move-closure
to move the whole environment. However, often you want to move just some variables to the
closure, give it a copy of some data, pass by reference, or perform some other transformation.
Use variable rebinding in a separate scope for that.
Example
Use
use std::rc::Rc;
Advantages
Copied data are grouped together with the closure definition, so their purpose is more clear,
and they will be dropped immediately even if they are not consumed by the closure.
The closure uses the same variable names as the surrounding code, whether data are copied
or moved.
Disadvantages
Additional indentation of the closure body.
27
2.12 #[non_exhaustive] and private fields for extensibility
Description
A small set of scenarios exist where a library author may want to add public fields to a public
struct or new variants to an enum without breaking backwards compatibility.
Rust offers two solutions to this problem:
• Use #[non_exhaustive] on structs, enums, and enum variants. For extensive docu-
mentation on all the places where #[non_exhaustive] can be used, see the docs.
• You may add a private field to a struct to prevent it from being directly instantiated or
matched against (see Alternative)
Example
mod a {
// Public struct.
#[non_exhaustive]
pub struct S {
pub foo: i32,
}
#[non_exhaustive]
pub enum AdmitMoreVariants {
VariantA,
VariantB,
#[non_exhaustive]
VariantC { a: String }
}
}
fn print_matched_variants(s: a::S) {
// Because S is `#[non_exhaustive]`, it cannot be named here and
// we must use `..` in the pattern.
let a::S { foo: _, ..} = s;
28
Alternative: Private fields for structs
#[non_exhaustive] only works across crate boundaries. Within a crate, the private field
method may be used.
Adding a field to a struct is a mostly backwards compatible change. However, if a client uses
a pattern to deconstruct a struct instance, they might name all the fields in the struct and
adding a new one would break that pattern. The client could name some fields and use .. in
the pattern, in which case adding another field is backwards compatible. Making at least one
of the struct's fields private forces clients to use the latter form of patterns, ensuring that the
struct is future-proof.
The downside of this approach is that you might need to add an otherwise unneeded field to
the struct. You can use the () type so that there is no runtime overhead and prepend _ to the
field name to avoid the unused field warning.
pub struct S {
pub a: i32,
// Because `b` is private, you cannot match on `S` without using
↪ `..` and `S`
// cannot be directly instantiated or matched against
_b: ()
}
Discussion
On structs, #[non_exhaustive] allows adding additional fields in a backwards compatible
way. It will also prevent clients from using the struct constructor, even if all the fields are
public. This may be helpful, but it's worth considering if you want an additional field to be
found by clients as a compiler error rather than something that may be silently undiscovered.
#[non_exhaustive] can be applied to enum variants as well. A #[non_exhaustive] vari-
ant behaves in the same way as a #[non_exhaustive] struct.
Use this deliberately and with caution: incrementing the major version when adding fields
or variants is often a better option. #[non_exhaustive] may be appropriate in scenarios
where you're modeling an external resource that may change out-of-sync with your library,
but is not a general purpose tool.
Disadvantages
#[non_exhaustive] can make your code much less ergonomic to use, especially when forced
to handle unknown enum variants. It should only be used when these sorts of evolutions are
required without incrementing the major version.
When #[non_exhaustive] is applied to enums, it forces clients to handle a wildcard vari-
ant. If there is no sensible action to take in this case, this may lead to awkward code and
code paths that are only executed in extremely rare circumstances. If a client decides to
panic!() in this scenario, it may have been better to expose this error at compile time. In
fact, #[non_exhaustive] forces clients to handle the ”Something else” case; there is rarely
a sensible action to take in this scenario.
29
See also
• RFC introducing #[non_exhaustive] attribute for enums and structs
Motivation
Sometimes there is a struct with multiple or complicated parameters and several methods.
Each of these methods should have examples.
For example:
struct Connection {
name: String,
stream: TcpStream,
}
impl Connection {
/// Sends a request over the connection.
///
/// # Example
/// ```no_run
/// # // Boilerplate are required to get an example working.
/// # let stream = TcpStream::connect("127.0.0.1:34254");
/// # let connection = Connection { name: "foo".to_owned(), stream
↪ };
/// # let request = Request::new("RequestId", RequestType::Get,
↪ "payload");
/// let response = connection.send_request(request);
/// assert!(response.is_ok());
/// ```
fn send_request(&self, request: Request) -> Result<Status, SendErr>
↪ {
// ...
}
30
Example
Instead of typing all of this boilerplate to create a Connection and Request, it is easier to
just create a wrapping helper function which takes them as arguments:
struct Connection {
name: String,
stream: TcpStream,
}
impl Connection {
/// Sends a request over the connection.
///
/// # Example
/// ```
/// # fn call_send(connection: Connection, request: Request) {
/// let response = connection.send_request(request);
/// assert!(response.is_ok());
/// # }
/// ```
fn send_request(&self, request: Request) {
// ...
}
}
Note in the above example the line assert!(response.is_ok()); will not actually run
while testing because it is inside a function which is never invoked.
Advantages
This is much more concise and avoids repetitive code in examples.
Disadvantages
As example is in a function, the code will not be tested. Though it will still be checked to make
sure it compiles when running a cargo test. So this pattern is most useful when you need
no_run. With this, you do not need to add no_run.
Discussion
If assertions are not required this pattern works well.
If they are, an alternative can be to create a public method to create a helper instance which
is annotated with #[doc(hidden)] (so that users won't see it). Then this method can be
called inside of rustdoc because it is part of the crate's public API.
31
2.14 Temporary mutability
Description
Often it is necessary to prepare and process some data, but after that data are only inspected
and never modified. The intention can be made explicit by redefining the mutable variable
as immutable.
It can be done either by processing data within a nested block or by redefining the variable.
Example
Say, vector must be sorted before usage.
Using nested block:
let data = {
let mut data = get_vec();
data.sort();
data
};
Advantages
Compiler ensures that you don't accidentally mutate data after some point.
Disadvantages
Nested block requires additional indentation of block body. One more line to return data
from block or redefine variable.
Example
pub fn send(value: String) -> Result<(), SendError> {
println!("using {value} in a meaningful way");
32
// Simulate non-deterministic fallible action.
use std::time::SystemTime;
let period =
↪ SystemTime::now().duration_since(SystemTime::UNIX_EPOCH).unwrap();
if period.subsec_nanos() % 2 == 1 {
Ok(())
} else {
Err(SendError(value))
}
}
fn main() {
let mut value = "imagine this is very long string".to_string();
println!("success: {success}");
}
Motivation
In case of error you may want to try some alternative way or to retry action in case of non-
deterministic function. But if the argument is always consumed, you are forced to clone it on
every call, which is not very efficient.
The standard library uses this approach in e.g. String::from_utf8 method. When given a
vector that doesn't contain valid UTF-8, a FromUtf8Error is returned. You can get original
vector back using FromUtf8Error::into_bytes method.
Advantages
Better performance because of moving arguments whenever possible.
Disadvantages
Slightly more complex error types.
33
Chapter 3
Design Patterns
Design patterns are ”general reusable solutions to a commonly occurring problem within a
given context in software design”. Design patterns are a great way to describe the culture
of a programming language. Design patterns are very language-specific - what is a pattern
in one language may be unnecessary in another due to a language feature, or impossible to
express due to a missing feature.
If overused, design patterns can add unnecessary complexity to programs. However, they
are a great way to share intermediate and advanced level knowledge about a programming
language.
YAGNI
YAGNI is an acronym that stands for You Aren't Going to Need It. It's a vital software
design principle to apply as you write code.
The best code I ever wrote was code I never wrote.
If we apply YAGNI to design patterns, we see that the features of Rust allow us to throw out
many patterns. For instance, there is no need for the strategy pattern in Rust because we can
just use traits.
34
3.1.1 Command
Description
The basic idea of the Command pattern is to separate out actions into its own objects and
pass them as parameters.
Motivation
Example
Define two database operations create table and add field. Each of these operations is
a command which knows how to undo the command, e.g., drop table and remove field.
When a user invokes a database migration operation then each command is executed in
the defined order, and when the user invokes the rollback operation then the whole set of
commands is invoked in reverse order.
We define a common trait which encapsulates our command with two operations execute
and rollback. All command structs must implement this trait.
pub trait Migration {
fn execute(&self) -> &str;
fn rollback(&self) -> &str;
}
35
}
struct Schema {
commands: Vec<Box<dyn Migration>>,
}
impl Schema {
fn new() -> Self {
Self { commands: vec![] }
}
fn main() {
let mut schema = Schema::new();
36
struct Schema {
commands: Vec<Command>,
}
impl Schema {
fn new() -> Self {
Self { commands: vec![] }
}
fn add_migration(&mut self, execute: FnPtr, rollback: FnPtr) {
self.commands.push(Command { execute, rollback });
}
fn execute(&self) -> Vec<String> {
self.commands.iter().map(|cmd| (cmd.execute)()).collect()
}
fn rollback(&self) -> Vec<String> {
self.commands
.iter()
.rev()
.map(|cmd| (cmd.rollback)())
.collect()
}
}
fn main() {
let mut schema = Schema::new();
schema.add_migration(|| "create table".to_string(), || "drop
↪ table".to_string());
schema.add_migration(add_field, remove_field);
assert_eq!(vec!["create table", "add field"], schema.execute());
assert_eq!(vec!["remove field", "drop table"], schema.rollback());
}
Finally, instead of defining a common command trait we could store each command imple-
menting the Fn trait separately in vectors.
type Migration<'a> = Box<dyn Fn() -> &'a str>;
struct Schema<'a> {
executes: Vec<Migration<'a>>,
rollbacks: Vec<Migration<'a>>,
37
}
impl<'a> Schema<'a> {
fn new() -> Self {
Self {
executes: vec![],
rollbacks: vec![],
}
}
fn add_migration<E, R>(&mut self, execute: E, rollback: R)
where
E: Fn() -> &'a str + 'static,
R: Fn() -> &'a str + 'static,
{
self.executes.push(Box::new(execute));
self.rollbacks.push(Box::new(rollback));
}
fn execute(&self) -> Vec<&str> {
self.executes.iter().map(|cmd| cmd()).collect()
}
fn rollback(&self) -> Vec<&str> {
self.rollbacks.iter().rev().map(|cmd| cmd()).collect()
}
}
fn main() {
let mut schema = Schema::new();
schema.add_migration(|| "create table", || "drop table");
schema.add_migration(add_field, remove_field);
assert_eq!(vec!["create table", "add field"], schema.execute());
assert_eq!(vec!["remove field", "drop table"], schema.rollback());
}
Discussion
If our commands are small and may be defined as functions or passed as a closure then using
function pointers might be preferable since it does not exploit dynamic dispatch. But if our
command is a whole struct with a bunch of functions and variables defined as separated
module then using trait objects would be more suitable. A case of application can be found
in actix, which uses trait objects when it registers a handler function for routes. In case of
using Fn trait objects we can create and use commands in the same way as we used in case of
function pointers.
38
As performance, there is always a trade-off between performance and code simplicity and
organisation. Static dispatch gives faster performance, while dynamic dispatch provides
flexibility when we structure our application.
See also
• Command pattern
• Another example for the command pattern
3.1.2 Interpreter
Description
If a problem occurs very often and requires long and repetitive steps to solve it, then the
problem instances might be expressed in a simple language and an interpreter object could
solve it by interpreting the sentences written in this simple language.
Basically, for any kind of problems we define:
• A domain specific language,
• A grammar for this language,
• An interpreter that solves the problem instances.
Motivation
Our goal is to translate simple mathematical expressions into postfix expressions (or Reverse
Polish notation) For simplicity, our expressions consist of ten digits 0, ..., 9 and two operations
+, -. For example, the expression 2 + 4 is translated into 2 4 +.
Our task is translating infix expressions into postfix ones. Let's define a context free grammar
for a set of infix expressions over 0, ..., 9, +, and -, where:
• Terminal symbols: 0, ..., 9, +, -
• Non-terminal symbols: exp, term
• Start symbol is exp
• And the following are production rules
exp -> exp + term
exp -> exp - term
exp -> term
term -> 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
NOTE: This grammar should be further transformed depending on what we are going to do
with it. For example, we might need to remove left recursion. For more details please see
Compilers: Principles,Techniques, and Tools (aka Dragon Book).
Solution
We simply implement a recursive descent parser. For simplicity's sake, the code panics when
an expression is syntactically wrong (for example 2-34 or 2+5- are wrong according to the
grammar definition).
39
pub struct Interpreter<'a> {
it: std::str::Chars<'a>,
}
impl<'a> Interpreter<'a> {
pub fn main() {
let mut intr = Interpreter::new("2+3");
let mut postfix = String::new();
intr.interpret(&mut postfix);
assert_eq!(postfix, "23+");
intr = Interpreter::new("1-2+3-4");
postfix.clear();
intr.interpret(&mut postfix);
assert_eq!(postfix, "12-3+4-");
}
40
Discussion
There may be a wrong perception that the Interpreter design pattern is about design gram-
mars for formal languages and implementation of parsers for these grammars. In fact, this
pattern is about expressing problem instances in a more specific way and implementing func-
tions/classes/structs that solve these problem instances. Rust language has macro_rules!
that allow us to define special syntax and rules on how to expand this syntax into source
code.
In the following example we create a simple macro_rules! that computes Euclidean length of
n dimensional vectors. Writing norm!(x,1,2) might be easier to express and more efficient
than packing x,1,2 into a Vec and calling a function computing the length.
macro_rules! norm {
($($element:expr),*) => {
{
let mut n = 0.0;
$(
n += ($element as f64)*($element as f64);
)*
n.sqrt()
}
};
}
fn main() {
let x = -3f64;
let y = 4f64;
assert_eq!(3f64, norm!(x));
assert_eq!(5f64, norm!(x, y));
assert_eq!(0f64, norm!(0, 0, 0));
assert_eq!(1f64, norm!(0.5, -0.5, 0.5, -0.5));
}
See also
• Interpreter pattern
• Context free grammar
• macro_rules!
3.1.3 Newtype
What if in some cases we want a type to behave similar to another type or enforce some
behaviour at compile time when using only type aliases would not be enough?
For example, if we want to create a custom Display implementation for String due to
security considerations (e.g. passwords).
For such cases we could use the Newtype pattern to provide type safety and encapsulation.
41
Description
Use a tuple struct with a single field to make an opaque wrapper for a type. This creates a
new type, rather than an alias to a type (type items).
Example
use std::fmt::Display;
fn main() {
let unsecured_password: String = "ThisIsMyPassword".to_string();
let secured_password: Password =
↪ Password(unsecured_password.clone());
println!("unsecured_password: {unsecured_password}");
println!("secured_password: {secured_password}");
}
unsecured_password: ThisIsMyPassword
secured_password: ****************
Motivation
The primary motivation for newtypes is abstraction. It allows you to share implementation
details between types while precisely controlling the interface. By using a newtype rather than
exposing the implementation type as part of an API, it allows you to change implementation
backwards compatibly.
Newtypes can be used for distinguishing units, e.g., wrapping f64 to give distinguishable
Miles and Kilometres.
Advantages
The wrapped and wrapper types are not type compatible (as opposed to using type), so users
of the newtype will never 'confuse' the wrapped and wrapper types.
Newtypes are a zero-cost abstraction - there is no runtime overhead.
The privacy system ensures that users cannot access the wrapped type (if the field is private,
which it is by default).
Disadvantages
The downside of newtypes (especially compared with type aliases), is that there is no special
language support. This means there can be a lot of boilerplate. You need a 'pass through'
42
method for every method you want to expose on the wrapped type, and an impl for every
trait you want to also be implemented for the wrapper type.
Discussion
Newtypes are very common in Rust code. Abstraction or representing units are the most
common uses, but they can be used for other reasons:
• restricting functionality (reduce the functions exposed or traits implemented),
• making a type with copy semantics have move semantics,
• abstraction by providing a more concrete type and thus hiding internal types, e.g.,
pub struct Foo(Bar<T1, T2>);
Here, Bar might be some public, generic type and T1 and T2 are some internal types. Users
of our module shouldn't know that we implement Foo by using a Bar, but what we're really
hiding here is the types T1 and T2, and how they are used with Bar.
See also
RAII stands for ”Resource Acquisition is Initialisation” which is a terrible name. The essence of
the pattern is that resource initialisation is done in the constructor of an object and finalisation
in the destructor. This pattern is extended in Rust by using a RAII object as a guard of some
resource and relying on the type system to ensure that access is always mediated by the guard
object.
Example
Mutex guards are the classic example of this pattern from the std library (this is a simplified
version of the real implementation):
use std::ops::Deref;
struct Foo {}
struct Mutex<T> {
// We keep a reference to our data: T here.
//..
}
43
}
fn baz(x: Mutex<Foo>) {
let xx = x.lock();
xx.foo(); // foo is a method on Foo.
// The borrow checker ensures we can't store a reference to the
↪ underlying
// Foo which will outlive the guard xx.
Motivation
Where a resource must be finalised after use, RAII can be used to do this finalisation. If it is
an error to access that resource after finalisation, then this pattern can be used to prevent
such errors.
44
Advantages
Prevents errors where a resource is not finalised and where a resource is used after finalisa-
tion.
Discussion
RAII is a useful pattern for ensuring resources are properly deallocated or finalised. We can
make use of the borrow checker in Rust to statically prevent errors stemming from using
resources after finalisation takes place.
The core aim of the borrow checker is to ensure that references to data do not outlive that
data. The RAII guard pattern works because the guard object contains a reference to the
underlying resource and only exposes such references. Rust ensures that the guard cannot
outlive the underlying resource and that references to the resource mediated by the guard
cannot outlive the guard. To see how this works it is helpful to examine the signature of
deref without lifetime elision:
fn deref<'a>(&'a self) -> &'a T {
//..
}
The returned reference to the resource has the same lifetime as self ('a). The borrow
checker therefore ensures that the lifetime of the reference to T is shorter than the lifetime
of self.
Note that implementing Deref is not a core part of this pattern, it only makes using the guard
object more ergonomic. Implementing a get method on the guard works just as well.
See also
The Strategy design pattern is a technique that enables separation of concerns. It also allows
to decouple software modules through Dependency Inversion.
The basic idea behind the Strategy pattern is that, given an algorithm solving a particular
problem, we define only the skeleton of the algorithm at an abstract level, and we separate
the specific algorithm’s implementation into different parts.
In this way, a client using the algorithm may choose a specific implementation, while the
general algorithm workflow remains the same. In other words, the abstract specification of
the class does not depend on the specific implementation of the derived class, but specific
implementation must adhere to the abstract specification. This is why we call it ”Dependency
Inversion”.
45
Motivation
Imagine we are working on a project that generates reports every month. We need the reports
to be generated in different formats (strategies), e.g., in JSON or Plain Text formats. But
things vary over time, and we don't know what kind of requirement we may get in the future.
For example, we may need to generate our report in a completely new format, or just modify
one of the existing formats.
Example
In this example our invariants (or abstractions) are Formatter and Report, while Text and
Json are our strategy structs. These strategies have to implement the Formatter trait.
use std::collections::HashMap;
trait Formatter {
fn format(&self, data: &Data, buf: &mut String);
}
struct Report;
impl Report {
// Write should be used but we kept it as String to ignore error
↪ handling
fn generate<T: Formatter>(g: T, s: &mut String) {
// backend operations...
let mut data = HashMap::new();
data.insert("one".to_string(), 1);
data.insert("two".to_string(), 2);
// generate report
g.format(&data, s);
}
}
struct Text;
impl Formatter for Text {
fn format(&self, data: &Data, buf: &mut String) {
for (k, v) in data {
let entry = format!("{k} {v}\n");
buf.push_str(&entry);
}
}
}
struct Json;
impl Formatter for Json {
fn format(&self, data: &Data, buf: &mut String) {
buf.push('[');
for (k, v) in data.into_iter() {
let entry = format!(r#"{{"{}":"{}"}}"#, k, v);
46
buf.push_str(&entry);
buf.push(',');
}
if !data.is_empty() {
buf.pop(); // remove extra , at the end
}
buf.push(']');
}
}
fn main() {
let mut s = String::from("");
Report::generate(Text, &mut s);
assert!(s.contains("one 1"));
assert!(s.contains("two 2"));
Advantages
The main advantage is separation of concerns. For example, in this case Report does not
know anything about specific implementations of Json and Text, whereas the output im-
plementations does not care about how data is preprocessed, stored, and fetched. The only
thing they have to know is a specific trait to implement and its method defining the concrete
algorithm implementation processing the result, i.e., Formatter and format(...).
Disadvantages
For each strategy there must be implemented at least one module, so number of modules
increases with number of strategies. If there are many strategies to choose from then users
have to know how strategies differ from one another.
Discussion
In the previous example all strategies are implemented in a single file. Ways of providing
different strategies includes:
• All in one file (as shown in this example, similar to being separated as modules)
• Separated as modules, E.g. formatter::json module, formatter::text module
• Use compiler feature flags, E.g. json feature, text feature
• Separated as crates, E.g. json crate, text crate
Serde crate is a good example of the Strategy pattern in action. Serde allows full customiza-
tion of the serialization behavior by manually implementing Serialize and Deserialize
traits for our type. For example, we could easily swap serde_json with serde_cbor since
they expose similar methods. Having this makes the helper crate serde_transcode much
more useful and ergonomic.
47
However, we don't need to use traits in order to design this pattern in Rust.
The following toy example demonstrates the idea of the Strategy pattern using Rust closures:
struct Adder;
impl Adder {
pub fn add<F>(x: u8, y: u8, f: F) -> u8
where
F: Fn(u8, u8) -> u8,
{
f(x, y)
}
}
fn main() {
let arith_adder = |x, y| x + y;
let bool_adder = |x, y| {
if x == 1 || y == 1 {
1
} else {
0
}
};
let custom_adder = |x, y| 2 * x + y;
See also
• Strategy Pattern
• Dependency Injection
• Policy Based Design
• Implementing a TCP server for Space Applications in Rust using the Strategy Pattern
48
3.1.6 Visitor
Description
Example
use visit::*;
use ast::*;
49
Stmt::Expr(ref e) => self.visit_expr(e),
Stmt::Let(..) => unimplemented!(),
}
}
Motivation
The visitor pattern is useful anywhere that you want to apply an algorithm to heterogeneous
data. If data is homogeneous, you can use an iterator-like pattern. Using a visitor object
(rather than a functional approach) allows the visitor to be stateful and thus communicate
information between nodes.
Discussion
It is common for the visit_* methods to return void (as opposed to in the example). In that
case it is possible to factor out the traversal code and share it between algorithms (and also
to provide noop default methods). In Rust, the common way to do this is to provide walk_*
functions for each datum. For example,
pub fn walk_expr(visitor: &mut Visitor, e: &Expr) {
match *e {
Expr::IntLit(_) => {},
Expr::Add(ref lhs, ref rhs) => {
visitor.visit_expr(lhs);
visitor.visit_expr(rhs);
}
Expr::Sub(ref lhs, ref rhs) => {
visitor.visit_expr(lhs);
visitor.visit_expr(rhs);
}
}
}
In other languages (e.g., Java) it is common for data to have an accept method which performs
the same duty.
50
See also
3.2.1 Builder
Description
Example
#[derive(Debug, PartialEq)]
pub struct Foo {
// Lots of complicated fields.
bar: String,
}
impl Foo {
// This method will help users to discover the builder
pub fn builder() -> FooBuilder {
FooBuilder::default()
}
}
#[derive(Default)]
pub struct FooBuilder {
// Probably lots of optional fields.
bar: String,
}
impl FooBuilder {
pub fn new(/* ... */) -> FooBuilder {
// Set the minimally required fields of Foo.
FooBuilder {
bar: String::from("X"),
}
}
51
pub fn name(mut self, bar: String) -> FooBuilder {
// Set the name on the builder itself, and return the builder by
↪ value.
self.bar = bar;
self
}
// If we can get away with not consuming the Builder here, that is
↪ an
// advantage. It means we can use the FooBuilder as a template for
↪ constructing
// many Foos.
pub fn build(self) -> Foo {
// Create a Foo from the FooBuilder, applying all settings in
↪ FooBuilder
// to Foo.
Foo { bar: self.bar }
}
}
#[test]
fn builder_test() {
let foo = Foo {
bar: String::from("Y"),
};
let foo_from_builder: Foo =
↪ FooBuilder::new().name(String::from("Y")).build();
assert_eq!(foo, foo_from_builder);
}
Motivation
Useful when you would otherwise require many constructors or where construction has side
effects.
Advantages
Disadvantages
More complex than creating a struct object directly, or a simple constructor function.
Discussion
This pattern is seen more frequently in Rust (and for simpler objects) than in many other
languages because Rust lacks overloading. Since you can only have a single method with a
given name, having multiple constructors is less nice in Rust than in C++, Java, or others.
52
This pattern is often used where the builder object is useful in its own right, rather than being
just a builder. For example, see std::process::Command is a builder for Child (a process).
In these cases, the T and TBuilder naming pattern is not used.
The example takes and returns the builder by value. It is often more ergonomic (and more
efficient) to take and return the builder as a mutable reference. The borrow checker makes
this work naturally. This approach has the advantage that one can write code like
let mut fb = FooBuilder::new();
fb.a();
fb.b();
let f = fb.build();
as well as the FooBuilder::new().a().b().build() style.
See also
3.2.2 Fold
Description
Run an algorithm over each item in a collection of data to create a new item, thus creating a
whole new collection.
The etymology here is unclear to me. The terms 'fold' and 'folder' are used in the Rust
compiler, although it appears to me to be more like a map than a fold in the usual sense. See
the discussion below for more details.
Example
53
}
use fold::*;
use ast::*;
Motivation
It is common to want to map a data structure by performing some operation on each node
in the structure. For simple operations on simple data structures, this can be done using
Iterator::map. For more complex operations, perhaps where earlier nodes can affect the
operation on later nodes, or where iteration over the data structure is non-trivial, using the
fold pattern is more appropriate.
54
Like the visitor pattern, the fold pattern allows us to separate traversal of a data structure
from the operations performed to each node.
Discussion
See also
Iterators have a fold method, however this folds a data structure into a value, rather than
into a new data structure. An iterator's map is more like this fold pattern.
In other languages, fold is usually used in the sense of Rust's iterators, rather than this pattern.
Some functional languages have powerful constructs for performing flexible maps over data
structures.
The visitor pattern is closely related to fold. They share the concept of walking a data structure
performing an operation on each node. However, the visitor does not create a new data
structure nor consume the old one.
Sometimes a large struct will cause issues with the borrow checker - although fields can be
borrowed independently, sometimes the whole struct ends up being used at once, preventing
other uses. A solution might be to decompose the struct into several smaller structs. Then
compose these together into the original struct. Then each struct can be borrowed separately
and have more flexible behaviour.
55
This will often lead to a better design in other ways: applying this design pattern often reveals
smaller units of functionality.
Example
Here is a contrived example of where the borrow checker foils us in our plan to use a struct:
struct Database {
connection_string: String,
timeout: u32,
pool_size: u32,
}
fn print_database(database: &Database) {
println!("Connection string: {}", database.connection_string);
println!("Timeout: {}", database.timeout);
println!("Pool size: {}", database.pool_size);
}
fn main() {
let mut db = Database {
connection_string: "initial string".to_string(),
timeout: 30,
pool_size: 100,
};
56
pool_size: PoolSize,
}
fn main() {
// Initialize the Database with the three structs
let mut db = Database {
connection_string: ConnectionString("localhost".to_string()),
timeout: Timeout(30),
pool_size: PoolSize(100),
};
Motivation
This pattern is most useful, when you have a struct that ended up with a lot of fields that you
want to borrow independently. Thus having a more flexible behaviour in the end.
Advantages
Decomposition of structs lets you work around limitations in the borrow checker. And it often
produces a better design.
Disadvantages
It can lead to more verbose code. And sometimes, the smaller structs are not good abstractions,
and so we end up with a worse design. That is probably a 'code smell', indicating that the
program should be refactored in some way.
Discussion
This pattern is not required in languages that don't have a borrow checker, so in that sense is
unique to Rust. However, making smaller units of functionality often leads to cleaner code: a
widely acknowledged principle of software engineering, independent of the language.
This pattern relies on Rust's borrow checker to be able to borrow fields independently of
each other. In the example, the borrow checker knows that a.b and a.c are distinct and can
57
be borrowed independently, it does not try to borrow all of a, which would make this pattern
useless.
Advantages
• Small crates are easier to understand, and encourage more modular code.
• Crates allow for re-using code between projects. For example, the url crate was de-
veloped as part of the Servo browser engine, but has since found wide use outside the
project.
• Since the compilation unit of Rust is the crate, splitting a project into multiple crates
can allow more of the code to be built in parallel.
Disadvantages
• This can lead to ”dependency hell”, when a project depends on multiple conflicting
versions of a crate at the same time. For example, the url crate has both versions 1.0
and 0.5. Since the Url from url:1.0 and the Url from url:0.5 are different types, an
HTTP client that uses url:0.5 would not accept Url values from a web scraper that
uses url:1.0.
• Packages on crates.io are not curated. A crate may be poorly written, have unhelpful
documentation, or be outright malicious.
• Two small crates may be less optimized than one large one, since the compiler does not
perform link-time optimization (LTO) by default.
Examples
See also
58
3.3.3 Contain unsafety in small modules
Description
If you have unsafe code, create the smallest possible module that can uphold the needed
invariants to build a minimal safe interface upon the unsafety. Embed this into a larger
module that contains only safe code and presents an ergonomic interface. Note that the outer
module can contain unsafe functions and methods that call directly into the unsafe code.
Users may use this to gain speed benefits.
Advantages
Disadvantages
Examples
• The toolshed crate contains its unsafe operations in submodules, presenting a safe
interface to users.
• std's String class is a wrapper over Vec<u8> with the added invariant that the contents
must be valid UTF-8. The operations on String ensure this behavior. However, users
have the option of using an unsafe method to create a String, in which case the onus
is on them to guarantee the validity of the contents.
See also
59
3.4.1 Object-Based APIs
Description
When designing APIs in Rust which are exposed to other languages, there are some important
design principles which are contrary to normal Rust API design:
1. All Encapsulated types should be owned by Rust, managed by the user, and opaque.
2. All Transactional data types should be owned by the user, and transparent.
3. All library behavior should be functions acting upon Encapsulated types.
4. All library behavior should be encapsulated into types not based on structure, but
provenance/lifetime.
Motivation
Rust has built-in FFI support to other languages. It does this by providing a way for crate
authors to provide C-compatible APIs through different ABIs (though that is unimportant to
this practice).
Well-designed Rust FFI follows C API design principles, while compromising the design in
Rust as little as possible. There are three goals with any foreign API:
1. Make it easy to use in the target language.
2. Avoid the API dictating internal unsafety on the Rust side as much as possible.
3. Keep the potential for memory unsafety and Rust undefined behaviour as small as
possible.
Rust code must trust the memory safety of the foreign language beyond a certain point.
However, every bit of unsafe code on the Rust side is an opportunity for bugs, or to exacerbate
undefined behaviour.
For example, if a pointer provenance is wrong, that may be a segfault due to invalid memory
access. But if it is manipulated by unsafe code, it could become full-blown heap corruption.
The Object-Based API design allows for writing shims that have good memory safety charac-
teristics, and a clean boundary of what is safe and what is unsafe.
Code Example
The POSIX standard defines the API to access an on-file database, known as DBM. It is an
excellent example of an ”object-based” API.
Here is the definition in C, which hopefully should be easy to read for those involved in FFI.
The commentary below should help explain it for those who miss the subtleties.
struct DBM;
typedef struct { void *dptr, size_t dsize } datum;
60
DBM *dbm_open(const char *, int, mode_t);
int dbm_store(DBM *, datum, datum, int);
This API defines two types: DBM and datum.
The DBM type was called an ”encapsulated” type above. It is designed to contain internal state,
and acts as an entry point for the library's behavior.
It is completely opaque to the user, who cannot create a DBM themselves since they don't know
its size or layout. Instead, they must call dbm_open, and that only gives them a pointer to one.
This means all DBMs are ”owned” by the library in a Rust sense. The internal state of unknown
size is kept in memory controlled by the library, not the user. The user can only manage its
life cycle with open and close, and perform operations on it with the other functions.
The datum type was called a ”transactional” type above. It is designed to facilitate the exchange
of information between the library and its user.
The database is designed to store ”unstructured data”, with no pre-defined length or meaning.
As a result, the datum is the C equivalent of a Rust slice: a bunch of bytes, and a count of how
many there are. The main difference is that there is no type information, which is what void
indicates.
Keep in mind that this header is written from the library's point of view. The user likely has
some type they are using, which has a known size. But the library does not care, and by the
rules of C casting, any type behind a pointer can be cast to void.
As noted earlier, this type is transparent to the user. But also, this type is owned by the user.
This has subtle ramifications, due to that pointer inside it. The question is, who owns the
memory that pointer points to?
The answer for best memory safety is, ”the user”. But in cases such as retrieving a value, the
user does not know how to allocate it correctly (since they don't know how long the value is).
In this case, the library code is expected to use the heap that the user has access to -- such as
the C library malloc and free -- and then transfer ownership in the Rust sense.
This may all seem speculative, but this is what a pointer means in C. It means the same thing
as Rust: ”user defined lifetime.” The user of the library needs to read the documentation
in order to use it correctly. That said, there are some decisions that have fewer or greater
consequences if users do it wrong. Minimizing those are what this best practice is about, and
the key is to transfer ownership of everything that is transparent.
Advantages
This minimizes the number of memory safety guarantees the user must uphold to a relatively
small number:
1. Do not call any function with a pointer not returned by dbm_open (invalid access or
corruption).
2. Do not call any function on a pointer after close (use after free).
3. The dptr on any datum must be NULL, or point to a valid slice of memory at the advertised
length.
In addition, it avoids a lot of pointer provenance issues. To understand why, let us consider
an alternative in some depth: key iteration.
61
Rust is well known for its iterators. When implementing one, the programmer makes a
separate type with a bounded lifetime to its owner, and implements the Iterator trait.
Here is how iteration would be done in Rust for DBM:
struct Dbm { ... }
impl Dbm {
/* ... */
pub fn keys<'it>(&'it self) -> DbmKeysIter<'it> { ... }
/* ... */
}
struct DbmKeysIter<'it> {
owner: &'it Dbm,
}
if (!dbm_iter_new(db)) {
dbm_close(db);
62
return -1;
}
int l;
while ((l = dbm_iter_next(owner, &key)) >= 0) { // an error is
↪ indicated by -1
free(key.dptr);
len += key.dsize;
if (l == 0) { // end of the iterator
dbm_close(owner);
}
}
if l >= 0 {
return -1;
} else {
return len;
}
}
This bug is a classic. Here's what happens when the iterator returns the end-of-iteration
marker:
1. The loop condition sets l to zero, and enters the loop because 0 >= 0.
2. The length is incremented, in this case by zero.
3. The if statement is true, so the database is closed. There should be a break statement
here.
4. The loop condition executes again, causing a next call on the closed object.
The worst part about this bug? If the Rust implementation was careful, this code will work
most of the time! If the memory for the Dbm object is not immediately reused, an internal
check will almost certainly fail, resulting in the iterator returning a -1 indicating an error.
But occasionally, it will cause a segmentation fault, or even worse, nonsensical memory
corruption!
None of this can be avoided by Rust. From its perspective, it put those objects on its heap,
returned pointers to them, and gave up control of their lifetimes. The C code simply must
”play nice”.
The programmer must read and understand the API documentation. While some consider
that par for the course in C, a good API design can mitigate this risk. The POSIX API for DBM
did this by consolidating the ownership of the iterator with its parent:
datum dbm_firstkey(DBM *);
datum dbm_nextkey(DBM *);
Thus, all the lifetimes were bound together, and such unsafety was prevented.
Disadvantages
However, this design choice also has a number of drawbacks, which should be considered as
well.
First, the API itself becomes less expressive. With POSIX DBM, there is only one iterator per
object, and every call changes its state. This is much more restrictive than iterators in almost
63
any language, even though it is safe. Perhaps with other related objects, whose lifetimes are
less hierarchical, this limitation is more of a cost than the safety.
Second, depending on the relationships of the API's parts, significant design effort may be
involved. Many of the easier design points have other patterns associated with them:
• Wrapper Type Consolidation groups multiple Rust types together into an opaque ”object”
• FFI Error Passing explains error handling with integer codes and sentinel return values
(such as NULL pointers)
• Accepting Foreign Strings allows accepting strings with minimal unsafe code, and is
easier to get right than Passing Strings to FFI
However, not every API can be done this way. It is up to the best judgement of the programmer
as to who their audience is.
This pattern is designed to allow gracefully handling multiple related types, while minimizing
the surface area for memory unsafety.
One of the cornerstones of Rust's aliasing rules is lifetimes. This ensures that many patterns
of access between types can be memory safe, data race safety included.
However, when Rust types are exported to other languages, they are usually transformed
into pointers. In Rust, a pointer means ”the user manages the lifetime of the pointee.” It is
their responsibility to avoid memory unsafety.
Some level of trust in the user code is thus required, notably around use-after-free which
Rust can do nothing about. However, some API designs place higher burdens than others on
the code written in the other language.
The lowest risk API is the ”consolidated wrapper”, where all possible interactions with an
object are folded into a ”wrapper type”, while keeping the Rust API clean.
Code Example
To understand this, let us look at a classic example of an API to export: iteration through a
collection.
That API looks like this:
1. The iterator is initialized with first_key.
2. Each call to next_key will advance the iterator.
3. Calls to next_key if the iterator is at the end will do nothing.
4. As noted above, the iterator is ”wrapped into” the collection (unlike the native Rust API).
If the iterator implements nth() efficiently, then it is possible to make it ephemeral to each
function call:
struct MySetWrapper {
myset: MySet,
iter_next: usize,
}
64
impl MySetWrapper {
pub fn first_key(&mut self) -> Option<&Key> {
self.iter_next = 0;
self.next_key()
}
pub fn next_key(&mut self) -> Option<&Key> {
if let Some(next) = self.myset.keys().nth(self.iter_next) {
self.iter_next += 1;
Some(next)
} else {
None
}
}
}
As a result, the wrapper is simple and contains no unsafe code.
Advantages
This makes APIs safer to use, avoiding issues with lifetimes between types. See Object-Based
APIs for more on the advantages and pitfalls this avoids.
Disadvantages
Often, wrapping types is quite difficult, and sometimes a Rust API compromise would make
things easier.
As an example, consider an iterator which does not efficiently implement nth(). It would
definitely be worth putting in special logic to make the object handle iteration internally, or
to support a different access pattern efficiently that only the Foreign Function API will use.
Trying to Wrap Iterators (and Failing) To wrap any type of iterator into the API correctly,
the wrapper would need to do what a C version of the code would do: erase the lifetime of
the iterator, and manage it manually.
Suffice it to say, this is incredibly difficult.
Here is an illustration of just one pitfall.
A first version of MySetWrapper would look like this:
struct MySetWrapper {
myset: MySet,
iter_next: usize,
// created from a transmuted Box<KeysIter + 'self>
iterator: Option<NonNull<KeysIter<'static>>>,
}
With transmute being used to extend a lifetime, and a pointer to hide it, it's ugly already.
But it gets even worse: any other operation can cause Rust undefined behaviour.
Consider that the MySet in the wrapper could be manipulated by other functions during
iteration, such as storing a new value to the key it was iterating over. The API doesn't
65
discourage this, and in fact some similar C libraries expect it.
A simple implementation of myset_store would be:
pub mod unsafe_module {
pub fn myset_store(
myset: *mut MySetWrapper,
key: datum,
value: datum) -> libc::c_int {
1
For the C programmers out there scratching their heads, the iterator need not be read during this code cause
the UB. The exclusivity rule also enables compiler optimizations which may cause inconsistent observations by
the iterator's shared reference (e.g. stack spills or reordering instructions for efficiency). These observations may
happen any time after the mutable reference is created.
66
Chapter 4
Anti-patterns
Example
// define any variable
let mut x = 5;
// without the x.clone() two lines prior, this line would fail on
↪ compile as
// x has been borrowed
// thanks to x.clone(), x was never borrowed, and this line will run.
println!("{x}");
67
Motivation
It is tempting, particularly for beginners, to use this pattern to resolve confusing issues with
the borrow checker. However, there are serious consequences. Using .clone() causes a
copy of the data to be made. Any changes between the two are not synchronized -- as if two
completely separate variables exist.
There are special cases -- Rc<T> is designed to handle clones intelligently. It internally
manages exactly one copy of the data, and cloning it will only clone the reference.
There is also Arc<T> which provides shared ownership of a value of type T that is allocated
in the heap. Invoking .clone() on Arc produces a new Arc instance, which points to the
same allocation on the heap as the source Arc, while increasing a reference count.
In general, clones should be deliberate, with full understanding of the consequences. If a clone
is used to make a borrow checker error disappear, that's a good indication this anti-pattern
may be in use.
Even though .clone() is an indication of a bad pattern, sometimes it is fine to write
inefficient code, in cases such as when:
• the developer is still new to ownership
• the code doesn't have great speed or memory constraints (like hackathon projects or
prototypes)
• satisfying the borrow checker is really complicated, and you prefer to optimize read-
ability over performance
If an unnecessary clone is suspected, The Rust Book's chapter on Ownership should be
understood fully before assessing whether the clone is required or not.
Also be sure to always run cargo clippy in your project, which will detect some cases in
which .clone() is not necessary, like 1, 2, 3 or 4.
See also
• mem::{take(_), replace(_)} to keep owned values in changed enums
• Rc<T> documentation, which handles .clone() intelligently
• Arc<T> documentation, a thread-safe reference-counting pointer
• Tricks with ownership in Rust
4.2 #![deny(warnings)]
Description
A well-intentioned crate author wants to ensure their code builds without warnings. So they
annotate their crate root with the following:
Example
#![deny(warnings)]
// All is well.
68
Advantages
It is short and will stop the build if anything is amiss.
Drawbacks
By disallowing the compiler to build with warnings, a crate author opts out of Rust's famed
stability. Sometimes new features or old misfeatures need a change in how things are done,
thus lints are written that warn for a certain grace period before being turned to deny.
For example, it was discovered that a type could have two impls with the same method.
This was deemed a bad idea, but in order to make the transition smooth, the overlapping-
inherent-impls lint was introduced to give a warning to those stumbling on this fact, before
it becomes a hard error in a future release.
Also sometimes APIs get deprecated, so their use will emit a warning where before there was
none.
All this conspires to potentially break the build whenever something changes.
Furthermore, crates that supply additional lints (e.g. rust-clippy) can no longer be used
unless the annotation is removed. This is mitigated with --cap-lints. The --cap-lints=warn
command line argument, turns all deny lint errors into warnings.
Alternatives
There are two ways of tackling this problem: First, we can decouple the build setting from
the code, and second, we can name the lints we want to deny explicitly.
The following command line will build with all warnings set to deny:
RUSTFLAGS="-D warnings" cargo build
This can be done by any individual developer (or be set in a CI tool like Travis, but remember
that this may break the build when something changes) without requiring a change to the
code.
Alternatively, we can specify the lints that we want to deny in the code. Here is a list of
warning lints that is (hopefully) safe to deny (as of Rustc 1.48.0):
#![deny(bad_style,
const_err,
dead_code,
improper_ctypes,
non_shorthand_field_patterns,
no_mangle_generic_items,
overflowing_literals,
path_statements,
patterns_in_fns_without_body,
private_in_public,
unconditional_recursion,
unused,
unused_allocation,
unused_comparisons,
69
unused_parens,
while_true)]
In addition, the following allowed lints may be a good idea to deny:
#![deny(missing_debug_implementations,
missing_docs,
trivial_casts,
trivial_numeric_casts,
unused_extern_crates,
unused_import_braces,
unused_qualifications,
unused_results)]
Some may also want to add missing-copy-implementations to their list.
Note that we explicitly did not add the deprecated lint, as it is fairly certain that there will
be more deprecated APIs in the future.
See also
• A collection of all clippy lints
• deprecate attribute documentation
• Type rustc -W help for a list of lints on your system. Also type rustc --help for a
general list of options
• rust-clippy is a collection of lints for better Rust code
Example
Sometimes we want to emulate the following common pattern from OO languages such as
Java:
class Foo {
void m() { ... }
}
70
struct Foo {}
impl Foo {
fn m(&self) {
//..
}
}
struct Bar {
f: Foo,
}
fn main() {
let b = Bar { f: Foo {} };
b.m();
}
There is no struct inheritance in Rust. Instead we use composition and include an instance
of Foo in Bar (since the field is a value, it is stored inline, so if there were fields, they would
have the same layout in memory as the Java version (probably, you should use #[repr(C)]
if you want to be sure)).
In order to make the method call work we implement Deref for Bar with Foo as the target
(returning the embedded Foo field). That means that when we dereference a Bar (for example,
using *) then we will get a Foo. That is pretty weird. Dereferencing usually gives a T from
a reference to T, here we have two unrelated types. However, since the dot operator does
implicit dereferencing, it means that the method call will search for methods on Foo as well
as Bar.
Advantages
You save a little boilerplate, e.g.,
impl Bar {
fn m(&self) {
self.f.m()
}
}
Disadvantages
Most importantly this is a surprising idiom - future programmers reading this in code will not
expect this to happen. That's because we are misusing the Deref trait rather than using it as
intended (and documented, etc.). It's also because the mechanism here is completely implicit.
71
This pattern does not introduce subtyping between Foo and Bar like inheritance in Java or
C++ does. Furthermore, traits implemented by Foo are not automatically implemented for
Bar, so this pattern interacts badly with bounds checking and thus generic programming.
Using this pattern gives subtly different semantics from most OO languages with regards to
self. Usually it remains a reference to the sub-class, with this pattern it will be the 'class'
where the method is defined.
Finally, this pattern only supports single inheritance, and has no notion of interfaces, class-
based privacy, or other inheritance-related features. So, it gives an experience that will be
subtly surprising to programmers used to Java inheritance, etc.
Discussion
There is no one good alternative. Depending on the exact circumstances it might be better to
re-implement using traits or to write out the facade methods to dispatch to Foo manually. We
do intend to add a mechanism for inheritance similar to this to Rust, but it is likely to be some
time before it reaches stable Rust. See these blog posts and this RFC issue for more details.
The Deref trait is designed for the implementation of custom pointer types. The intention is
that it will take a pointer-to-T to a T, not convert between different types. It is a shame that
this isn't (probably cannot be) enforced by the trait definition.
Rust tries to strike a careful balance between explicit and implicit mechanisms, favouring
explicit conversions between types. Automatic dereferencing in the dot operator is a case
where the ergonomics strongly favour an implicit mechanism, but the intention is that this is
limited to degrees of indirection, not conversion between arbitrary types.
See also
• Collections are smart pointers idiom.
• Delegation crates for less boilerplate like delegate or ambassador
• Documentation for Deref trait.
72
Chapter 5
Imperative
let mut sum = 0;
for i in 1..11 {
sum += i;
}
println!("{sum}");
With imperative programs, we have to play compiler to see what is happening. Here, we start
with a sum of 0. Next, we iterate through the range from 1 to 10. Each time through the loop,
we add the corresponding value in the range. Then we print it out.
i sum
1 1
2 3
3 6
4 10
5 15
73
i sum
6 21
7 28
8 36
9 45
10 55
This is how most of us start out programming. We learn that a program is a set of steps.
Declarative
println!("{}", (1..11).fold(0, |a, b| a + b));
Whoa! This is really different! What's going on here? Remember that with declarative
programs we are describing what to do, rather than how to do it. fold is a function that
composes functions. The name is a convention from Haskell.
Here, we are composing functions of addition (this closure: |a, b| a + b) with a range
from 1 to 10. The 0 is the starting point, so a is 0 at first. b is the first element of the range, 1.
0 + 1 = 1 is the result. So now we fold again, with a = 1, b = 2 and so 1 + 2 = 3 is the
next result. This process continues until we get to the last element in the range, 10.
a b result
0 1 1
1 2 3
3 3 6
6 4 10
10 5 15
15 6 21
21 7 28
28 8 36
36 9 45
45 10 55
74
In Rust, a generic type parameter creates what is known in functional languages as a ”type
class constraint”, and each different parameter filled in by an end user actually changes
the type. In other words, Vec<isize> and Vec<char> are two different types, which are
recognized as distinct by all parts of the type system.
This is called monomorphization, where different types are created from polymorphic code.
This special behavior requires impl blocks to specify generic parameters. Different values
for the generic type cause different types, and different types can have different impl blocks.
In object-oriented languages, classes can inherit behavior from their parents. However, this
allows the attachment of not only additional behavior to particular members of a type class,
but extra behavior as well.
The nearest equivalent is the runtime polymorphism in Javascript and Python, where new
members can be added to objects willy-nilly by any constructor. However, unlike those
languages, all of Rust's additional methods can be type checked when they are used, because
their generics are statically defined. That makes them more usable while remaining safe.
Example
Suppose you are designing a storage server for a series of lab machines. Because of the
software involved, there are two different protocols you need to support: BOOTP (for PXE
network boot), and NFS (for remote mount storage).
Your goal is to have one program, written in Rust, which can handle both of them. It will
have protocol handlers and listen for both kinds of requests. The main application logic will
then allow a lab administrator to configure storage and security controls for the actual files.
The requests from machines in the lab for files contain the same basic information, no matter
what protocol they came from: an authentication method, and a file name to retrieve. A
straightforward implementation would look something like this:
enum AuthInfo {
Nfs(crate::nfs::AuthInfo),
Bootp(crate::bootp::AuthInfo),
}
struct FileDownloadRequest {
file_name: PathBuf,
authentication: AuthInfo,
}
This design might work well enough. But now suppose you needed to support adding metadata
that was protocol specific. For example, with NFS, you wanted to determine what their mount
point was in order to enforce additional security rules.
The way the current struct is designed leaves the protocol decision until runtime. That means
any method that applies to one protocol and not the other requires the programmer to do a
runtime check.
Here is how getting an NFS mount point would look:
struct FileDownloadRequest {
file_name: PathBuf,
authentication: AuthInfo,
mount_point: Option<PathBuf>,
75
}
impl FileDownloadRequest {
// ... other methods ...
mod nfs {
#[derive(Clone)]
pub(crate) struct AuthInfo(String); // NFS session management
↪ omitted
}
mod bootp {
pub(crate) struct AuthInfo(); // no authentication in bootp
}
// private module, lest outside users invent their own protocol kinds!
mod proto_trait {
use std::path::{Path, PathBuf};
use super::{bootp, nfs};
impl Nfs {
pub(crate) fn mount_point(&self) -> &Path {
&self.mount_point
76
}
}
fn main() {
// your code here
}
With this approach, if the user were to make a mistake and use the wrong type;
77
fn main() {
let mut socket = crate::bootp::listen()?;
while let Some(request) = socket.next_request()? {
match request.mount_point().as_ref() {
"/secure" => socket.send("Access denied"),
_ => {} // continue on...
}
// Rest of the code here
}
}
They would get a syntax error. The type FileDownloadRequest<Bootp> does not implement
mount_point(), only the type FileDownloadRequest<Nfs> does. And that is created by
the NFS module, not the BOOTP module of course!
Advantages
First, it allows fields that are common to multiple states to be de-duplicated. By making the
non-shared fields generic, they are implemented once.
Second, it makes the impl blocks easier to read, because they are broken down by state.
Methods common to all states are typed once in one block, and methods unique to one state
are in a separate block.
Both of these mean there are fewer lines of code, and they are better organized.
Disadvantages
This currently increases the size of the binary, due to the way monomorphization is im-
plemented in the compiler. Hopefully the implementation will be able to improve in the
future.
Alternatives
• If a type seems to need a ”split API” due to construction or partial initialization, consider
the Builder Pattern instead.
• If the API between types does not change -- only the behavior does -- then the Strategy
Pattern is better used instead.
See also
This pattern is used throughout the standard library:
• Vec<u8> can be cast from a String, unlike every other type of Vec<T>.1
• They can also be cast into a binary heap, but only if they contain a type that implements
the Ord trait.2
• The to_string method was specialized for Cow only of type str.3
1
See: impl From<CString> for Vec<u8>
2
See: impl<T: Ord> FromIterator<T> for BinaryHeap<T>
3
See: impl<'_> ToString for Cow<'_, str>
78
It is also used by several popular crates to allow API flexibility:
• The embedded-hal ecosystem used for embedded devices makes extensive use of this
pattern. For example, it allows statically verifying the configuration of device registers
used to control embedded pins. When a pin is put into a mode, it returns a Pin<MODE>
struct, whose generic determines the functions usable in that mode, which are not on
the Pin itself. 4
• The hyper HTTP client library uses this to expose rich APIs for different pluggable
requests. Clients with different connectors have different methods on them as well as
different trait implementations, while a core set of methods apply to any connector. 5
• The ”type state” pattern -- where an object gains and loses API based on an internal
state or invariant -- is implemented in Rust using the same basic concept, and a slightly
different technique. 6
79
V: Visitor<'de>;
// remainder omitted
}
And here's the definition of the Visitor trait passed in generically:
pub trait Visitor<'de>: Sized {
type Value;
// remainder omitted
}
There is a lot of type erasure going on here, with multiple levels of associated types being
passed back and forth.
But what is the big picture? Why not just have the Visitor return the pieces the caller needs
in a streaming API, and call it a day? Why all the extra pieces?
One way to understand it is to look at a functional languages concept called optics.
This is a way to do composition of behavior and proprieties that is designed to facilitate
patterns common to Rust: failure, type transformation, etc.7
The Rust language does not have very good support for these directly. However, they appear
in the design of the language itself, and their concepts can help to understand some of Rust's
APIs. As a result, this attempts to explain the concepts with the way Rust does it.
This will perhaps shed light on what those APIs are achieving: specific properties of compos-
ability.
Basic Optics
The Iso
The Iso is a value transformer between two types. It is extremely simple, but a conceptually
important building block.
As an example, suppose that we have a custom Hash table structure used as a concordance
for a document.8 It uses strings for keys (words) and a list of indexes for values (file offsets,
for instance).
7
School of Haskell: A Little Lens Starter Tutorial
8
Concordance on Wikipedia
80
A key feature is the ability to serialize this format to disk. A ”quick and dirty” approach would
be to implement a conversion to and from a string in JSON format. (Errors are ignored for
the time being, they will be handled later.)
To write it in a normal form expected by functional language users:
case class ConcordanceSerDe {
serialize: Concordance -> String
deserialize: String -> Concordance
}
The Iso is thus a pair of functions which convert values of different types: serialize and
deserialize.
A straightforward implementation:
use std::collections::HashMap;
struct Concordance {
keys: HashMap<String, usize>,
value_table: Vec<(usize, usize)>,
}
struct ConcordanceSerde {}
impl ConcordanceSerde {
fn serialize(value: Concordance) -> String {
todo!()
}
// invalid concordances are empty
fn deserialize(value: String) -> Concordance {
todo!()
}
}
This may seem rather silly. In Rust, this type of behavior is typically done with traits. After
all, the standard library has FromStr and ToString in it.
But that is where our next subject comes in: Poly Isos.
Poly Isos
The previous example was simply converting between values of two fixed types. This next
block builds upon it with generics, and is more interesting.
Poly Isos allow an operation to be generic over any type while returning a single type.
This brings us closer to parsing. Consider what a basic parser would do ignoring error cases.
Again, this is its normal form:
case class Serde[T] {
deserialize(String) -> T
serialize(T) -> String
}
Here we have our first generic, the type T being converted.
81
In Rust, this could be implemented with a pair of traits in the standard library: FromStr and
ToString. The Rust version even handles errors:
pub trait FromStr: Sized {
type Err;
use std::str::FromStr;
struct TestStruct {
a: usize,
b: String,
}
fn main() {
let a = TestStruct { a: 5, b: "hello".to_string() };
println!("Our Test Struct as JSON: {}", a.to_string());
}
That seems quite logical. However, there are two problems with this.
First, to_string does not indicate to API users, ”this is JSON.” Every type would need to
agree on a JSON representation, and many of the types in the Rust standard library already
don't. Using this is a poor fit. This can easily be resolved with our own trait.
But there is a second, subtler problem: scaling.
When every type writes to_string by hand, this works. But if every single person who
wants their type to be serializable has to write a bunch of code -- and possibly different JSON
82
libraries -- to do it themselves, it will turn into a mess very quickly!
The answer is one of Serde's two key innovations: an independent data model to represent
Rust data in structures common to data serialization languages. The result is that it can use
Rust's code generation abilities to create an intermediary conversion type it calls a Visitor.
This means, in normal form (again, skipping error handling for simplicity):
case class Serde[T] {
deserialize: Visitor[T] -> T
serialize: T -> Visitor[T]
}
trait Visitor {
fn to_json(self) -> String;
fn from_json(json: String) -> Self;
}
Because there is a uniform set of rules to transform Rust structures to the independent form,
it is even possible to have code generation creating the Visitor associated with type T:
#[derive(Default, Serde)] // the "Serde" derive creates the trait impl
↪ block
struct TestStruct {
a: usize,
b: String,
}
83
It turns out that the conversion isn't symmetric after all! On paper it is, but with the auto-
generated code the name of the actual type necessary to convert all the way from String is
hidden. We'd need some kind of generated_visitor_for! macro to obtain the type name.
It's wonky, but it works... until we get to the elephant in the room.
The only format currently supported is JSON. How would we support more formats?
The current design requires completely re-writing all of the code generation and creating a
new Serde trait. That is quite terrible and not extensible at all!
In order to solve that, we need something more powerful.
Prism
To take format into account, we need something in normal form like this:
case class Serde[T, F] {
serialize: T, F -> String
deserialize: String, F -> Result[T, Error]
}
This construct is called a Prism. It is ”one level higher” in generics than Poly Isos (in this case,
the ”intersecting” type F is the key).
Unfortunately because Visitor is a trait (since each incarnation requires its own custom
code), this would require a kind of generic type boundary that Rust does not support.
Fortunately, we still have that Visitor type from before. What is the Visitor doing? It is
attempting to allow each data structure to define the way it is itself parsed.
Well what if we could add one more interface for the generic format? Then the Visitor is
just an implementation detail, and it would ”bridge” the two APIs.
In normal form:
case class Serde[T] {
serialize: F -> String
deserialize F, String -> Result[T, Error]
}
84
2. They get a type (well two, one for each direction) implementing the Visitor trait, which
is usually (but not always) done through code generated by a derive macro. This contains
the logic to construct or destruct between the data type and the format of the Serde data
model.
3. The type implementing the Deserializer trait handles all details specific to the format,
being ”driven by” the Visitor.
This splitting and Rust type erasure is really to achieve a Prism through indirection.
You can see it on the Deserializer trait
pub trait Deserializer<'de>: Sized {
type Error: Error;
// remainder omitted
}
And the visitor:
pub trait Visitor<'de>: Sized {
type Value;
// remainder omitted
}
And the trait Deserialize implemented by the macros:
pub trait Deserialize<'de>: Sized {
fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>
where
D: Deserializer<'de>;
}
85
This has been abstract, so let's look at a concrete example.
How does actual Serde deserialize a bit of JSON into struct Concordance from earlier?
1. The user would call a library function to deserialize the data. This would create a
Deserializer based on the JSON format.
2. Based on the fields in the struct, a Visitor would be created (more on that in a moment)
which knows how to create each type in a generic data model that was needed to
represent it: Vec (list), u64 and String.
3. The deserializer would make calls to the Visitor as it parsed items.
4. The Visitor would indicate if the items found were expected, and if not, raise an error
to indicate deserialization has failed.
For our very simple structure above, the expected pattern would be:
1. Begin visiting a map (Serde's equivalent to HashMap or JSON's dictionary).
2. Visit a string key called ”keys”.
3. Begin visiting a map value.
4. For each item, visit a string key then an integer value.
5. Visit the end of the map.
6. Store the map into the keys field of the data structure.
7. Visit a string key called ”value_table”.
8. Begin visiting a list value.
9. For each item, visit an integer.
10. Visit the end of the list
11. Store the list into the value_table field.
12. Visit the end of the map.
But what determines which ”observation” pattern is expected?
A functional programming language would be able to use currying to create reflection of
each type based on the type itself. Rust does not support that, so every single type would
need to have its own code written based on its fields and their properties.
Serde solves this usability challenge with a derive macro:
use serde::Deserialize;
#[derive(Deserialize)]
struct IdRecord {
name: String,
customer_id: String,
}
That macro simply generates an impl block causing the struct to implement a trait called
Deserialize.
This is the function that determines how to create the struct itself. Code is generated based
on the struct's fields. When the parsing library is called - in our example, a JSON parsing
library - it creates a Deserializer and calls Type::deserialize with it as a parameter.
The deserialize code will then create a Visitor which will have its calls ”refracted” by
the Deserializer. If everything goes well, eventually that Visitor will construct a value
corresponding to the type being parsed and return it.
For a complete example, see the Serde documentation.
86
The result is that types to be deserialized only implement the ”top layer” of the API, and file
formats only need to implement the ”bottom layer”. Each piece can then ”just work” with the
rest of the ecosystem, since generic types will bridge them.
In conclusion, Rust's generic-inspired type system can bring it close to these concepts and use
their power, as shown in this API design. But it may also need procedural macros to create
bridges for its generics.
If you are interested in learning more about this topic, please check the following section.
See Also
• lens-rs crate for a pre-built lenses implementation, with a cleaner interface than these
examples
• Serde itself, which makes these concepts intuitive for end users (i.e. defining the structs)
without needing to understand the details
• luminance is a crate for drawing computer graphics that uses similar API design, in-
cluding procedural macros to create full prisms for buffers of different pixel types that
remain generic
• An Article about Lenses in Scala that is very readable even without Scala expertise.
• Paper: Profunctor Optics: Modular Data Accessors
• Musli is a library which attempts to use a similar structure with a different approach,
e.g. doing away with the visitor
87
Chapter 6
Additional resources
Talks
• Design Patterns in Rust by Nicholas Cameron at the PDRust (2016)
• Writing Idiomatic Libraries in Rust by Pascal Hertleif at RustFest (2017)
• Rust Programming Techniques by Nicholas Cameron at LinuxConfAu (2018)
Books (Online)
• The Rust API Guidelines
SOLID
• Single Responsibility Principle (SRP): A class should only have a single responsibility,
that is, only changes to one part of the software's specification should be able to affect
the specification of the class.
• Open/Closed Principle (OCP): ”Software entities ... should be open for extension, but
closed for modification.”
• Liskov Substitution Principle (LSP): ”Objects in a program should be replaceable with
instances of their subtypes without altering the correctness of that program.”
• Interface Segregation Principle (ISP): ”Many client-specific interfaces are better than
one general-purpose interface.”
• Dependency Inversion Principle (DIP): One should ”depend upon abstractions, [not]
concretions.”
88
DRY (Don’t Repeat Yourself)
”Every piece of knowledge must have a single, unambiguous, authoritative representation
within a system”
KISS principle
most systems work best if they are kept simple rather than made complicated; therefore,
simplicity should be a key goal in design, and unnecessary complexity should be avoided
Encapsulation
bundling of data with the methods that operate on that data, or the restricting of direct access
to some of an object's components. Encapsulation is used to hide the values or state of a
structured data object inside a class, preventing unauthorized parties' direct access to them.
Command-Query-Separation(CQS)
“Functions should not produce abstract side effects...only commands (procedures) will be
permitted to produce side effects.” - Bertrand Meyer: Object-Oriented Software Construction
Linguistic-Modular-Units
“Modules must correspond to syntactic units in the language used.” - Bertrand Meyer: Object-
Oriented Software Construction
Self-Documentation
“The designer of a module should strive to make all information about the module part of the
module itself.” - Bertrand Meyer: Object-Oriented Software Construction
89
Uniform-Access
“All services offered by a module should be available through a uniform notation, which
does not betray whether they are implemented through storage or through computation.” -
Bertrand Meyer: Object-Oriented Software Construction
Single-Choice
“Whenever a software system must support a set of alternatives, one and only one module in
the system should know their exhaustive list.” - Bertrand Meyer: Object-Oriented Software
Construction
Persistence-Closure
“Whenever a storage mechanism stores an object, it must store with it the dependents of that
object. Whenever a retrieval mechanism retrieves a previously stored object, it must also
retrieve any dependent of that object that has not yet been retrieved.” - Bertrand Meyer:
Object-Oriented Software Construction
90