TypeScript泛型extends约束下create函数第二参数类型推断失效如何解决

该问题并非由S extends Settings的泛型约束导致。泛型约束的作用仅为校验传入的settings参数结构符合Settings的格式要求，不会阻断类型推断流程。
推断失效的根因在常量s的定义环节，问题传导逻辑如下：

• 你为s显式标注了Settings类型，而Settings的本质是Record<string, "required" | "optional">，该类型的键集合为string | number
• TS为标注为该类型的对象赋值时，会完全丢弃对象上具体键名的字面量信息（比如示例中的email）
• 当create函数执行泛型推断时，S最终被推导为宽化的通用Settings类型，而非实际传入的{email: "required"}字面量结构
• 此时Item<S>中基于keyof S生成的键集退化为string | number，自然无法对第二个入参中的email字段生成类型提示和校验

方案1：移除宽化的显式类型标注，保留字面量结构 #

去掉s上直接的Settings类型标注，改用satisfies运算符做结构合法性校验，优势如下：

• 既会校验s的配置是否符合Settings要求，避免配置写错
• 不会触发类型宽化，可完整保留对象的键名字面量信息
  示例代码：

type Settings = Record<string, "required" | "optional">
type Item<T> = Partial<Record<keyof T, any>>

function create<S extends Settings>(settings: S, items: Item<S> | Item<S>[]) {}

const s = {
    email: "required"
} satisfies Settings

create(s, {
    // 此处可正常识别并提示email字段
})

方案2：保留原有宽类型标注的兼容写法 #

如果业务上必须保留s上的Settings显式类型标注，可在调用create时手动传入具体结构的泛型参数，弥补宽化丢失的类型信息：

const s: Settings = {
    email: "required"
}

create<{ email: "required" }>(s, {
    // 此处可正常识别并提示email字段
})

注：该方式需要手动维护泛型类型，存在冗余，优先推荐方案1。

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