TypeScript中如何修正处理对象子字段的泛型函数类型注解？

问题原因 #

你遇到的报错是因为TypeScript对变量a做了类型窄化：虽然你给a标注了A类型，但你赋值的{c: {}}让TS自动把a.c的实际类型推断成了空对象{}，而非你定义的B接口。此时调用outputfield(a, 'c', 'y')时，T[K]（即a.c的类型）是{}，它的键集合是never，自然'y'无法匹配这个类型。

而调用可选字段b时正常，是因为b的类型是B | undefined，TS会自动取B的键作为keyof (B | undefined)的结果，所以'y'是合法的。

解决方案 #

方案1：修改函数泛型约束，适配非空值的键 #

将函数的K2约束改为keyof NonNullable<T[K]>，这样无论字段是可选（可能为undefined）还是必填，都会取其非空类型的键：

interface A {
  b?: B;
  c: B;
}

interface B {
  y?: string;
}

function outputfield<T extends object, K extends keyof T, K2 extends keyof NonNullable<T[K]>>
  (model: T, field1: K, field2: K2): void {
  console.log(model, field1, field2);
}

方案2：避免类型窄化，强制实例类型为原始接口 #

给a.c明确指定B类型，或者强制整个对象为A类型，阻止TS做不必要的窄化：

// 方式1：明确c的类型为B
const a: A = { c: {} as B };

// 方式2：强制整个对象为A类型
const a = { c: {} } as A;

此时调用outputfield(a, 'c', 'y')就会正常运行，因为T[K]现在是B，keyof B包含'y'。

方案3：调用时显式指定泛型类型 #

如果不想修改函数或实例的类型，可以在调用函数时显式指定泛型T为A，让TS基于原始接口推断字段类型：

outputfield<A>(a, 'c', 'y');

推荐组合 #

最稳妥的方式是方案1 + 方案2：既修改函数的泛型约束以兼容可选字段，又明确实例的类型避免窄化，这样函数既能处理可选字段，也能正确识别必填字段的子属性。

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