形状の拡張

関連する形状はフィールドを共有していることがよくあります。すべてのAdminはUserでもあります。共有フィールドを両方の宣言にコピーすると、内容が食い違う原因になります。

エイリアスを組み合わせるときに、交差演算子&を学びました。形状でもまったく同じように機能します。A & Bは「AのすべてとBのすべてを持つ」という意味です。

type User = {name: string, age: number}
type Admin = User & {level: number}

-- Adminには現在、name、age、levelのすべてが必要です
local root: Admin = {name = "Root", age = 35, level = 9}

TypeScriptではインターフェースに別途extendsキーワードが必要ですが、Luauでは新しいものは何も必要ありません。交差型がすでにその役割を果たします。複数の部分を連結できます。

type Contact = {email: string}
type Developer = User & Contact & {yearsExperience: number}

&と|を混同しないでください。ユニオン型A | Bはどちらか一方の形状であるのに対し、交差型A & Bは両方を同時に満たす必要があります。また、AdminはすべてのUserフィールドを持つため、Adminの値はUserが求められる場所ならどこにでも渡せます。