Início / coding / Perguntas / 78896649
Accepted
Marcus Junius Brutus
Asked: 2024-08-21 19:15:33 +0800 CST

O estreitamento de tipo não funciona em uma instrução switch

  • 772

Por que o código a seguir não verifica o tipo (TypeScript 5.5.4):

    type ValidationResult$Type = 'success' | 'invalid_or_expired_token' 
    export type ValidationResult = {
      type: 'success'
      token_info: object
    } | {
      type: 'invalid_or_expired_token'
    };
    
    const x: ValidationResult = undefined as unknown as ValidationResult;
    
    const {type}: {type: ValidationResult$Type} = x;
    
    switch (type) {
        case 'success':
        const {token_info} = x;
        break;
        case 'invalid_or_expired_token':
        break;
    }

enquanto o código abaixo, mais simples, faz:

// type ValidationResult$Type = 'success' | 'invalid_or_expired_token' 
export type ValidationResult = {
  type: 'success'
  token_info: object
} | {
  type: 'invalid_or_expired_token'
};

const x: ValidationResult = undefined as unknown as ValidationResult;

// const {type}: {type: ValidationResult$Type} = x;
const {type} = x;

switch (type) {
    case 'success':
    const {token_info} = x;
    break;
    case 'invalid_or_expired_token':
    break;
}

Parque infantil

typescript

1 respostas

  1. Best Answer

    Nesta demonstração você pode ver os dois casos juntos:

    UM)

    function f1() {
  const {type} = x;
  switch (type) { // type is "success" | "invalid_or_expired_token"
      case 'success':
        const test1 = x.token_info; // OK
        break;
      case 'invalid_or_expired_token':
        const test2 = x.token_info; // Error
        break;
  }
}

    Neste caso, typeé "success" | "invalid_or_expired_token". Quando o TypeScript está processando a análise do fluxo de controle, ele é capaz de ver que typevem de x.type, então o TS é inteligente o suficiente para adivinhar que se x.typefor "success", então xtem a propriedade token_info.

    B)

    function f2() {
  type ValidationResult$Type = ValidationResult['type'];
  const {type}: {type: ValidationResult$Type} = x;
  switch (type) { // type is "success" | "invalid_or_expired_token"
      case 'success':
        const test1 = x.token_info; // Error
        break;
      case 'invalid_or_expired_token':
        const test2 = x.token_info; // Error
        break;
  }
}

    Neste caso, typetambém é "success" | "invalid_or_expired_token". Quando o TypeScript está processando a análise do fluxo de controle, NÃO é possível ver o que typevem do arquivo x.type. Sua anotação {type: ValidationResult$Type}tem precedência sobre a inferência de x, então TS não tem como conectar os pontos e adivinhar que, se typefor "success", então xpossui a propriedade token_info.

    A moral da história é que você deve evitar adicionar anotações manuais sempre que possível .

    • 1

relate perguntas