고급 유형 힌트 : 노조 유형, 교차로 유형 및 '절대'

Union 유형 (a | b)은 값이 여러 유형 중 하나가되도록하여 여러 입력 가능성을 유연하게 처리 할 수 있습니다. 2. 교차 유형 (A & B) 다중 유형을 모든 멤버를 만족시켜야하는 복잡한 객체 모양을 만드는 데 유용합니다. 3. Never 유형은 도달 할 수 없거나 불가능한 상태를 나타내며, 절대 돌아 오지 않는 철저한 점검 및 기능에 일반적으로 사용됩니다. 이러한 고급 타입 스크립트 기능을 사용하면 유효하지 않은 상태를 대표 할 수 없게하여보다 강력하고 자체 문서화 및 유형-안전 코드가 가능합니다.

TypeScript로 작업 할 때 기본 유형 주석이 시작일뿐입니다. 보다 강력하고 표현력이 뛰어나고 유지 가능한 코드를 작성하려면 string , number 또는 boolean 넘어서야하며 Union 유형 , 교차로 유형 및 특수한 never 과 같은 고급 유형 힌트를 활용해야합니다. 이 도구는 복잡한 시나리오에서 가치와 기능이 어떻게 행동하는지에 대한 세밀한 제어를 제공합니다.

실제 예제 및 사용 사례로 이러한 각 개념을 분류합시다.

노동 조합 유형 : 여러 가능성 처리

노조 유형은 값이 여러 유형 중 하나 일 수 있도록합니다. 수직 막대 ( | )를 사용하여 정의합니다.

 userId : String | 숫자;
userId = "ABC123"; // ✅
userID = 123; // ✅

이는 유형이 보장되지 않는 API, 사용자 입력 또는 레거시 데이터를 처리 할 때 특히 유용합니다.

실제 예 : 상태 처리

 함수 getStatus (상태 : "로드"| "성공"| "오류") {
  // ...
}
getstatus ( "로드"); // ✅
getstatus ( "보류"); // ❌ 할당 할 수없는 인수

복잡한 유형의 노조를 사용할 수도 있습니다.

 유형 사용자 = {이름 : 문자열; 나이 : 번호};
admin = {이름 : 문자열; 권한 : 문자열 []};

함수 printInfo (엔티티 : 사용자 | admin) {
  console.log (entity.name); // ✅ '이름'은 두 가지 모두에 존재합니다
  // console.log (entity.age); // ❌ 오류 : 'Age'가 관리자가 아닙니다
}

? 팁 : 유형 가드를 사용하여 런타임에 Union 유형을 좁히십시오.

 if (Entity의 "Age") {
  Console.log (entity.age); // 이제 안전합니다
}

교차 유형 : 결합 유형

교차 유형은 여러 유형을 하나로 결합합니다. 그것은 & 운영자를 사용하며 "이 값은 모든 유형을 만족시켜야합니다"를 의미합니다.

 유형 사용자 = {이름 : 문자열; 이메일 : 문자열};
type timestamp = {createat : date; 업데이트 : 날짜};

user withtimestamp = user & timestamp를 입력하십시오.

const 사용자 : userwithtimestamp = {
  이름 : "Alice",
  이메일 : "alice@example.com",
  생성 : 새 날짜 (),
  업데이트 : 새 날짜 (),
};

실제 사용 사례 : Mixins 또는 구성 객체

 withid = {id : number}를 입력합니다.
withName = {이름 : String}을 입력합니다.
유형 active = {isactive : boolean};

type account = withid & withname & active;

const 계정 : 계정 = {
  ID : 1,
  이름 : "프로 사용자",
  Isactive : 사실,
};

⚠️ 필드가 상충되는 객체 교차로에주의하십시오 .

 유형 a = {data : string};
type b = {data : number};
C = A & B 형;

const 예 : c = {
  데이터 : ??? // 이것이 무엇 일 수 있습니까? 문자열이어야합니다. & 번호 → 불가능 →`Never '
};

그것은 우리를…

never Type : 도달 할 수없는 상태를 나타냅니다

never 유형은 결코 일어나지 말아야 할 값을 나타냅니다. 두 가지 주요 시나리오에서 사용됩니다.

