<p>Kod berikut dihantar dalam penyemak jenis Typescript (v2.9.1), tetapi membuang <code>TypeError</code> </p> <pre class="brush:php;toolbar:false;">Item antara muka { id: string } senarai const: Item[] = [{ id: 'a' }, { id: 'b' }]; item const = senarai[3]; // Jenis: Item const itemId = item.id // Jenis: string</pre> <p>Memandangkan bahawa mengakses elemen dalam tatasusunan yang ditaip mungkin sentiasa mengembalikan <kod>tidak ditentukan</kod>, <kod>item</kod> mestilah <kod>item: Item |. , yang akan memaksa anda melakukan semakan batal, bukan? </p> <p>Apa yang lebih mengejutkan saya ialah kod berikut juga melepasi semakan jenis: </p> <pre class="brush:php;toolbar:false;">const item2: Item | undefined = list[3]; const item2Id = item2.id;</pre> <p>Walaupun menghantar nilai pulangan menyebabkan semakan jenis gagal: </p> <pre class="brush:php;toolbar:false;">const item3 = list[3] as Item undefined; const item3Id = item3.id; // [ts] Objek mungkin 'tidak ditentukan'.</pre> <p>Mencipta fungsi pengakses yang ditaip secara eksplisit juga boleh menangkap situasi <kod>tidak ditentukan</kod> <pre class="brush:php;toolbar:false;">const getItem1 = (index: number, items: Item[]): Item undefined => const item3 = getItem1(3, senarai); const item3Id = item3 && item3.id;</pre> <p>Adakah ini pengehadan TypeScript yang diketahui? Adakah terdapat sebarang corak atau perpustakaan yang disyorkan untuk menangani situasi ini? </p>

const list: (Item | undefined)[] = [{ id: 'a' }, { id: 'b' }];