Question 1

Як за замовчуванням оголошуються змінні в Rust?

Accepted Answer

У Rust усі змінні за замовчуванням є незмінними (immutable), коли вони оголошуються за допомогою let. Така конструкція сприяє безпеці та конкурентності, запобігаючи випадковим змінам. Щоб зробити змінну змінюваною (mutable), потрібно явно використати ключове слово mut після let.

Question 2

Що таке ownership у Rust?

Accepted Answer

Ownership — це фундаментальна система Rust, яка гарантує безпеку пам'яті без garbage collector. Кожне значення має єдиного власника, і пам'ять автоматично звільняється, коли власник виходить за межі scope. Ця система запобігає data races та помилкам use-after-free на етапі компіляції.

Question 3

Що таке struct у Rust?

Accepted Answer

Struct у Rust — це користувацький тип даних, який дозволяє згрупувати кілька пов'язаних значень під одним іменем. Він схожий на класи в інших мовах, але без успадкування. Struct є фундаментальними для моделювання структурованих даних і широко використовуються в будь-якій програмі Rust.

Question 4

Який тип Rust представляє значення, яке може бути наявним або відсутнім?

Accepted Answer

Option<T> — це enum, який може бути або Some(T), що містить значення, або None, що вказує на відсутність значення. Цей тип замінює значення null, наявні в інших мовах, і змушує розробника явно обробляти випадок, коли значення відсутнє, тим самим уникаючи помилок нульового вказівника під час виконання.

Question 5

Який trait має реалізувати тип, щоб його можна було використати в циклі for у Rust?

Accepted Answer

Trait IntoIterator дозволяє перетворити тип на ітератор. Цикл for автоматично викликає into_iter() для виразу. Типи на кшталт Vec, масивів і діапазонів реалізують цей trait за замовчуванням, що дозволяє обходити їх безпосередньо за допомогою for.

Question 6

Яке основне застосування Box<T> у Rust?

Accepted Answer

Box<T> розміщує дані в heap, а не в stack. Це корисно для типів з невідомим під час компіляції розміром (рекурсивні типи), для передачі ownership великих даних без копіювання або для створення trait object. Сам вказівник Box має фіксований розмір у stack.

Question 7

Яку функцію слід використовувати для створення нового thread у Rust?

Accepted Answer

Функція thread::spawn з модуля std::thread створює новий потік виконання. Вона приймає замикання як параметр і повертає JoinHandle, що дозволяє очікувати завершення потоку методом join(). Ця функція є основною точкою входу для конкурентного програмування на основі потоків у Rust.

Question 8

Яке ключове слово активує суперсили режиму unsafe у Rust?

Accepted Answer

Ключове слово unsafe розблоковує п'ять можливостей, заборонених у safe Rust: розіменування raw pointers, виклик unsafe-функцій, доступ до мутабельних статичних змінних, реалізацію unsafe-трейтів та доступ до полів union. Цей блок сигналізує компілятору, що розробник бере на себе відповідальність за гарантування memory safety.

Question 9

Яка основна різниця між associated type і generic-параметром у trait?

Accepted Answer

Associated type дозволяє лише одну реалізацію trait на тип, тоді як generic-параметр дозволяє кілька реалізацій. З associated type тип визначається самою реалізацією, що спрощує виведення типів і дозволяє не вказувати тип при кожному використанні.

Question 10

Що таке Higher-Ranked Trait Bound (HRTB) в Rust?

Accepted Answer

Higher-Ranked Trait Bound (HRTB) дозволяє вказати, що функція або trait має працювати для всіх можливих lifetimes, а не лише для одного конкретного. Синтаксис for<'a> вказує, що trait bound має задовольнятися для будь-якого lifetime 'a, обраного викликачем. Ця можливість є важливою для closure та callback, які мають приймати посилання з різними lifetimes.

Питання зі співбесід з Rust

Готовий до співбесіди з Rust?

Дослідити всі теми Rust

Основи Rust

Ownership & Borrowing

Structs & Enums

Обробка помилок

Колекції

Модулі та пакети

Traits

Generics

Lifetimes

Iterators & Closures

Smart Pointers

Concurrency Basics

async/await

Testing

Cargo & Ecosystem

Pattern Matching

Макроси

Serde та серіалізація

Unsafe Rust

Просунуті trait'и

Просунуті Lifetimes

Type System

Tokio & Async I/O

Оптимізація продуктивності

Memory Management

Web Frameworks

Database Integration

Патерни проєктування Rust

Опануй Rust для наступної співбесіди