使用typeof处理索引签名时如何保留对象键？

当你给对象直接标注索引签名类型时，TypeScript会丢弃对象的具体属性信息，只保留索引签名的类型，导致后续赋值时无法检查那些原本存在的属性。要解决这个问题，有几种实用的方案：

方案一：使用satisfies关键字（TypeScript 4.9+） #

这是最简洁的方式，satisfies可以确保对象符合索引签名的约束，同时保留对象自身的具体属性类型：

type IndexSignature = {
    [index: string]: string
}

// 用satisfies约束对象符合IndexSignature，但变量类型仍为{test: string}
const indexWithType = {
    test: "value"
} satisfies IndexSignature

const lost: typeof indexWithType = {
    // 现在会触发错误：类型“{}”中缺少属性“test”，但类型“{ test: string; }”中需要该属性
}

const indexWithOutType = {
    test: "value"
}

const notLost: typeof indexWithOutType = {
    // 依然报错，符合预期
}

方案二：泛型约束（兼容旧版TS） #

如果你的项目还在使用低于4.9的TypeScript版本，可以用泛型函数或泛型类型来推导并保留对象的具体属性：

泛型函数版本 #

type IndexSignature = {
    [index: string]: string
}

// 泛型函数，约束传入的对象必须符合IndexSignature，同时返回原对象的具体类型
function createIndexedObj<T extends IndexSignature>(obj: T): T {
    return obj
}

// 变量类型会被推导为{test: string}，同时确保符合IndexSignature
const indexWithType = createIndexedObj({
    test: "value"
})

const lost: typeof indexWithType = {
    // 触发错误：缺少属性"test"
}

泛型类型版本 #

type IndexSignature = {
    [index: string]: string
}

// 泛型类型，将具体类型T与索引签名合并
type IndexedObj<T extends IndexSignature> = T

// 直接指定具体类型，同时约束符合IndexSignature
const indexWithType: IndexedObj<{test: string}> = {
    test: "value"
}

const lost: typeof indexWithType = {
    // 触发错误：缺少属性"test"
}

原理说明 #

直接用IndexSignature标注对象时，TypeScript会将变量的类型强制设置为索引签名，丢失了对象原本的具体属性信息。而上述方案都是先让TypeScript推导对象的具体类型，再通过约束（satisfies或extends）确保该类型符合索引签名的要求，这样既保留了具体属性的类型检查，又维持了索引签名的扩展性。

内容的提问来源于stack exchange，提问作者Voided Name