TypeScript泛型extends约束下类型推导不符合预期如何解决？

这是TypeScript默认的字面量类型收窄规则导致的，和泛型extends约束无关：

• 布尔值false会被默认推断为字面量类型false，而非宽类型boolean
• 空数组[]会被默认推断为never[]，而非约束里声明的string[]

方案1：实例侧使用satisfies操作符（TS 4.9+，无需修改类定义） #

创建实例时用satisfies对齐Foo约束，即可保留键名自动补全的同时，将属性值类型放宽到Foo定义的范围：

type Foo = { [key: string]: boolean | string[] }
class Bar<F extends Foo> {
  constructor(public arg: F) {}
}
// 新增satisfies约束即可
const bar = new Bar({ foo: false, bar: [] } satisfies Foo);

console.log(bar.arg.foo) // 类型为boolean
for (const n of bar.arg.bar) {
  n.includes("x") // 正常识别n为string类型，无报错
}

方案2：修改类定义自动做类型放宽（使用者无需额外操作） #

如果不想让实例调用方额外加语法，可以在类的构造函数中加入类型映射，自动将传入的属性值类型放宽到Foo的取值范围，同时保留所有键名：

type Foo = { [key: string]: boolean | string[] }
// 类型工具：保留键名，将值类型自动放宽到Foo的取值范围
type WidenToFoo<T extends Foo> = {
  [K in keyof T]: T[K] extends boolean ? boolean : string[]
}
class Bar<F extends Foo> {
  constructor(public arg: WidenToFoo<F>) {}
}
// 调用方无需额外语法
const bar = new Bar({ foo: false, bar: [] });

console.log(bar.arg.foo) // 类型为boolean
for (const n of bar.arg.bar) {
  n.includes("x") // 无报错
}

两种方案均完全匹配需求：

• 实例侧可以完整识别所有自定义的属性名，拥有正常的自动补全能力
• 属性值类型统一为你预期的boolean/string[]，不会出现收窄的字面量类型或never[]
• 类内部无需感知具体的键名，所有属性值均符合Foo的类型约束，可直接做遍历等通用处理

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