Strings

Table of Contents

There are several different kinds of strings in Rust.

Most common are String and &str.

String

  • Owns the data it stores, and can be mutated freely.

  • Exists as a pointer to some bytes, a length, and a capacity.

  • Exists on the heap.

  • Does not implement Copy, but implements Clone.

&str

  • An immutable reference to a string slice.

  • Only seen as a borrowed value.

  • May be anywhere, on the heap, stack, or in program memory.

Creation

fn main() {
    // &'static str
    let this = "Hello";
    // String
    let that: String = String::from("Hello");
    // &str
    let other = that.as_str();
}

When to Use What?

  • String is the easiest to use when starting out. Refine later.

  • String owns its data, so works well as a field of a struct or Enum.

  • &str is typically used in function arguments.

Deref Coercion

Just because multiple types exist doesn’t mean they can’t work in harmony.

fn main() {
    let part_one = String::from("Hello ");
    let part_two = String::from("there ");
    let whole = part_one + &part_two + "world!";
    println!("{}", whole);
}

This is because String s implement Deref<Target=str> .

Exotic String types

  • OsStr and OsString may show up when working with file systems or system calls.

  • CStr and CString may show up when working with FFI.

The differences between [Os|C]Str and [Os|C]String are generally the same as the normal types.

OsString & OsStr

These types represent platform native strings. This is necessary because Unix and Windows strings have different characteristics.

Behind the OsString Scenes

  • Unix strings are often arbitrary non-zero sequences, usually interpreted as UTF-8.

  • Windows strings are often arbitrary non-zero sequences, usually interpreted as UTF-16.

  • Rust strings are always valid UTF-8, and may contain zeros.

OsString and OsStr bridge this gap and allow for cheap converstion to and from String and str.

CString & CStr

These types represent valid C compatible strings.

They are predominantly used when doing FFI with external code.

It is strongly recommended you read all of the documentation on these types before using them.

Common String Tasks

Splitting:

fn main() {
    let words = "Cow says moo";
    let each: Vec<_> = words.split(" ").collect();
    println!("{:?}", each);
}

Common String Tasks

Concatenation:

fn main() {
    let animal = String::from("Cow");
    let sound = String::from("moo");
    let words = [&animal, " says ", &sound].concat();
    println!("{:?}", words);
}

Common String Tasks

Replacing:

fn main() {
    let words = "Cow says moo";
    let replaced = words.replace("moo", "roar");
    println!("{}", replaced);
}

Accepting String or str

It’s possible to accept either rather painlessly:

fn accept_either<S>(thing: S) -> String
where S: AsRef<str> {
    String::from("foo") + thing.as_ref()
}

fn main() {
    println!("{}", accept_either("blah"));
    println!("{}", accept_either(String::from("blah")));
}

Raw String Literals

  • Starts with r followed by zero or more # followed by "

  • Ends with " followed by the same number of #

  • Can span multiple lines, leading spaces become part of the line

  • Escape sequences are not processed

fn main () {
    let json = r##"
{
    "name": "Rust Analyzer",
    "brandColor": "#5bbad5"
}
"##;
    assert_eq!(r"\n", "\\n");
}

Byte String Literals

  • not really strings

  • used to declare static byte slices (have a &[u8] type)

fn main() {
    let byte_string: &[u8] = b"allows ASCII and \xF0\x9F\x98\x80 only";
    println!("Can Debug fmt but not Display fmt: {:?}", byte_string);
    if let Ok(string) = std::str::from_utf8(byte_string) {
        println!("Now can Display '{}'", string);
    }
}