TypeScript 유형 추론에 대한 혼란 : 4 가지 함수의 반환 값 유형의 정의가 동일하고 유형 유형 시나리오에서 유형 오류를 피하는 방법은 무엇입니까?

TypeScript 유형의 미묘함을 깊이 탐색하십시오 : 4 가지 함수의 반환 값 유형의 정의의 동등성 및 노조 유형의 유형 안전성.

이 기사는 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>

네 가지 유형 정의는 모두 함수 유형에서 리턴 값 유형을 추출하도록 설계되었습니다. 매개 변수 유형 ( never never[] , any[] , any )는 다르지만 추론 유형의 리턴 값 유형 R 의 추론 결과에는 영향을 미치지 않습니다. extends 키워드는 특정 유형의 매개 변수가 아닌 함수 유형의 구조에 중점을 둡니다. 함수 유형이 일치하는 한, infer R 반환 값 유형을 올바르게 추론 할 수 있습니다. 따라서이 네 가지 정의는 실제로 동일합니다.

다음으로, 우리는 노조 유형과 조건부 유형이 결합 될 때 발생할 수있는 유형 오류를 보여주는 코드를 분석합니다.

 소품을 입력하십시오<t extends major rescategorylabel> = {
  레이블 : t [];
  setSelect : (색인 : 숫자, 레이블 : t는 major major : major : rescategoryLabel) => void;
  XXX : 누구나; // 다른 속성이 생략 됨};

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

Props 유형 정의에서 setSelect 함수 매개 변수 label 의 유형 추론에 문제가 있습니다. 조건부 유형 T extends Major ? Major : ResCategoryLabel T 유형에 따라 label 유형을 결정하려고 시도합니다. 그러나 T 는 공동 유형의 Major | ResCategoryLabel , 실제 T 유형의 t를 알 수 없을 때, 컴파일러는 T 가 Major 또는 ResCategoryLabel 인지 판단 할 수 없으므로 label 의 유형 추론이 실패하게됩니다. 문제는 조건부 유형 자체가 아니라 노조 유형의 맥락에서 적용됩니다.

해결책은 Major | ResCategoryLabel 사용하는 것입니다 label 유형으로 직접 Major | ResCategoryLabel :

 소품을 입력하십시오<t extends major rescategorylabel> = {
  레이블 : t [];
  setSelect : (색인 : 숫자, 레이블 : major | rescategoryLabel) => void;
  XXX : 누구나; // 다른 속성이 생략 됨};</t>

이러한 방식으로 setSelect 함수의 매개 변수 유형이 명확하여 유형 오류를 피하고 코드의 가독성 및 유지 관리 가능성을 향상시킵니다. 이는 더 명확하고 안전한 유형 정의와 교환하여 조건부 유형에 의해 가져 오는 정제 유형 제어를 포기해야한다는 것을 반영합니다.

위 내용은 TypeScript 유형 추론에 대한 혼란 : 4 가지 함수의 반환 값 유형의 정의가 동일하고 유형 유형 시나리오에서 유형 오류를 피하는 방법은 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!