Rust by Example — страница 4 из 66

println!("{:?}", *color);

}

}

הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

You can view a full list of formatting traits and their argument types in the std::fmt documentation.

Activity

Add an implementation of the fmt::Display trait for the Color struct above so that the output displays as:

RGB (128, 255, 90) 0x80FF5A

RGB (0, 3, 254) 0x0003FE

RGB (0, 0, 0) 0x000000

Two hints if you get stuck:

   • You may need to list each color more than once,

   • You can pad with zeros to a width of 2 with :02.

See also:

std::fmt

Primitives

Rust provides access to a wide variety of primitives. A sample includes:

Scalar Types

   • signed integers: i8, i16, i32, i64, i128 and isize (pointer size)

   • unsigned integers: u8, u16, u32, u64, u128 and usize (pointer size)

   • floating point: f32, f64

   • char Unicode scalar values like 'a', 'α' and '∞' (4 bytes each)

   • bool either true or false

   • and the unit type (), whose only possible value is an empty tuple: ()

Despite the value of a unit type being a tuple, it is not considered a compound type because it does not contain multiple values.

Compound Types

   • arrays like [1, 2, 3]

   • tuples like (1, true)

Variables can always be type annotated. Numbers may additionally be annotated via a suffix or by default. Integers default to i32 and floats to f64. Note that Rust can also infer types from context.

fn main() {

// Variables can be type annotated.

let logical: bool = true;

let a_float: f64 = 1.0;  // Regular annotation

let an_integer   = 5i32; // Suffix annotation

// Or a default will be used.

let default_float   = 3.0; // `f64`

let default_integer = 7;   // `i32`

// A type can also be inferred from context

let mut inferred_type = 12; // Type i64 is inferred from another line

inferred_type = 4294967296i64;

// A mutable variable's value can be changed.

let mut mutable = 12; // Mutable `i32`

mutable = 21;

// Error! The type of a variable can't be changed.

mutable = true;

// Variables can be overwritten with shadowing.

let mutable = true;

}

הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

See also:

thestdlibrary, mut, inference, and shadowing

Literals and operators

Integers 1, floats 1.2, characters 'a', strings "abc", booleans true and the unit type () can be expressed using literals.

Integers can, alternatively, be expressed using hexadecimal, octal or binary notation using these prefixes respectively: 0x, 0o or 0b.

Underscores can be inserted in numeric literals to improve readability, e.g. 1_000 is the same as 1000, and 0.000_001 is the same as 0.000001.

We need to tell the compiler the type of the literals we use. For now, we'll use the u32 suffix to indicate that the literal is an unsigned 32-bit integer, and the i32 suffix to indicate that it's a signed 32-bit integer.

The operators available and their precedence in Rust are similar to other C-like languages.

fn main() {

// Integer addition

println!("1 + 2 = {}", 1u32 + 2);

// Integer subtraction

println!("1 - 2 = {}", 1i32 - 2);

// TODO ^ Try changing `1i32` to `1u32` to see why the type is important

// Short-circuiting boolean logic

println!("true AND false is {}", true && false);

println!("true OR false is {}", true || false);

println!("NOT true is {}", !true);

// Bitwise operations

println!("0011 AND 0101 is {:04b}", 0b0011u32 & 0b0101);

println!("0011 OR 0101 is {:04b}", 0b0011u32 | 0b0101);

println!("0011 XOR 0101 is {:04b}", 0b0011u32 ^ 0b0101);

println!("1 << 5 is {}", 1u32 << 5);

println!("0x80 >> 2 is 0x{:x}", 0x80u32 >> 2);

// Use underscores to improve readability!

println!("One million is written as {}", 1_000_000u32);

}

הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Tuples

A tuple is a collection of values of different types. Tuples are constructed using parentheses (), and each tuple itself is a value with type signature (T1, T2, ...), where T1, T2 are the types of its members. Functions can use tuples to return multiple values, as tuples can hold any number of values.

// Tuples can be used as function arguments and as return values

fn reverse(pair: (i32, bool)) -> (bool, i32) {

// `let` can be used to bind the members of a tuple to variables

let (integer, boolean) = pair;

(boolean, integer)

}

// The following struct is for the activity.

#[derive(Debug)]

struct Matrix(f32, f32, f32, f32);

fn main() {

// A tuple with a bunch of different types

let long_tuple = (1u8, 2u16, 3u32, 4u64,

-1i8, -2i16, -3i32, -4i64,

0.1f32, 0.2f64,

'a', true);

// Values can be extracted from the tuple using tuple indexing

println!("long tuple first value: {}", long_tuple.0);