TypeScript中如何断言函数返回参数原类型并限制参数范围

要实现函数返回值与传入参数类型完全一致，同时限制参数只能是string相关类型（string、null、undefined），可以通过带约束的泛型来实现，完美解决你遇到的类型不匹配问题：

实现代码 #

const trimOrOriginal = <T extends string | null | undefined>(value: T): T => {
  if (typeof value === "string") {
    // 类型断言为T：trim返回string，而T可能是string的子类型（如字面量类型），运行时操作安全
    return value.trim() as T;
  }
  return value;
};

为什么这个写法可行？ #

1. 参数类型约束：通过T extends string | null | undefined，确保参数只能是string相关的类型，拒绝number、boolean等无关类型传入，满足你“参数必须与string相关”的要求。
2. 返回值与输入类型一致：返回值直接指定为泛型T，当你传入string | null类型的变量时，函数返回值也会是string | null，不会出现多余的undefined类型，解决了赋值时的编译错误。
3. 类型安全的断言：对value.trim()做as T断言是安全的——如果T是字符串字面量类型，trim操作只是去除空格，不会改变其字面量本质；如果T是普通string类型，断言也完全匹配。

对比之前的写法 #

• 第一个写法：参数带?导致类型包含undefined，返回值也携带该类型，和实际传入的string | null变量类型不兼容，引发编译错误。
• 无约束的泛型写法：T可以是任意类型，无法限制参数必须和string相关，不符合需求。

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