<p>다음 코드는 Typescript 유형 검사기(v2.9.1)를 통과하지만 런타임에 <code>TypeError</code>를 발생시킵니다. </p> <pre class="brush:php;toolbar:false;">인터페이스 항목 { ID: 문자열 } const 목록: 항목[] = [{ id: 'a' }, { id: 'b' }]; const item = list[3]; // 유형: 항목 const itemId = item.id // 유형: 문자열</pre> <p>형식 있는 배열의 요소에 액세스하면 항상 <code>정의되지 않은</code>가 반환될 수 있다는 점을 고려하면 <code>item</code>은 <code>item: Item | , 이로 인해 null 검사를 수행해야 하지 않습니까? </p> <p>저를 더욱 놀라게 한 것은 다음 코드도 유형 검사를 통과했다는 것입니다. </p> <pre class="brush:php;toolbar:false;">const item2: 항목 | 정의되지 않음 = 목록[3]; const item2Id = item2.id;</pre> <p>반환 값을 캐스팅하면 유형 확인이 실패하지만: </p> <pre class="brush:php;toolbar:false;">const item3 = list[3] as Item | const item3Id = item3.id; // [ts] 객체가 '정의되지 않은' 것일 수 있습니다.</pre> <p>명시적으로 유형이 지정된 접근자 함수를 생성하면 <code>정의되지 않은</code> 상황을 포착할 수도 있지만 불필요한 오버헤드가 추가됩니다. </p> <pre class="brush:php;toolbar:false;">const getItem1 = (색인: 번호, 항목: 항목[]): 항목 정의되지 않음 => const item3 = getItem1(3, 목록); const item3Id = item3 && item3.id;</pre> <p>이것이 Typescript의 알려진 제한사항인가요? 이 상황을 처리하기 위해 권장되는 패턴이나 라이브러리가 있습니까? </p>