<p>Le code suivant passe dans le vérificateur de type Typescript (v2.9.1), mais renvoie <code>TypeError</code> </p> <pre class="brush:php;toolbar:false;">élément d'interface { id: string } liste const : Item[] = [{ id : 'a' }, { id : 'b' }] ; const item = list[3]; // Type : élément const itemId = item.id; // Type : chaîne</pre> <p>Considérant que l'accès à un élément dans un tableau typé peut toujours renvoyer <code>undefined</code>, <code>item</code> doit être <code>item : Item | , ce qui vous obligera à faire une vérification nulle, n'est-ce pas ? </p> <p>Ce qui m'a encore plus surpris, c'est que le code suivant a également réussi la vérification de type : </p> <pre class="brush:php;toolbar:false;">const item2 : élément non défini = liste[3] ; const item2Id = item2.id;</pre> <p>Bien que la conversion de la valeur de retour entraîne l'échec de la vérification du type : </p> <pre class="brush:php;toolbar:false;">const item3 = list[3] comme élément non défini ; const item3Id = item3.id; // [ts] L'objet est peut-être « non défini ».</pre> <p>La création d'une fonction d'accesseur explicitement typée peut également capturer la situation <code>undefined</code>, mais cela ajoutera une surcharge inutile : </p> <pre class="brush:php;toolbar:false;">const getItem1 = (index : nombre, éléments : élément[]) : élément non défini => éléments[index] ; const item3 = getItem1(3, liste); const item3Id = item3 && item3.id;</pre> <p>Est-ce une limitation connue de Typescript ? Existe-t-il un modèle ou une bibliothèque recommandé pour gérer cette situation ? </p>

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