主页 / coding / 问题 / 79574324
Accepted
dwjohnston
Asked: 2025-04-15 11:33:04 +0800 CST

Required<T> 不适用于辅助查找类型

  • 772

如果我有一些类似这样的代码：

type Bravo = {
  b?: string; 
}

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

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

这是有道理的——该类型Charlie从继承了可选字符串Bravo。

我们可以通过使用Required实用程序类型来解决这个问题：

type Bravo = {
  b?: string; 
}

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

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

简单的。

但是，如果我再添加一层键入查找：

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('');
}

这Required不再能解决我的问题。

怎么回事？

typescript

2 个回答

  1. Best Answer

    ?和之间的区别| undefined在于，在第一种情况下，该字段可以被跳过，而在第二种情况下，该字段需要存在，即使它可以undefined作为值。

    Required仅适用于可选字段。如果字段类型为field : X | undefined，则“必需”将对其不起作用。

    在此处输入图片描述

    操场

    而当它被输入为 时field? : X，则Required有效：

    在此处输入图片描述

    操场

    您使用间接方式进行的操作是，现在Bravo肯定存在该字段b，它可能是未定义的或字符串，但它不是可选的。因此，在这种情况下，Required 的作用不大。

    TS 2.8 发行说明摘录：

    利用此功能，lib.d.ts 现在有了一个新的 Required 类型。此类型会从 T 的所有属性中移除 ? 修饰符，从而使所有属性都变为必需。

    • 2

  2. 使两者都成为必需的b: Required<Alpha>['a'];。在这里尝试过，你可以在这里玩一下 typescriptlang

    • 0

相关问题