如何解决TypeScript泛型函数trimString的类型推断错误？

问题本质 #

第一种实现的核心问题是泛型类型推断被放宽，导致输入字面量或特定类型时，TS无法精准锁定原类型；第二种实现则是因为泛型T可能包含string的子类型（比如特定字面量字符串），直接返回string类型无法匹配T的约束，触发类型不兼容错误。

可行解决方案 #

方案一：条件类型+类型断言 #

通过条件类型明确返回值的对应关系，配合类型断言解决类型守卫处的报错：

function trimString<T>(value: T): T extends string ? string : T {
  if (typeof value === 'string') {
    // 此时T必然是string或其子类型，断言为T是安全的
    return value.trim() as T;
  }
  return value;
}

// 测试验证
const a = trimString('  hello  '); // 类型为string
const b = trimString(12); // 类型为12（而非string|number）
const c = trimString(true); // 类型为boolean
const d = trimString('ts' as const); // 类型为'ts'

这里的条件类型T extends string ? string : T让TS清晰知道：输入为string时返回string，否则返回原类型；类型断言则告诉TS，当前分支下的返回值完全符合泛型T的要求，不会破坏类型安全。

方案二：函数重载（无类型断言） #

如果不想用类型断言，函数重载是更严谨的选择，既能精准推断类型，又能避免类型报错：

// 重载签名：明确不同输入对应的返回类型
function trimString(value: string): string;
function trimString<T>(value: T): T;
// 实现函数
function trimString(value: unknown) {
  if (typeof value === 'string') {
    return value.trim();
  }
  return value;
}

// 测试验证
const a = trimString('  world  '); // string
const b = trimString(456); // 456
const c = trimString(null); // null
const d = trimString('literal' as const); // 'literal'

重载签名分别定义了string输入和其他类型输入的返回规则，实现函数用unknown接收参数，内部通过typeof类型守卫处理分支，TS会自动匹配对应的重载签名，完成精准类型推断。

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