如何让TypeScript对象属性值与属性名字符串一致？

你需要的是让对象的每个属性值严格等于其属性名的字符串字面量，之前的索引签名写法无法实现这个需求——因为TypeScript无法在宽泛的字符串索引签名中将键名与值的模板字符串关联起来。下面是两种可行的实现方式：

方式一：用辅助函数自动推导类型 #

通过泛型约束结合辅助函数，TypeScript可以自动推导对象的键，并强制每个属性值匹配键名：

type MyObjectType<T extends Record<string, string>> = {
  [K in keyof T]: K
}

const createMatchingObject = <T extends Record<string, string>>(obj: MyObjectType<T>) => obj

// 合法：属性值与键名完全一致
const myValidObject = createMatchingObject({
  a: 'a',
  b: 'b'
})

// 不合法：属性b的值应为'b'，此处会触发类型错误
const myInvalidObject = createMatchingObject({
  a: 'a',
  b: 'c'
})

方式二：显式指定键的联合类型 #

如果不需要自动推导，可以直接定义泛型类型，传入键的联合字面量来约束对象：

type KeyValueMatch<T extends string> = {
  [K in T]: K
}

// 合法
const myValidObject: KeyValueMatch<'a' | 'b'> = {
  a: 'a',
  b: 'b'
}

// 不合法：类型'"c"'无法赋值给类型'"b"'
const myInvalidObject: KeyValueMatch<'a' | 'b'> = {
  a: 'a',
  b: 'c'
}

为什么原写法无效？ #

原代码中的{[K: string]: ${K}}本质上等价于{[key: string]: string}，因为这里的K是泛指所有字符串类型的键，TypeScript无法将具体的键名和值的模板字符串绑定，所以无法起到约束每个属性值的作用。

内容的提问来源于stack exchange，提问作者Jan Krupiński