Rozszerzanie kształtów

Powiązane kształty często mają wspólne pola. Każdy Admin jest również User; kopiowanie wspólnych pól do obu deklaracji grozi ich rozbieżnością.

Operator przecięcia & został omówiony przy łączeniu aliasów. Działa dokładnie tak samo w przypadku kształtów. A & B oznacza „ma wszystko z A i wszystko z B”:

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

-- Admin wymaga teraz: name, age ORAZ level
local root: Admin = {name = "Root", age = 35, level = 9}

Podczas gdy TypeScript wymaga osobnego słowa kluczowego extends dla interfejsów, Luau nie wymaga niczego nowego: przecięcia już spełniają to zadanie. Możesz połączyć kilka części:

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

Nie myl & z |: unia A | B oznacza jeden albo drugi kształt, podczas gdy przecięcie A & B musi spełniać oba warunki jednocześnie. A ponieważ Admin ma wszystkie pola User, wartość Admin można przekazać wszędzie tam, gdzie oczekiwany jest User.