Sử dụng hàm tổng quát

Thuộc phần Giới thiệu về Luau trong hành trình Lua của Coddy. Bài học 63 trên 80.

Bạn không bao giờ cho identity biết T là gì: trình kiểm tra tự suy ra. Đây là suy luận kiểu (type inference): tại mỗi vị trí gọi hàm, Luau xem đối số rồi xác định T:

local word = identity("Luau")   -- T được suy ra là kiểu chuỗi (string)
local count = identity(12)      -- T được suy ra là kiểu số (number)
local flag = identity(false)    -- T được suy ra là kiểu luận lý (boolean)

Mỗi lần gọi hàm đều độc lập: T có thể là chuỗi ở dòng này và là số ở dòng tiếp theo. Kết quả suy luận cũng an toàn như chú thích kiểu được viết thủ công: trình kiểm tra xem word là string, với tính năng tự động hoàn thành và kiểm tra lỗi đầy đủ.

Một điểm khác biệt quan trọng so với TypeScript: TS cho phép bạn ép kiểu tại vị trí gọi hàm bằng identity<number>(5). Luau không có đối số kiểu tại vị trí gọi hàm. Dòng đó không phải cú pháp đặc biệt, nên Luau đọc dấu ngoặc nhọn là phép so sánh nhỏ hơn/lớn hơn và code sẽ lỗi. Khi muốn ghi rõ kiểu, hãy chú thích kiểu cho biến:

local count: number = identity(12)

Bạn có thể quan sát quá trình suy luận bằng một công cụ quen thuộc: typeof trả về tên kiểu khi chạy của một giá trị, nên print(typeof(identity(12))) in ra number: giá trị đã đi qua hàm tổng quát mà không hề thay đổi.

Thử thách

Dễ

Để trình kiểm tra tự xác định T ở mỗi lần gọi.

Bên dưới hàm, lưu identity("Oslo") vào local city và identity(42) vào local floors, không thêm chú thích kiểu dữ liệu.
In ra typeof(city), sau đó là typeof(floors).

Nhấn Chạy mã: đầu ra hiển thị string và number.

Tự làm thử

-- Hàm (function) identity tổng quát từ bài học trước
local function identity<T>(value: T): T
    return value
end

-- 1) Lấy city và floors từ các lần gọi identity, không thêm chú thích kiểu dữ liệu
-- 2) In ra typeof của từng giá trị