Atualização (28/02/2022)
A partir da versão 4.6 do TypeScript, publicada no dia 28 de fevereiro de 2022, o sistema de tipos da linguagem permite expressar o tipo de código tratado na pergunta.
Ver, nas notas de edição, a seção “Control Flow Analysis for Destructured Discriminated Unions”.
Ver o código original funcionando no TypeScript playground.
Resposta antiga
Em muito resumo, não é possível fazer a desestruturação antes do branching e ainda realizar a discriminação dos tipos da união.
Repare que, quando você faz a desestruturação antes do branching (nesse caso pelo if
), o compilador não tem como definir o tipo do valor desestruturado mediante o local em que for usado. Por conta disso, o tipo inferido para esse valor será o mais genérico possível. No caso de uniões, o tipo será a união de todas as variantes correspondentes à propriedade em questão.
Então:
type CatsOrDogs =
| { cats: string[]; dogs?: undefined }
| { cats?: undefined; dogs: string[] };
const catsOrDogs: CatsOrDogs = {} as any; // Ignore isso, só para demonstrar o valor.
const { cats } = catsOrDogs;
// Tipo de `cats` será `string[] | undefined`.
Nesse exemplo, não é factível esperar que o compilador associe ao tipo da variável cats
as condições em que ele possa ser string[]
ou undefined
. Portanto, o tipo inferido será string[] | undefined
.
Você pode, no entanto, realizar a desestruturação uma vez que o branching já tenha sido realizado:
type CatsOrDogs =
| { cats: string[]; dogs?: undefined }
| { cats?: undefined; dogs: string[] };
const catsOrDogs: CatsOrDogs = {} as any; // Ignore isso, só para demonstrar o valor.
if (catsOrDogs.cats) {
const { cats } = catsOrDogs;
// Dentro deste branch, o tipo de `cats` será `string[]`.
}
É importante ter em mente que, em uniões, a informação necessária para que o compilador faça a discriminação encontra-se no objeto inteiro (que possui o union type). Uma vez que você desestruture um objeto antes que o compilador tenha feito a discriminação, os valores desestruturados não terão qualquer habilidade para a realizar.