配列、タプル、スライス、ベクタ...の定義は構造体？

Question

他の言語でも同じような疑問を抱いていますがここではRustでの質問をします。

Rustで配列、タプル、スライス、ベクタ、ひいてはスカラ型などは、それぞれのインスタンス生成の方法やメソッドなどを持つと思うのですが、それらは全てstdモジュールなどで構造体として定義されているのですか？

Answer 1

Rustの型は大きく分けて2種類あります。

• プリミティブ型：言語に組み込まれている型。（コンパイラが直接理解できる型）
• ユーザ定義型：構造体や列挙型（enum）などで定義された型。（ソースコードで記述された型）

スカラ型、配列、タプル、スライスはプリミティブ型です。プリミティブ型の一覧はドキュメントの ここ にあります。

ベクタはユーザ定義型で、stdクレートで構造体を使って定義されています。定義（ソースコード）は ここ にあります。