Question 1

Rust では、変数はデフォルトでどのように宣言されますか？

Accepted Answer

Rust では、let で宣言されたすべての変数はデフォルトでイミュータブル（不変）です。この設計は、意図しない変更を防ぐことで安全性と並行性を高めます。変数をミュータブル（可変）にするには、let の後に mut キーワードを明示的に使用します。

Question 2

Rust における ownership とは何ですか？

Accepted Answer

ownership は Rust の基盤となるシステムで、garbage collector なしでメモリ安全性を保証します。各値には単一の所有者があり、所有者が scope から外れるとメモリは自動的に解放されます。このシステムにより、data races や use-after-free をコンパイル時に防ぐことができます。

Question 3

Rustのstructとは何ですか?

Accepted Answer

Rustのstructは、関連する複数の値を1つの名前のもとにまとめることができるカスタムデータ型です。他の言語のクラスに似ていますが、継承はありません。structは構造化されたデータをモデル化するための基本要素であり、あらゆるRustプログラムで広く使われています。

Question 4

値が存在する場合と存在しない場合を表す Rust の型はどれですか？

Accepted Answer

Option<T> は、値を保持する Some(T) か、値の不在を示す None のいずれかになる enum です。この型は他の言語に存在する null 値を置き換え、値が存在しない場合を明示的に処理することを開発者に強制するため、実行時の null ポインタエラーを防ぎます。

Question 5

Rust の for ループで使用できるようにするには、型はどの trait を実装する必要がありますか？

Accepted Answer

IntoIterator トレイトは、型をイテレータに変換できるようにします。for ループは式に対して自動的に into_iter() を呼び出します。Vec、配列、range などの型はデフォルトでこのトレイトを実装しているため、for で直接反復処理できます。

Question 6

RustにおけるBox<T>の主な用途は何ですか？

Accepted Answer

Box<T>はデータをstackではなくheapに確保します。これはコンパイル時にサイズが不明な型（再帰的な型）に対して、大きなデータのownershipをコピーせずに移動する場合、あるいはtrait objectを作成する場合に役立ちます。Boxポインタ自体はstack上で固定サイズを持ちます。

Question 7

Rust で新しいスレッドを作成するにはどの関数を使用しますか？

Accepted Answer

std::thread モジュールの thread::spawn 関数は新しい実行スレッドを作成します。クロージャをパラメータとして受け取り、join() メソッドでスレッドの終了を待機できる JoinHandle を返します。この関数は Rust におけるスレッドベースの並行プログラミングの主要なエントリポイントです。

Question 8

Rust で unsafe モードのスーパーパワーを有効にするキーワードはどれですか？

Accepted Answer

unsafe キーワードは、safe Rust で禁止されている 5 つの機能を解放します。raw ポインタのデリファレンス、unsafe 関数の呼び出し、mutable な static 変数へのアクセス、unsafe トレイトの実装、そして union フィールドへのアクセスです。このブロックは、開発者が memory safety を保証する責任を負うことをコンパイラに伝えます。

Question 9

trait における associated type と generic パラメータの主な違いは何ですか？

Accepted Answer

associated type は型ごとに trait の実装を 1 つだけ許可しますが、generic パラメータは複数の実装を許可します。associated type では型が実装そのものによって決まるため、型推論が単純になり、使用するたびに型を指定する必要がなくなります。

Question 10

Rust における Higher-Ranked Trait Bound (HRTB) とは何ですか？

Accepted Answer

Higher-Ranked Trait Bound (HRTB) を使うと、関数や trait が特定の lifetime だけでなく、考えられるすべての lifetime に対して機能する必要があることを指定できます。for<'a> という構文は、呼び出し側が選ぶ任意の lifetime 'a に対して trait bound が満たされなければならないことを示します。この機能は、さまざまな lifetime を持つ参照を受け取る必要がある closure や callback にとって不可欠です。

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

高度なトレイト

高度な lifetime

Type System

Tokio & Async I/O

パフォーマンス最適化

Memory Management

Web Frameworks

Database Integration

Rust デザインパターン

次の面接に向けてRustをマスター