TypeScript：Object.keys() 上的 object 与预知键的类型太通用了[重复]

Question

这个问题在这里已经有了答案：

TypeScript: Object.keys return string[] (7个答案)

去年关闭。

我正在学习 TypeScript ，我很难理解的一件事是如何正确迭代对象的键。 一个非常常见的应用程序是这样的：

type T = {
    "a": number,
    "b": number
}

const obj : T = {
    a: 1,
    b: 2
};

const keys = Object.keys(obj);
const m = keys.map(k => 2*obj[k]);

我有一个已知类型T的 object obj并希望获取所有键以在它们上调用map 。 根据 Visual Studio Code， Object.keys([type T])的返回类型为string[] 。 我在别处读到，其原因是传递给Object.keys的 object 可能是T的子类型。 但是，在此示例中，很明显 object 具有类型T而不是子类型（具有更多键）。

由于返回类型过于笼统，TS 编译器在使用map中的键读取每个键的实际值时向我显示错误。 这是有道理的，因为只允许“a”和“b”，但编译器认为任何其他字符串也可能出现（这是错误的，至少在这个例子中）

在 Object 的键上调用map的推荐方法是什么？ 使用此方法强制转换类型有效：

function getKeysGen<T extends object>(o: T) {
    return Object.keys(o) as Array<keyof T>;
}

const keys = getKeysGen(obj); // correctly shown as Type ("a" | "b") 

调用通用键获取器时我什至不必指定类型，TS/VSCode 似乎能够从参数本身的类型中推断出来。 但是为什么这不适用于原始Object.keys function？

为什么这不起作用？

function getKeys(o: Object) {
    return Object.keys(o) as Array<keyof typeof o>;
}
const keys = getKeys(obj); // VSCode shows the type is ("constructor" | "toString" | "toLocaleString" | "valueOf" | "hasOwnProperty" | "isPrototypeOf" | "propertyIsEnumerable")[]

当我运行此代码时， keys实际上包含[ 'a', 'b' ]而不是 VSCode 显示给我的键。 但是，当使用 map 的键值到它们的双精度值时，TS 编译器说不：

const m = keys.map(k => 2*obj[k]);

错误是

错误 TS2363：算术运算的右侧必须是“any”、“number”、“bigint”类型或枚举类型。

很可能是因为没有正确推断出k的类型，所以可能会出现类似2*undefined的情况。

是通用的 function getKeysGen我在 go 上面写的，还是我遗漏了什么？

Answer 1

Object.keys的类型定义对于您要查找的内容确实太笼统了。 如果您查看lib.es2015.cor.d.ts ，您会看到：

keys(o: {}): string[];

string[]不够好。

对于这样的事情，我认为最简单的做法是在收集它们时断言这些键确实是object 的键：

const keys = Object.keys(obj) as (keyof T)[];

For your getKeysGen function, an issue is that Object is the Object constructor, you want object instead - but even then, you can't get to the type of the object passed with each call of the function without generics. 否则，您只有keyof typeof o ，其中o是普通的 object。