为何TypeScript中嵌套对象的泛型参数推断结果不同？

type Signal<T> = {};

declare type Animal = 'cat' | 'dog';
declare const animal: Animal;

declare function toSignal<T, U extends T|null|undefined>(
    source: T,
    options: {initialValue: U}): Signal<T|U>;

const foo = toSignal(animal, {initialValue: 'cat'}) 
//    ^? 'Animal | null | undefined

const foo2 = toSignal(animal, {initialValue: 'cat' as const}) // workaround
//    ^? Animal

//////////////

declare function toSignal2<T, U extends T|null|undefined>(
    source: T,
    initialValue: U): Signal<T|U>;

const foo3 = toSignal2(animal, 'cat')
//    ^? Animal

问题 #

为何第一个示例中foo的类型为Animal | null | undefined，而第二个示例中foo3的类型仅为Animal？二者唯一区别在于第二个泛型参数U是否嵌套在对象中。

原因解析 #

核心差异来自TypeScript对对象字面量属性和直接字面量参数的类型推断策略不同，结合泛型约束的处理逻辑导致结果不同：

• toSignal函数（U嵌套在对象中）：
  当传入{initialValue: 'cat'}时，TypeScript默认会把对象属性值'cat'的类型拓宽为string（这是对象字面量的常规推断行为，默认假设属性可能被后续修改）。但泛型约束要求U extends Animal | null | undefined，而string并不符合这个约束。为了让代码合法，TypeScript会退而选择约束中最宽泛的有效类型——null | undefined，最终Signal<T|U>就变成了Signal<Animal | null | undefined>。
  而使用'cat' as const时，强制将属性值类型锁定为字面量'cat'，它满足U extends Animal的约束，因此T|U等价于Animal，foo2的类型就符合预期。

• toSignal2函数（U为直接参数）：
  直接传递字面量'cat'时，TypeScript会默认将其推断为字面量类型'cat'（而非拓宽为string），因为直接传参场景下，TypeScript认为该值不会被后续修改。'cat'满足U extends Animal的约束，所以T|U就是Animal | 'cat'，等价于Animal，因此foo3的类型为Animal。

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