オプショナルなプロパティ

すべてのフィールドが常に存在するとは限りません。Luaでは、存在しないテーブルフィールドを読み取ると単にnilになります。柔軟ではありますが、attempt to concatenate a nil valueのようなバグが紛れ込む原因にもなります。

Luauでは、型の後ろに?を付けて<形>を明示できます。フィールドをオプショナルとして指定します。

type User = {
    name: string,   -- 必須
    email: string?, -- 省略可能: string または nil
}

local alice: User = {name = "Alice", email = "alice@luau.dev"}
local bob: User = {name = "Bob"} -- ✓ 問題なし。email は省略可能

変数で以前学んだように、string?はstring | nilの省略形です。同じ考え方が、今度は型の個々のフィールドに適用されます。

オプショナルなフィールドはnilの可能性があるため、使う前に確認する必要があります。従来のLuaの書き方が使えます。また、strictモードでは、型チェッカーが分岐内で型を絞り込みます。

if bob.email then
    print(`email: {bob.email}`) -- ここではemailは文字列です
else
    print("no email on file")
end

オプショナルとは「存在しない場合がある」という意味です。「どんな型でもよい」という意味ではありません。emailが存在する場合は、引き続き文字列でなければなりません。