TypeScript嵌套泛型类型推断问题及接口继承类型报错处理

初始代码与编译错误 #

以下是初始的类型定义：

type Person = {
  name: string;
  age: number;
};
type Recordable = Record<string, number | string | boolean>;
interface Column<T extends Recordable> {
  data: T;
  dataIndex?: string | number;
}
interface MyColumn<T extends Recordable> extends Column<T> {
  dataIndex: keyof T; // 错误：类型'keyof T'无法赋值给类型'string | number | undefined'。
}

TypeScript编译器报错：类型keyof T无法赋值给类型string | number | undefined。

初步重构的缺陷 #

可以通过Omit重构代码，但这样会让dataIndex脱离Column的原始约束：

interface MyColumn<T extends Recordable> extends Omit<Column<T>, 'dataIndex'> {
  dataIndex: keyof T;
}

我们期望的效果是让dataIndex被严格约束为泛型T的属性，比如针对Person类型时：

const jack: MyColumn<Person> = {
  data: { name: 'Jack', age: 1 },
  dataIndex: 'name', // 仅允许取name、age这类Person的属性名
};

后续重构的疑问 #

将接口转换为类型别名，并用Extract把dataIndex限定为string类型后，出现了场景差异问题：

// 重构后的类型定义
type MyColumn<T extends Recordable> = Omit<Column<T>, 'dataIndex'> & {
  dataIndex: Extract<keyof T, string>;
};

在部分场景中，dataIndex会提示“Type 'string' is not assignable to type 'Extract<keyof T, string>'”，但另一部分场景却能正常运行。这里的疑问是：TypeScript是否无法推断Extract<keyof T, string>具体是string类型还是never类型？

最终解决方案：交叉类型约束 #

无需修改原Column接口，通过交叉类型同时约束dataIndex为keyof T且符合原Column中dataIndex的非undefined类型，即可解决问题：

interface MyColumn<T extends Recordable> extends Column<T> {
  dataIndex: keyof T & Exclude<Column<T>['dataIndex'], undefined>;
}

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