Примітивні типи

Rust є статично типізованою мовою, що означає, що вона повинна знати тип усіх змінних під час компіляції. Зазвичай компілятор може визначити тип на основі присвоєного значення, але іноді необхідно або корисно вказати його вручну.

Примітивні типи в Rust поділяються на дві основні категорії: скаляри (одне значення) і складені (група значень).

Скалярні типи

Скалярні типи представляють одне значення. Rust має чотири основні скалярні типи:

1. Цілі числа: цілі числа. Вони можуть бути підписані (i8, i16, i32, i64, i128, isize) або без підпису (u8, u16, u32, u64, u128, usize). Тип за замовчуванням – i32.
2. З плаваючою комою: числа з комою. Вони можуть бути f32 або f64 (подвійна точність, за замовчуванням).
3. Логічні значення: представляє логічну істинність за допомогою true або false (тип bool).
4. Символи: одне скалярне значення Unicode, укладене в одинарні лапки (тип char), наприклад, 'a', 'ℤ' або emoji '😻'.

Приклад явної анотації типу:

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

Складені типи

Складені типи можуть групувати кілька значень в один тип. Іржа має два основних типи примітивних сполук:

Кортежі

кортеж групує значення різних типів у колекцію фіксованого розміру:

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;

Масиви (списки фіксованого розміру)

Масив групує кілька елементів одного типу в колекцію фіксованого розміру, що зберігається в стеку:

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

Якщо ви спробуєте отримати доступ до індексу поза межами масиву (наприклад, numbers[10]), Rust негайно вийде з ладу (паніка) під час виконання, замість того, щоб дозволити неавторизований доступ до пам’яті.

Порівняння

Спробуйте самі