从对象数组中提取字符串并集
我有以下对象
[{
"key": "a1",
...
}, {
"key": "a2",
...
}, ...]可以从这个对象中提取联合类型"a1" | "a2" | ...吗？我知道可以使用tuple API从['a1', 'a2', ...]中提取它，这是在TypeScript String Union to String Array中介绍的，但是我不能为对象数组解决这个问题
回答 1
Stack Overflow用户
发布于 2019-01-02 16:57:04
基本上，您只需要对数组元素的"key"属性执行lookup，其中可以通过查找数组的number属性来找到数组的元素。不幸的是，困难的部分是让它显示为任何东西而不是"string"。
const val = [{ key: "a1" }, { key: "a2" }]; // Array<{key: string}>
type ValueAtKey = (typeof val)[number]["key"]; // string 这是因为编译器推断val只是一个具有string值的对象数组。编译器使用一些启发式方法来确定when to widen literals，在上面的例子中，确切的字符串文字被扩展为string。
TS3.4+的更新
对于TypeScript 3.4，让编译器推断对象/数组文字的最具体类型的推荐方法是使用const assertion
const val = [{ key: "a1" }, { key: "a2" }] as const;
// const val: readonly [{ readonly key: "a1"; }, { readonly key: "a2"; }]
type ValueAtKey = (typeof val)[number]["key"]; // "a1" | "a2" 原始版本TS3.4之前的答案
在TS3.4之前，你必须做一些其他的事情。提示编译器像"a1"这样的值应该缩小到"a1"而不是扩大到string的一种方法是使值与类型constrained匹配到string (或包含它的联合)。下面是我有时用来做这件事的助手函数：
type Narrowable =
string | number | boolean | symbol | object |
null | undefined | void | ((...args: any[]) => any) | {};
const literally = <T extends { [k: string]: V | T } | Array<{ [k: string]: V | T }>,
V extends Narrowable>(t: T) => t;literally()函数只返回它的参数，但是类型往往更窄。是的，它很丑陋。
现在您可以执行以下操作：
const val = literally([{ key: "a1" }, { key: "a2" }]); // Array<{key: "a1"}|{key: "a2"}>
type ValueAtKey = (typeof val)[number]["key"]; // "a1" | "a2" val对象在运行时是相同的，但TypeScript编译器现在将其视为{key: "a1"}或{key: "a2"}类型的值数组。然后，为ValueAtKey完成的查找就会给出您正在寻找的联合类型。
(请注意，我假设您并不关心这里val的顺序。也就是说，您可以将其视为数组而不是tuple。由于联合类型"a1" | "a2"没有固有的顺序，因此数组应该足够了。)
https://stackoverflow.com/questions/54009764
复制
![telnet不是内部或外部命令怎么办[通俗易懂]](https://ask.qcloudimg.com/http-save/yehe-8223537/02fad6722e5e8b2832a4286fab403ef6.png)
![[1200]yarn不是内部或外部命令，也不是可运行的程序](https://developer.qcloudimg.com/http-save/yehe-4908043/7583009d29475938126d757ea353efc9.png)
相似问题
通过分支google云平台过滤构建步骤
GCP云构建可选步骤
如何将Google Drive下载输出流保存为文件？
Google构建条件步骤
找不到工件-云构建器步骤失败(Google cloud Builder)
领取专属 10元无门槛券
AI混元助手 在线答疑
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
