Início / coding / Perguntas / 79574324
Accepted
dwjohnston
Asked: 2025-04-15 11:33:04 +0800 CST

Required<T> não funciona para tipos de pesquisa secundários

  • 772

Se eu tiver algum código como:

type Bravo = {
  b?: string; 
}

type Charlie = {
  c:Bravo['b']
}

function acceptsCharlie(value: Charlie){
  //'value.c' is possibly 'undefined'.(18048)
  value.c.split('');
}

Isso faz sentido - o tipo Charlieherda a string opcional de Bravo.

Podemos resolver isso usando o Requiredtipo de utilitário:

type Bravo = {
  b?: string; 
}

type Charlie = {
  //  👇
  c:Required<Bravo>['b']
}

function acceptsCharlie(value: Charlie){
  // no error here 
  value.c.split('');
}

Fácil.

Entretanto, se eu adicionar mais uma camada de pesquisa de digitação:

type Alpha = {
  a?: string; 
}

type Bravo = {
  b: Alpha['a']; 
}

type Charlie = {
  c: Required<Bravo>['b']
}

function acceptsCharlie(value: Charlie){
  //'value.c' is possibly 'undefined'.(18048)
  value.c.split('');
}

Isso Requirednão resolve mais o problema para mim.

O que acontece?

typescript

2 respostas

  1. Best Answer

    A diferença entre ?e| undefined é que na primeira situação o campo pode ser ignorado, enquanto na segunda o campo precisa existir, mesmo que possa ter undefinedcomo valor.

    Requiredfunciona apenas em campos opcionais. Se um campo for digitado como field : X | undefined, Obrigatório não terá efeito sobre ele.

    insira a descrição da imagem aqui

    Parque infantil

    Enquanto que quando é digitado como field? : X, então Requiredfunciona:

    insira a descrição da imagem aqui

    Parque infantil

    O que você está fazendo com a indireção é que agora Bravodefinitivamente tem o campo b, que pode ser indefinido ou string, mas não é opcional. Então, nesse caso, Required não pode fazer muita coisa.

    Trecho das notas de lançamento do TS 2.8 :

    Com essa habilidade, lib.d.ts agora tem um novo tipo Required. Este tipo remove os modificadores ? de todas as propriedades de T, tornando todas as propriedades obrigatórias.

    • 2

  2. faça ambos obrigatórios b: Required<Alpha>['a'];. tentei aqui e você pode brincar aqui typescriptlang

    • 0

relate perguntas