infer 关键字条件类型提供了一个 infer 关键字, 可以让我们在条件类型中定义新的类型博主假设有这么一个需求: 定义一个类型, 如果传入的是数组, 就返回数组的元素类型, 如果传入的是普通类型,...类型:let value: unknown;value = 123;value = "abc";value = false;如果没有类型断言或基于控制流的类型细化, 那么不能将 unknown 类型赋值给其它类型...value1: unknown = 123;let value2: number;if (typeof value1 === 'number') { value2 = value1;}如果没有类型断言或基于控制流的类型细化...== value2);不能进行其它操作(因为其他操作没有意义), 虽然没有报错, 但是不推荐, 如果想报错提示, 可以打开严格模式("strict": true):图片let value1: unknown...~ 关注我不迷路,如果本篇文章对你有所帮助,或者你有什么疑问,欢迎在评论区留言,我一般看到都会回复的。