引入条件类型后TypeScript类型参数丢失问题及解决

原来的Bar<T extends Foo>是带约束的泛型类型，TypeScript能直接确定它的结构就是{foo: T}，所以bar.foo的类型精准对应T，赋值自然没问题。

改成无约束的条件类型Bar<T>后，情况变了：虽然baz函数里T被限制为Foo的子类型，但TypeScript处理泛型上下文的条件类型时，会推迟具体类型的解析——它只知道T属于Foo，但不知道是'a'还是'b'，所以只能把bar.foo的类型推断成Foo的联合类型'a'|'b'，而不是精确的T。

这时候赋值就会报错：'a'|'b'是T的超类型，但T可能是Foo的某个具体子类型（比如'a'），联合类型没法保证和T完全匹配，TypeScript就会抛出类型不兼容的错误。

要同时满足扩展Bar支持非Foo参数、且T extends Foo时Bar<T>['foo']等于T，推荐用映射类型替代条件类型，让TypeScript能精准推断属性类型：

type Foo = 'a' | 'b';
type Bar<T> = {
  [K in T extends Foo ? 'foo' : 'what']: T extends Foo ? T : 42
};

function baz<T extends Foo>(bar: Bar<T>) {
  const t: T = bar.foo; // 类型匹配，无错误
}

// 验证非Foo参数的情况
type TestNonFoo = Bar<'c'>; // 类型为 { what: 42 }

如果你坚持要用条件类型的写法，也可以在函数里用类型断言绕过检查，但这种方式不够优雅，也丢失了部分类型安全性：

type Foo = 'a' | 'b';
type Bar<T> = T extends Foo ? { foo: T } : { what: 42 };

function baz<T extends Foo>(bar: Bar<T>) {
  const t: T = (bar as { foo: T }).foo; // 类型断言解决报错
}

第一种映射类型的方案是最优解，它通过条件分支动态生成对象的键和值类型，既让TypeScript在泛型上下文里能精准关联T和Bar<T>的属性类型，又完美支持了非Foo参数的扩展需求。

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