typescript-typings 相关问题

在下面的代码片段中，为什么output1和output2不都被推断为[number, number, number]？片段 1：类型 InferTuple1 = T 扩展任何[] ？ [...T]：从不；常量 func1 = 在下面的代码片段中，为什么output1和output2不都被推断为[number, number, number]？片段1： type InferTuple1<T> = T extends any[] ? [...T]: never; const func1 = <T>(t: InferTuple1<T>) => t; const output1 = func1([1, 2, 3]) 片段2 type InferTuple2<T> = T extends any[] ? [...T]: T; const func2 = <T>(t: InferTuple2<T>) => t; const output2 = func2([1, 2, 3]); output1 推断为： const output1: [number, number, number] output2 推断为： const output2: number[] 第一种情况的类型推断对我来说很清楚：输入是一个数组（因此它扩展了any[]）然后推断为 [...T]，将 T 转换为 [number, number, number] 类型的元组第二种情况，输入仍然是数组，但看起来是第二个条件分支这是执行的，我不明白为什么（我希望 Typescript 返回第一个，因为条件已验证）。（以同样的方式 func1(["foo", 42, "bar"]) 被推断为 [string, number, string]，而 func2(["foo", 42, "bar"]) 被推断为 (string | number)[]) 在这两种情况下，条件类型在评估时都会选择 true 分支，因为 T extends any[] 为 true。区别在于，当您调用 T 或 func1() 时，TypeScript 如何推断 generic 类型参数 func2()。在这两种情况下，参数都是[1, 2, 3]。从技术上讲，编译器可以自由地推断与该参数兼容的“任何东西”。对于 func1()，它推断出元组类型 [number, number, number]，而对于 func2()，它推断出无序任意长度数组类型 number[]。两者都不是“不正确的”，但是不同的启发法发挥作用，改变了偏好。这种推理究竟如何工作的细节没有完整记录（除了遍历编译器代码），所以我在这里给出的任何解释最多只能说明正在发生的事情，而不一定完全准确。 TypeScript 4.0 引入了可变元组类型，在 microsoft/TypeScript#39094 中实现。根据该拉取请求：类型[...T]，其中T是一个类似数组的类型参数，可以方便地用于指示对元组类型推断的偏好。因此，如果您写 <T extends any[]>(t: [...T]) => t，您将倾向于获得元组，而如果您写 <T extends any[]>(t: T) => t，您将倾向于获得数组。因此，对于 <T,>(t: T extends any[] ? [...T] : never) => t，可变元组类型显示出对元组的偏好。但显然对于 <T,>(t: T extends any[] ? [...T] : T) => t 来说，它不是，并且 T 的存在会干扰推理。确切地说，它是如何干扰的，这就是我的知识逐渐消失的地方。我猜测在条件类型中T是比[...T]“更强”的推理候选者，因此[...T]在推理中被忽略。这不可能是故事的全部，因为这种“强度”并不能阻止 <T extends any[]>(t: T | [...T]) => t 更喜欢元组，并且 T extends any[] ? [...T]: T 是 T | [...T] 的子类型。就这样吧。如果我发现有关如何通过条件类型推断可变参数元组的更多具体细节，那么我会回来并在此处编辑这些内容。我唯一的收获是，如果您关心推理，您应该尽量不要玩带有可变参数元组和条件类型的游戏。使用 const 类型参数（例如 <const T,>(t: T) => t）可能更容易完成元组推断。但这超出了所提出问题的范围，并且可能适合也可能不适合您的用例。Playground 代码链接

typescript typescript-typings

回答 1 投票 0

如何强制执行 TypeScript 类型，其中只有一个字段是字符串，所有其他字段都是数字？

我正在使用 TypeScript，需要为一个对象定义一种类型，其中所有字段都限制为数字，除了一个名为 order 的特定字段（它应该是字符串）。我怎样才能

typescript typescript-typings typescript-generics

回答 1 投票 0

在 TypeScript 中验证同一数组中的不同类型

MyType应该如何定义，以确保我的数组中的每一项都是由相同类型的项组成的数组？ const array1: MyType = [["foo", "bar"], [42, 42], [true, false]]...

typescript typescript-typings type-inference

回答 1 投票 0

NextJS 项目中的类型声明

我对 NextJS 和 typescript 都是新手。我正在创建一个练习项目，我想知道将所有类型定义存储在像 global.d.ts 这样的一个文件中是否是一个好主意？或保留所有...