如何使用TypeScript强制嵌套对象包含与指定属性名匹配的属性

嘿，我完全懂你现在卡在哪了——你想让Foo接口里的nested对象必须包含一个和propName完全同名的属性，比如propName设为'foo'，那nested就必须有foo这个键对吧？你已经尝试用泛型Foo2来实现，但发现TypeScript总是把'bar'这种值识别成宽泛的string类型，而不是精确的字符串字面量，导致没法触发预期的错误提示。

其实这个需求完全可以实现，核心就是要让TypeScript保留propName的字符串字面量类型，而不是自动拓宽成string。我给你两种实用的解决思路：

1. 显式指定泛型参数 #

如果你愿意手动明确泛型的字面量类型，可以直接在声明变量的时候把TName写死：

interface Foo2<TName extends string=string> {
    propName: TName;
    nested: {
        [key in TName] : unknown
    }
}

// 显式指定泛型为'bar'，这样nested必须包含'bar'属性
const foo: Foo2<'bar'> = {
    propName: 'bar',
    nested: {
        fail: 1 // 这里会直接报错：类型"{ fail: number; }"中缺少属性"bar"
    }
}

这种方式直接锁定了TName的类型，TypeScript就会严格检查nested的键是否匹配。不过缺点是每次都要手动写泛型参数，不够自动化。

2. 用工厂函数自动推断字面量类型 #

更优雅的方式是借助函数的泛型推断——TypeScript在处理函数参数时，会自动保留字符串字面量的类型，而不是拓宽成string。我们可以写一个简单的工厂函数来辅助创建Foo2类型的对象：

interface Foo2<TName extends string=string> {
    propName: TName;
    nested: {
        [key in TName] : unknown
    }
}

function createFoo<TName extends string>(foo: Foo2<TName>): Foo2<TName> {
  return foo;
}

// 这里TypeScript会自动把'bar'推断成字面量类型'bar'
const foo = createFoo({
  propName: 'bar',
  nested: {
    fail: 1 // 立刻报错：对象文字可以只指定已知属性，并且“fail”不在类型“{ bar: unknown; }”中
  }
});

// 符合要求的正确写法：
const validFoo = createFoo({
  propName: 'bar',
  nested: {
    bar: 'any valid value'
  }
});

这种方式不需要手动指定泛型，TypeScript会从你传入的propName值自动推断出精确的字面量类型，进而严格约束nested的属性，完全贴合你的需求。

为什么你原来的写法不生效？ #

你之前直接写const foo: Foo2 = {...}的时候，因为没有指定泛型参数，Foo2的默认泛型是string，所以TName被解析成了宽泛的string类型，这时候[key in TName]就等价于[key: string]: unknown——也就是允许任何字符串键，自然不会对fail:1报错。

备注：内容来源于stack exchange，提问作者Zephyr