配列要素が未定義を返す可能性を考慮していない Typescript コード

Question

次のコードは Typescript 型チェッカー (v2.9.1) に渡しますが、実行時に TypeError をスローします。

インターフェース項目 { id: string }
const リスト: アイテム[] = [{ id: 'a' }, { id: 'b' }];
const item = list[3]; // タイプ: 項目
const itemId = item.id; // 型: string

型付き配列内の要素にアクセスすると常に unknown が返される可能性があることを考慮すると、item は item: item | unknown である必要があります。 、これは null チェックを強制的に実行する必要がありますね。

さらに驚いたのは、次のコードも型チェックに合格したことです。

const item2: 項目 | 未定義 = list[3];
const item2Id = item2.id;

戻り値をキャストすると型チェックが失敗します:

const item3 = list[3] as 項目 | 未定義;
const item3Id = item3.id; // [ts] オブジェクトは「未定義」である可能性があります。

明示的に型指定されたアクセサ関数を作成すると、未定義 の状況もキャプチャできますが、不必要なオーバーヘッドが追加されます。

const getItem1 = (インデックス:番号, アイテム:アイテム[]):アイテム | 未定義 =>アイテム[インデックス];
const item3 = getItem1(3, list);
const item3Id = item3 && item3.id;

これは Typescript の既知の制限ですか?この状況に対処するための推奨されるパターンまたはライブラリはありますか?

Answer 1

これは意図的な動作です。 TypeScript GitHub リポジトリでこの問題に関する長い議論をご覧ください

strictNullChecks がオフになっています。オンにしてみてください。

Answer 2

TS 4.1 アップデート:

TypeScript 4.1 では、このケースの未定義を考慮して、microsoft/TypeScript#13778 での提案を実装する --noUncheckedIndexedAccess コンパイラ フラグが導入されました。この機能は、--strict コンパイル オプション セットの一部として有効化されておらず、プログラマが # に関する警告を望まない、または予期しない状況を生成するため、「厳密なインデックス シグネチャ」と呼ばれます。 ＃＃未定義＃＃＃。

TS4.1 前の回答:

---

インデックス署名では、オプションのプロパティとは異なり、要素タイプに

| unknown

が追加されないことがわかりました。これを実現するコンパイラ オプションを作成するという提案は、microsoft/TypeScript#13778 で行われました。その提案のコメントを読むと、他の質問にリンクしていますが、エラー率が高いためほとんど役に立たないというのがコンセンサスです。 は、要素タイプに

| unknown

を手動で追加できることにも言及しました: リーリー これは、言語全体に影響を与えることなく、期待どおりに機能します。