Início / coding / Perguntas / 77165937
Accepted
Ooker
Asked: 2023-09-24 14:22:27 +0800 CST

Por que o TS pode restringir o tipo quando o retorno está presente, mas não quando o retorno não está?

  • 772

Eu tenho esse script:

type Input = string
function util(input: Input) {
    return input
}

function main(input: Input | null) {
    const isNull = input === null
    if (isNull) {
        return 'empty string'
    }    
    input = util(input) //error
}

O erro é:Argument of type 'string | null' is not assignable to parameter of type 'string'. Type 'null' is not assignable to type 'string'.

No entanto, isso não acontece se:

  • A última linha é return util(input), ou
  • A linha de condição é encurtada paraif (input === null)

Por que é que?

Parque Infantil

typescript

1 respostas

  1. Best Answer

    Pode parecer contra-intuitivo - e é na minha opinião - mas o Typescript não pode usar uma variável intermediária para inferir o tipo de valores que foram usados ​​para dar valor a essa variável.

    Você precisa usar if (input === null)ou escrever e usar um tipo predicado isNull.

    EDITAR:

    Aqui está como seria usar um predicado de tipo:

    const isNull = (value: any): value is null => {
    return value === null;
};

const doSomething = (value: string | null) => {
    if (isNull(value)) {
        return 'foo';
    }

    return value.charAt(0); // valid; at that point, TypeScript compiler knows that value is not null - hence it is a string
};

    Não tenho certeza se isso está acrescentando alguma coisa à simples escrita if (value === null).

    • 1

relate perguntas