使用satisfies约束对象时，遍历索引遇TypeScript隐式any类型错误求助

问题原因 #

当你用satisfies约束obj时，TypeScript会为obj推断出具体的字面量类型：{ item1: string; item2: string }，而非直接使用ObjType（Record<string, any>）。此时你把遍历得到的key断言为keyof ObjType（即string），但obj的索引只接受它自身的键类型（"item1" | "item2"），string类型无法匹配具体的字面量键类型，因此抛出索引错误。

而用类型注解const obj: ObjType时，obj的类型被强制设为Record<string, any>，string可以直接索引，错误消失，但代价是丢失了具体键的智能提示和严谨类型检查——这正是你想保留的satisfies的核心优势。

解决方案 #

方案1：断言为keyof typeof obj #

直接使用typeof obj获取obj的具体类型，将key断言为该类型的键，完美匹配索引要求：

type ObjType = Record<string, any>
const obj = {
    item1: "test",
    item2: "test2"
} satisfies ObjType

for (let key in obj) {
    const newKey = key as keyof typeof obj
    console.log(obj[newKey])
}

这种方式既保留了satisfies带来的具体类型智能提示，又解决了索引错误。

方案2：使用类型守卫（更安全） #

通过自定义类型守卫函数，在运行时校验key是否属于obj的键，同时缩小类型范围，避免类型断言：

type ObjType = Record<string, any>
const obj = {
    item1: "test",
    item2: "test2"
} satisfies ObjType

function isKeyOf<T extends object>(obj: T, key: string): key is keyof T {
    return key in obj
}

for (let key in obj) {
    if (isKeyOf(obj, key)) {
        console.log(obj[key])
    }
}

方案3：结合Object.keys与类型断言 #

如果习惯用forEach遍历，可以将Object.keys的结果断言为obj的键数组：

type ObjType = Record<string, any>
const obj = {
    item1: "test",
    item2: "test2"
} satisfies ObjType

(Object.keys(obj) as Array<keyof typeof obj>).forEach(key => {
    console.log(obj[key])
})

内容的提问来源于stack exchange，提问作者ChrisH.