TypeScript泛型函数类型推断异常问题求助

你的核心问题在于原泛型约束和Input<T>的设计无法让TypeScript从带Getter的输入对象中正确推断出目标返回类型，同时还要满足字符串字面量宽化为string、泛型参数对应返回值的要求。以下是符合所有需求的实现方案：

type Getter<T> = () => T;
type GetterOrStatic<T> = T | Getter<T>;

// 将字符串字面量宽化为string类型，其他类型保持原样
type WidenString<T> = T extends string ? string : T;

// 定义输入类型：根据返回值类型T生成对应的输入结构
// 对象类型的输入允许每个属性是静态值或返回对应值的Getter
// 字符串类型的输入允许是静态字符串或返回字符串的Getter
type Input<T> = 
  T extends { [K: string]: infer V } 
    ? { [K in keyof T]: GetterOrStatic<WidenString<V>> } 
    : GetterOrStatic<WidenString<T>>;

// 定义输出类型：确保返回值中的字符串字面量被宽化为string
type Output<T> = 
  T extends { [K: string]: infer V } 
    ? { [K in keyof T]: WidenString<V> } 
    : WidenString<T>;

// 函数声明：泛型T对应最终返回值类型，约束为string或值为string的对象
declare function f<T extends string | { [K: string]: string }>(value: Input<T>): Output<T>;

// 测试验证
const x = f({ x: 'x' }); // 类型为 { x: string } ✅
const y = f({ y: (): string => 'y' }); // 类型为 { y: string } ✅
const z = f('x'); // 类型为 string ✅

// 显式指定泛型的场景（符合补充说明2的要求）
const explicit = f<{ foo: string }>({ foo: () => 'foo' }); // 类型为 { foo: string } ✅

方案说明 #

1. WidenString<T>：专门处理字符串字面量到string的宽化，解决f('x')返回字面量而非string的问题，同时也让对象属性的字面量值被自动转换为string。
2. Input<T>：基于返回值类型T反向生成输入类型，明确允许每个属性（或字符串本身）是静态值或Getter，让TypeScript能通过输入反向推断出正确的T。
3. Output<T>：确保最终返回值的类型符合预期，把任何可能的字符串字面量统一为string。
4. 泛型约束：T extends string | { [K: string]: string }确保开发者显式指定泛型时只能传入合法的返回值类型，符合补充说明2的要求。

原代码的问题分析 #

原代码中Input<T>是从T推导输入结构，但当传入带Getter的对象时，输入对象{y: () => string}并不符合T extends {[K:string]:string}的约束，导致TypeScript无法正确推断T，只能 fallback 到string | { [K: string]: string }的联合类型。而新方案通过反向推导（从输入匹配对应的返回值类型T）解决了这个推断失效的问题。

内容的提问来源于stack exchange，提问作者Shachar Har-Shuv