如何解决打字稿条件类型无法正确缩小嵌套属性的类型
我遇到了一个奇怪的问题。我想知道这是真正的错误还是只是 typescript 条件类型的乏味。
考虑这个interface
-
type EnumObj = { enm?: readonly (string | number)[] };
interface ITest {
[key: string]: string | EnumObj;
}
ITest
中的每个属性要么是一个普通的 string
,要么是一个带有可选的 enm
属性的对象,该属性的类型为只读字符串/数字数组。强调可选。
我的目标本质上是这样的 - 对于 ITest
中的给定键,我需要检查该键的值的类型是否为 EnumObj
- 如果是,我需要检查是否enm
属性的类型未定义(不可为空),然后我必须专门使用 { 的值类型进行一些类型推导{1}} 属性。
那里有 2 个级别的检查,一个是缩小联合,另一个是检查 enm
是否实际存在。
为了做到这一点,我认为我可以做到-
enm
这很奇怪,看起来类型没有正确缩小。所以我试图把它分开。而不是 2 个条件检查来缩小确切类型 - 我将缩小 // Nested conditional checking
type Foo<T extends ITest,K extends keyof T> = T[K] extends EnumObj
? T[K]['enm'] extends NonNullable<EnumObj['enm']>
? T[K]['enm'][number]
// ^ type `number` cannot be used to index `T[K]['enm']`
: never
: never;
属性,给定 enm
EnumObj
正如预期的那样,这工作正常。所以我基本上必须在 // Directly checking T['enm'] - no nesting,works fine
type Bar<T extends EnumObj> = T['enm'] extends NonNullable<EnumObj['enm']> ? T['enm'][number] : never;
内调用 Bar
来进行完整的类型推导。但是为什么条件类型会因为嵌套缩小而吓坏了?
这里是 typescript playground 的全部内容
另一个奇怪的部分是,即使 Foo
给出错误。我实际上可以使用它 Foo
并且它会被正确推断。
请注意,我本身并不是在寻找解决方案。我猜只是在 Foo<{ f: { enm: [1,2,3] } }>
内调用 Bar
或多或少是到达这里的方式。请注意,这是一个虚拟示例,但我的真正目标涉及以几乎相同的方式进行嵌套类型检查。我只是很好奇为什么会发生这种情况?
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。