Início / coding / Perguntas / 79577167
Accepted
ElohmroW
Asked: 2025-04-16 20:19:17 +0800 CST

A união de texto digitado não é restritiva o suficiente

  • 772

Quando crio uma união entre dois tipos de objeto ( Ae B), espero que uma variável atribuída a esse tipo de união só possa assumir o formato de Aou B.

Inesperadamente, badnão há um erro de tipo aqui, embora intuitivamente devesse haver, pois não satisfaz as restrições de Anem B. Link do Typescript Playground

type A = {a: string}
type B = {a: string, b: string, c: string}
type Foo = A | B

// this should be a type error, but it isn't?
// to be valid, it should either:
// - not have "c" property
// - add the "b" property
const bad: Foo = {
  a: "",
  c: ""
}

Como posso melhorar Foopara que a badvariável falhe com um erro de tipo?

typescript

2 respostas

  1. Best Answer

    Os tipos de união são mesclados por membro .

    type A = {a: string}
type B = {a: string, b: string, c: string}
type Foo = A | B

    isso resulta em Foo sendo do tipo

    type Foo = { 
    a: string; 
    b?: string; 
    c?: string 
};

    e, portanto, nenhum erro. O que você quer é uma união discriminada:

    type A = { kind: 'A'; a: string };
type B = { kind: 'B'; a: string; b: string; c: string };
type Foo = A | B;

// type error
const invalid: Foo = {
    kind: 'B', // discriminant
    a: '',
    c: '',
};
    • 3

  2. Este é um comportamento antigo conhecido quando a verificação estrita de propriedades para literais de objeto é ignorada para tipos de união. Problemas foram criados no repositório TS desde pelo menos 2016: https://github.com/microsoft/TypeScript/issues/12745

    Aparentemente deve haver uma correção com uma opção de configuração extra, mas acho que não vale a pena esperar por isso.

    • 3

relate perguntas