Tipos Primitivos

Rust é uma linguagem de tipagem estática, o que significa que ela deve conhecer o tipo de todas as variáveis ​​em tempo de compilação. Normalmente, o compilador pode inferir o tipo com base no valor atribuído, mas às vezes é necessário ou útil especificá-lo manualmente.

Os tipos primitivos em Rust são divididos em duas categorias principais: escalares (valor único) e compostos (grupo de valores).

Tipos escalares

Os tipos escalares representam um único valor. Rust tem quatro tipos escalares fundamentais:

1. Inteiros: números inteiros. Eles podem ser assinados (i8, i16, i32, i64, i128, isize) ou não assinados (u8, u16, u32, u64, u128, usize). O tipo padrão é i32.
2. Ponto flutuante: Números com casas decimais. Eles podem ser f32 ou f64 (precisão dupla, padrão).
3. Booleanos: Representa a verdade lógica com true ou false (tipo bool).
4. Caracteres: um único valor escalar Unicode entre aspas simples (tipo char), por exemplo, 'a', 'ℤ' ou emoji '😻'.

Exemplo de anotação de tipo explícita:

let x: i64 = 42;
let y: f64 = 3.1415;
let is_rust_awesome: bool = true;
let heart_emoji: char = '❤';

Tipos compostos

Os tipos compostos podem agrupar vários valores em um único tipo. Rust tem dois tipos principais de compostos primitivos:

Tuplas

Uma tupla agrupa valores de diferentes tipos em uma coleção de tamanho fixo:

let person: (String, i32) = (String::from("Alice"), 30);

// Destructuring to extract values
let (name, age) = person;

// Direct access with index using dot (.)
let name_direct = person.0;
let age_direct = person.1;

Matrizes (listas de tamanho fixo)

Um array agrupa vários elementos do mesmo tipo em uma coleção de tamanho fixo armazenada na pilha:

let numbers = [1, 2, 3, 4, 5]; // Inferred as [i32; 5]
let first = numbers[0]; // Access by index
let third = numbers[2];

Se você tentar acessar um índice fora dos limites do array (por exemplo, numbers[10]), o Rust irá travar imediatamente (pânico) em tempo de execução, em vez de permitir acesso não autorizado à memória.

Comparação

Experimente você mesmo