TypeScript 유형의 추론에 대해 혼란스러운 것은 무엇입니까? 네 가지 유형은 동일한 결과를 가지고 있으며 조건부 유형과 노조 유형과 일치하는 문제는 무엇입니까?

TypeScript Type Tipe 추론의 미묘함 : 네 가지 유형 정의의 동일한 결과와 조건부 유형과 노조 유형 간의 일치 문제

이 기사는 TypeScript의 여러 가지 다른 유형 정의가 동일한 결과를 생성하는 이유를 탐구하고 조건부 유형과 노조 유형과 일치하는 문제를 설명합니다.

먼저, 우리는 4 가지 getReturnType 유형의 정의를 분석합니다.

 GetReturnType1을 입력하십시오<t> = t는 확장 (... args : never) => ult r? R : 절대;
GetReturnType2를 입력하십시오<t> = t는 확장 (... args : never []) => ult r? R : 절대;
GetReturnType3을 입력하십시오<t> = t는 확장 (... args : any []) => ult r? R : 절대;
GetReturnType4를 입력하십시오<t> = T 연장 (... args : any) => ult r? R : 절대;</t></t></t></t>

네 가지 유형의 정의는 모두 기능 유형에서 리턴 값 유형을 유추하도록 설계되었습니다. 파라미터 유형 (...args: never) , (...args: never[]) , (...args: any[]) 및 (...args: any) 다르게 보이지만 유형 추론에서 일관되게 수행됩니다. extends 키워드는 주로 기능의 매개 변수 및 리턴 값 유형에 중점을두고 매개 변수 유형의 세부 사항을 엄격히 확인하지 않기 때문입니다. 불가능한 유형을 나타내지 never 어떤 유형 any , 빈 배열을 나타내지 never[] . 이러한 차이는 반환 값 유형 추론 프로세스 중에 무시됩니다. 따라서 함수의 리턴 값 유형 R 올바르게 추론 할 수 있습니다.

다음으로 조건부 유형이 노조 유형과 일치하지 않는 문제를 분석합니다.

 소품을 입력하십시오<t extends major rescategorylabel> = {
  레이블 : t [];
  setSelect : (색인 : 숫자, 레이블 : t는 major major : major : rescategoryLabel) => void;
  트리플 엑스;
};

const changeselect = (
  색인 : 숫자,
  레이블 : 메이저 | rescategoryLabel,
  E : reft.mouseevent<htmlanchorelement> | reft.touchevent<htmlanchorelement>
) => {
  setSelect (색인, 레이블);
  ActiveAbtocenter (e.currenttarget as htmlelement);
};</htmlanchorelement></htmlanchorelement></t>

setSelect 함수의 두 번째 매개 변수 label T extends Major ? Major : ResCategoryLabel . 문제는 T Major | ResCategoryLabel , TypeScript는 label 유형을 결정할 수 없습니다. 조건부 유형은 T Major 인지 여부에 따라 유형을 선택하려고하지만 T Major 또는 ResCategoryLabel 일 수 있으므로 유형의 추론이 특정 유형을 제공하지 않아 유형 불일치 오류가 발생합니다. 이것은 코드 로직 오류가 아니라 노조 유형 및 조건부 유형을 다룰 때 TypeScript 유형 시스템의 제한입니다. 해결 방법은 유형의 어설 션 또는 더 많은 세분화 유형 정의를 사용하여 label 명시 적으로 입력하는 등 Props 유형 또는 setSelect 함수의 유형 정의를 리팩토링해야 할 수 있습니다.

위 내용은 TypeScript 유형의 추론에 대해 혼란스러운 것은 무엇입니까? 네 가지 유형은 동일한 결과를 가지고 있으며 조건부 유형과 노조 유형과 일치하는 문제는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!