Kiểu giao

Các kiểu hợp nhất nói rằng một giá trị thuộc kiểu này hoặc kiểu khác. Kiểu giao chỉ theo hướng ngược lại: dấu và & kết hợp hình dạng bảng thành một kiểu có tất cả các trường của mỗi phần:

type HasName = { name: string }
type HasAge = { age: number }

type Person = HasName & HasAge

-- Person phải có CẢ HAI thuộc tính
local user: Person = {
    name = "Alice",
    age = 25,
}

Bỏ age đi thì trình kiểm tra sẽ báo lỗi: kiểu giao là “và”, không phải chọn cái này hay cái kia. Cách này giúp bạn ghép các hình dạng lớn từ những phần nhỏ có thể tái sử dụng: định nghĩa các kiểu tập trung vào từng mối quan tâm riêng, rồi ghép chúng lại khi cần:

type HasEmail = { email: string }

type Employee = HasName & HasAge & HasEmail

Một lưu ý quan trọng về Luau: hãy lấy giao của các hình dạng bảng (và kiểu hàm), chứ không phải các kiểu nguyên thủy. Những thứ như number & string là vô nghĩa, vì không giá trị nào có thể đồng thời thuộc cả hai kiểu. Khi bạn muốn “hình dạng này cộng với hình dạng kia”, & là công cụ dành cho bạn.

Tất nhiên, khi chạy chương trình, một Person chỉ là một bảng Lua thông thường: kiểu giao chỉ tồn tại để trình kiểm tra sử dụng.