Mảng có kiểu

Mảng có kiểu là một trong những tính năng hữu ích nhất của Luau để sắp xếp nhiều giá trị mà vẫn đảm bảo an toàn kiểu dữ liệu.

Trong Lua, mảng chỉ là một bảng có các giá trị ở vị trí 1, 2, 3, …, và bảng có thể chứa đồng thời một số, một chuỗi và một giá trị boolean. Luau cho phép bạn khai báo rằng một bảng chỉ nên chứa các phần tử thuộc một kiểu dữ liệu, bằng cú pháp {Type}:

local numbers: {number} = {1, 2, 3, 4, 5}
local names: {string} = {"Alice", "Bob", "Charlie"}
local flags: {boolean} = {true, false, true}

Khi khai báo một mảng có kiểu, trình kiểm tra kiểu của Luau đảm bảo chỉ các giá trị thuộc kiểu đã khai báo mới được đưa vào. Nếu chèn một chuỗi vào mảng {number}, bạn sẽ gặp lỗi kiểu dữ liệu khi đang chỉnh sửa, trước khi code chạy:

local scores: {number} = {85, 90, 78}
table.insert(scores, "oops") -- ✗ lỗi kiểu dữ liệu: chuỗi không phải là số

Mọi điều bạn đã biết về bảng trong Lua vẫn áp dụng: mảng bắt đầu từ chỉ số 1 (scores[1] là phần tử đầu tiên), #scores là độ dài, còn table.insert và table.remove vẫn hoạt động như thường. Phần chú thích kiểu giúp tăng độ an toàn, chứ không thay đổi hành vi khi chạy.