Rust Type Inference Advanced Example

Introduction

In this lab, the type inference engine is highlighted for its ability to deduce the type of a variable based on its usage and value assignment, demonstrated in an advanced example using Rust programming language.

Note: If the lab does not specify a file name, you can use any file name you want. For example, you can use main.rs, compile and run it with rustc main.rs && ./main.

Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("`Rust`")) -.-> rust/BasicConceptsGroup(["`Basic Concepts`"]) rust(("`Rust`")) -.-> rust/DataTypesGroup(["`Data Types`"]) rust(("`Rust`")) -.-> rust/FunctionsandClosuresGroup(["`Functions and Closures`"]) rust(("`Rust`")) -.-> rust/MemorySafetyandManagementGroup(["`Memory Safety and Management`"]) rust(("`Rust`")) -.-> rust/DataStructuresandEnumsGroup(["`Data Structures and Enums`"]) rust(("`Rust`")) -.-> rust/AdvancedTopicsGroup(["`Advanced Topics`"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("`Variable Declarations`") rust/BasicConceptsGroup -.-> rust/mutable_variables("`Mutable Variables`") rust/DataTypesGroup -.-> rust/integer_types("`Integer Types`") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("`Function Syntax`") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("`Expressions and Statements`") rust/MemorySafetyandManagementGroup -.-> rust/lifetime_specifiers("`Lifetime Specifiers`") rust/DataStructuresandEnumsGroup -.-> rust/method_syntax("`Method Syntax`") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("`Traits for Operator Overloading`") subgraph Lab Skills rust/variable_declarations -.-> lab-99297{{"`Rust Type Inference Advanced Example`"}} rust/mutable_variables -.-> lab-99297{{"`Rust Type Inference Advanced Example`"}} rust/integer_types -.-> lab-99297{{"`Rust Type Inference Advanced Example`"}} rust/function_syntax -.-> lab-99297{{"`Rust Type Inference Advanced Example`"}} rust/expressions_statements -.-> lab-99297{{"`Rust Type Inference Advanced Example`"}} rust/lifetime_specifiers -.-> lab-99297{{"`Rust Type Inference Advanced Example`"}} rust/method_syntax -.-> lab-99297{{"`Rust Type Inference Advanced Example`"}} rust/operator_overloading -.-> lab-99297{{"`Rust Type Inference Advanced Example`"}} end

Inference

The type inference engine is pretty smart. It does more than looking at the type of the value expression during an initialization. It also looks at how the variable is used afterwards to infer its type. Here's an advanced example of type inference:

fn main() { // Because of the annotation, the compiler knows that `elem` has type u8. let elem = 5u8; // Create an empty vector (a growable array). let mut vec = Vec::new(); // At this point the compiler doesn't know the exact type of `vec`, it // just knows that it's a vector of something (`Vec<_>`). // Insert `elem` in the vector. vec.push(elem); // Aha! Now the compiler knows that `vec` is a vector of `u8`s (`Vec<u8>`) // TODO ^ Try commenting out the `vec.push(elem)` line println!("{:?}", vec); }

No type annotation of variables was needed, the compiler is happy and so is the programmer!

Rust Type Inference Advanced Example

Introduction

Skills Graph

Inference

Summary

Other Rust Tutorials you may like