TypeScript条件类型为何在泛型场景下无法正常工作？

这个是TypeScript针对泛型场景下条件类型的保守检查机制导致的，核心逻辑如下：

• 你定义的StringValuedKeys<T>是映射类型+条件类型组合而成的工具类型，只有当传入的T是已经确定的具体类型时，TS才会实际遍历T的所有键，执行T[P] extends string的判断，最终筛选出符合要求的键组成联合类型。这也是为什么传入具体的BaseType时，类型可以正常工作。
• 当T是未绑定具体值的泛型参数时，TS会延迟解析依赖T的条件类型，不会提前展开计算结果，只会把StringValuedKeys<T>当作一个独立的泛型派生类型处理。哪怕你给T加了extends { label: string }的约束，TS也不会在函数定义阶段就直接判定'label'一定属于StringValuedKeys<T>的成员：
  这个约束仅要求后续传入的实际T类型必须满足label属性是string的子类型，但TS无法在定义阶段预判所有可能传入的T形态——比如T可能包含联合类型成员、带可选属性、或者有额外的索引签名，为了保证类型检查的性能和绝对安全，TS会选择保守判定，直接抛出类型不匹配的错误，而不会深入推导条件类型的结果。

简单验证 #

哪怕你把泛型约束收得更窄，这个报错依然会存在：

// 约束label为字符串字面量联合类型，必然是string的子类型
function testConditionalType<T extends { label: 'foo' | 'bar' }>() {
  // 依然会报同样的类型错误
  myFunction<T, 'label'>()
}

这是TypeScript类型检查器的设计权衡：如果对所有未实例化的泛型都做深度的条件类型展开计算，类型检查的耗时会指数级上升，因此遇到这类泛型场景下的条件类型，TS默认不会做深度的子类型推导。

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