TypeScript条件类型中const泛型参数未按const推断的解决问询

问题核心：当const修饰的泛型参数T嵌套在条件类型分支中时，TypeScript的字面量类型推断逻辑会忽略外层的const修饰，导致传入的字面量对象被放宽为普通类型（比如{a:42}被推断成{a:number}）。

解决方案：在条件类型分支中显式使用const infer #

把泛型T的推断逻辑移到条件类型内部，通过const infer直接从参数中按字面量类型推断，替代外层的const T泛型声明：

function optionalIfFoo<K extends string>(
  foo: K, 
  ...rest: K extends 'foo' ? [] : [bar: const infer T]
): K extends 'foo' ? undefined : T {
  return rest[0] as any;
}

调用验证：

// 推断出的返回类型为 { readonly a: 42 }
const result = optionalIfFoo('notFoo', { a: 42 });

如果不需要返回类型中的readonly修饰，可以通过映射类型移除：

type Mutable<T> = { -readonly [P in keyof T]: T[P] };

function optionalIfFoo<K extends string>(
  foo: K, 
  ...rest: K extends 'foo' ? [] : [bar: const infer T]
): K extends 'foo' ? undefined : Mutable<T> {
  return rest[0] as any;
}

// 现在返回类型为 { a: 42 }
const result = optionalIfFoo('notFoo', { a: 42 });

备选方案：将const约束直接绑定到参数类型 #

不依赖外层泛型，在条件分支的参数类型中直接使用等效于as const的约束：

function optionalIfFoo<K extends string>(
  foo: K, 
  ...rest: K extends 'foo' ? [] : [bar: Readonly<Record<string, unknown>> | readonly any[]]
) {
  return rest[0];
}

这种方式不如const infer直观精准，优先推荐第一种方案。

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