1. 절대 돌아 오지 않는 기능
2. 유형 좁아서 존재할 수없는 값

1. 절대 돌아 오지 않는 기능

 함수 발전기 (메시지 : 문자열) : 절대 {
  새로운 오류 (메시지)를 던지십시오.
}

이 기능은 단지 void 반환하는 것이 아니라 결코 반환되지 않습니다. TypeScript는 never 그것을 모델링하지 않습니다.

2. 철저한 노조 점검

never 의 전형적인 사용은 모든 사례가 노조에서 처리되도록하는 것입니다.

 유형 모드 = "Dark"| "가벼운"| "자동";

함수 gettheme (모드 : 모드) {
  스위치 (모드) {
    "Dark"사례 :
      "검은 색"을 반환합니다.
    케이스 "라이트":
      "화이트"를 반환합니다.
    "Auto"사례 :
      Return Window.prefersdark? "검은 색": "흰색";
    기본:
      // 모든 케이스가 다루어지면`mode`는`never '가됩니다.
      const _exhaustiveCheck : Never = Mode;
      반환 _exhaustiveCheck;
  }
}

나중에 Mode 에 새 값을 추가하지만 처리하는 것을 잊어 버리면이 라인은 유형 오류가 발생하여 불완전한 논리를 잡는 데 도움이됩니다.

유형 시스템에서 작동 never 방법

• 하단 유형은 never . 모든 유형에 할당 할 수 있습니다.
• 그러나 어떤 유형도 never 할당 할 수 없습니다 ( never 자체적으로 제외).
• 가능성이 소진 될 때 유형이 좁아지는 동안 나타납니다.

 함수 핸들 value (x : 문자열 | 번호) {
  if (typeof x === "String") {
    // x는 문자열입니다
  } else if (typeof x === "number") {
    // x는 숫자입니다
  } 또 다른 {
    // x는 '절대'입니다 - 다른 가능성은 없습니다
    const 예상치 못한 : never = x;
    새 오류를 던지십시오 (`예상치 못한 값 : $ {예기치 않은}`);
  }
}

모든 것을 함께 모으십시오

양식 검증 시스템을 구축한다고 상상해보십시오.

 유형 성공 = {성공 : true; 데이터 : 문자열};
유형 실패 = {성공 : False; 오류 : 문자열};
유형 결과 = 성공 및 실패; // 잠깐만 - 뭐?

// 말이되지 않습니다. 대신에:
type validationResult = 성공 | 실패;

함수 isValid (입력 : 문자열) : validationResult {
  if (input.length> 0) {
    return {success : true, data : input};
  } 또 다른 {
    return {success : false, 오류 : "빈 입력"};
  }
}

// 그런 다음 결과를 안전하게 처리합니다.
함수 processResult (res : validationResult) {
  if (res.success) {
    console.log ( "data :", res.data); // ✅ 유형은 성공입니다
  } 또 다른 {
    Console.log ( "오류 :", res.error); // ✅ 유형은 고장입니다
  }
}

여기서 Union 유형은 조건부 타이핑을 가능하게하고 TypeScript는 success 분야를 기반으로 유형을 좁 힙니다.

요약

• Union 유형 ( A | B ) : 값은 A 또는 B입니다 . 유연한 입력에 좋습니다.
• 교차 유형 ( A & B ) : 값은 A 와 B 모두 이어야합니다. 기능을 결합하는 데 유용합니다.
• never : 불가능하거나 도달 할 수없는 상태를 나타냅니다. 철저한 점검 및 오류 기능에 필수적입니다.

이 고급 유형 기능을 사용하면 유효하지 않은 상태를 대표 할 수 없게 하여 더 안전한 코드를 작성하는 데 도움이됩니다. 일단 편안 해지면 타입 스크립트가 타이핑하는 것이 아니라 자체 문서화 와 자체 강화 가됩니다.

기본적으로 기본 주석에서 진정으로 강력한 유형 모델링에 이르기까지 레벨을 올리는 방법입니다.

위 내용은 고급 유형 힌트 : 노조 유형, 교차로 유형 및 '절대'의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!