インラインでの形状のアノテーション

Luaでは、長年にわたりテーブルをレコードとして使用してきました: local user = {name = "Ana", age = 20}。フィールド名を打ち間違えたり、忘れたり、数値が入るべき場所に文字列を格納したりすることを防ぐものはなく、コードの実行時に初めて判明します。

Luauでは、波括弧の中に各フィールドとその型をリストアップすることで、宣言時にそのようなテーブルのシェイプ（形）を直接記述できます:

local user: {name: string, age: number} = {
    name = "Ana",
    age = 20,
}

すでに知っているテーブル型と比較してみましょう: {number} は配列を記述し、{[string]: number} は任意の文字列キーを持つマップを記述します。シェイプはより正確で、各フィールドを個別に命名し、すべてのフィールドに固有の型を与えます。

シェイプが宣言されると、編集時に型チェッカーがテーブルに対して検証を行います。フィールドの欠落や間違った値の型は、コードが実行される前にフラグが立てられます:

local user: {name: string, age: number} = {
    name = "Ana",
    age = "twenty", -- ✗ 型エラー: string は number ではありません
}

いつものように、アノテーションによってランタイムの挙動が追加されることはありません。テーブルは通常のLuaテーブルのままです。インラインシェイプは、再利用する予定のない単発の構造に最適です。次のレッスンでは、シェイプに名前を付ける方法を学びます。