<p>次のコードは Typescript 型チェッカー (v2.9.1) に渡しますが、実行時に <code>TypeError</code> をスローします。 </p> <pre class="brush:php;toolbar:false;">インターフェース項目 { id: string } const リスト: アイテム[] = [{ id: 'a' }, { id: 'b' }]; const item = list[3]; // タイプ: 項目 const itemId = item.id; // 型: string</pre> <p>型付き配列内の要素にアクセスすると常に <code>unknown</code> が返される可能性があることを考慮すると、<code>item</code> は <code>item: item | unknown</code> である必要があります。 、これは null チェックを強制的に実行する必要がありますね。 </p> <p>さらに驚いたのは、次のコードも型チェックに合格したことです。</p> <pre class="brush:php;toolbar:false;">const item2: 項目 | 未定義 = list[3]; const item2Id = item2.id;</pre> <p>戻り値をキャストすると型チェックが失敗します: </p> <pre class="brush:php;toolbar:false;">const item3 = list[3] as 項目 | 未定義; const item3Id = item3.id; // [ts] オブジェクトは「未定義」である可能性があります。</pre> <p>明示的に型指定されたアクセサ関数を作成すると、<code>未定義</code> の状況もキャプチャできますが、不必要なオーバーヘッドが追加されます。 <pre class="brush:php;toolbar:false;">const getItem1 = (インデックス:番号, アイテム:アイテム[]):アイテム | 未定義 =>アイテム[インデックス]; const item3 = getItem1(3, list); const item3Id = item3 && item3.id;</pre> <p>これは Typescript の既知の制限ですか?この状況に対処するための推奨されるパターンまたはライブラリはありますか? </p>