Mảng tổng quát

Generics trở nên rất hữu ích khi bạn làm việc với bảng. Bạn đã viết mảng có kiểu dữ liệu như {number} hoặc {string}. Bên trong hàm generic, kiểu phần tử có thể đơn giản là T, còn {T} có nghĩa là “một mảng gồm bất cứ kiểu nào mà T hóa ra là”.

Đây là ví dụ kinh điển: lấy phần tử đầu tiên của bất kỳ mảng nào:

local function first<T>(items: {T}): T?
    return items[1]
end

Truyền một {string} vào, trình kiểm tra sẽ suy ra T = string, nên kết quả là một chuỗi. Truyền một {number} vào thì kết quả là một số. Một hàm thay thế cả loạt bản sao dành riêng cho từng kiểu.

Hãy chú ý kỹ đến kiểu trả về: đó là T?, không phải T. Mảng có thể rỗng, khi đó items[1] là nil: kiểu tùy chọn bạn đã gặp trước đó diễn đạt đúng điều này: “một T hoặc nil”. Trình kiểm tra sẽ nhắc người gọi xử lý trường hợp nil trước khi dùng kết quả. Đây chính là khả năng phát hiện bug mà bạn mong đợi ở một ngôn ngữ có kiểu dữ liệu.