Início / coding / Perguntas / 77839111
Accepted
Parzh from Ukraine
Asked: 2024-01-18 19:41:55 +0800 CST

Por que o operador & (intersecção) remove a propriedade não interceptada?

  • 772

Eu tenho a seguinte lógica:

interface ResultBase {
    readonly success: boolean
}

type Result<Payload = undefined> = ResultBase & (Payload extends undefined ? {
    readonly payload?: unknown
} : {
    readonly payload: Payload
})

function getResult<Payload = undefined>(payload: Payload): Result<Payload> {
    return {
//  ^^^^^^
        success: true,
        payload,
    }
}

Tente .

A instrução marcada returné sublinhada com um erro do compilador:

Type '{ success: true; payload: Payload; }' is not assignable to type 'Result<Payload>'.
  Type '{ success: true; payload: Payload; }' is not assignable to type 'Payload extends undefined ? { readonly payload?: unknown; } : { readonly payload: Payload; }'.

Eu me pergunto por que o tipo condicional na mensagem de erro não inclui a successpropriedade? Não deveria ser incluído por ResultBase & …?

typescript

1 respostas

  1. Best Answer

    Nota: não vou falar muito sobre o problema subjacente de o compilador não aceitar sua implementação. Tentar atribuir valores a um tipo que envolve um tipo condicional que depende de um parâmetro de tipo genérico quase sempre falhará, porque o compilador não possui a capacidade de raciocínio de ordem superior necessária para entender o que eles significam. Isso está fora do escopo da pergunta feita, então não vou divagar mais.

    De modo geral, se você tentar atribuir um tipo Ta um tipo de interseção X & Y , ele só poderá digitar check if Té considerado atribuível a ambos Xe Y. Se o compilador não achar que isso Tpode ser atribuído a pelo menos um deles, ele reportará um erro sobre o quebrado. Portanto, se Tfor atribuível, Xmas não Y, você poderá esperar uma mensagem de erro como Type 'T' is not assignable to type 'Y'. Não há necessidade de mencionar Xporque esse não é o problema.

    Por analogia: se você pedir uma maçã vermelha e eu lhe der uma pêra vermelha, você provavelmente objetará com “mas isso não é uma maçã”, sem sentir necessidade de mencionar “vermelho” em sua frase. Não há nada de errado em dizer “mas esta não é uma maçã vermelha”, mas a palavra “vermelho” não é realmente a origem do problema.

    No seu exemplo acima, Té { success: true; payload: Payload; }, Xé equivalente a { readonly success: boolean }e Yé equivalente a Payload extends undefined ? { readonly payload?: unknown; } : { readonly payload: Payload; }. O compilador fica feliz em ver que isso Tpode ser atribuído a X. Mas não é possível verificar se isso Tpode ser atribuído a Y. E assim a mensagem de erro não diz nada sobre ResultBase &, porque não é diretamente relevante para o erro.

    • 0

relate perguntas