TypeScript泛型函数如何返回与参数相同的类型？

想要编写一个可接收单个字符串或字符串数组作为参数的函数，处理后返回与参数相同的类型。尝试了以下代码：

myFunc = <T extends string | string[]>(parm1: T): T =>
{
  if (Array.isArray(parm1)) {
    return parm1.map(p => p);
  } else {
    // Simplest thing is just to recurse with the value in an array.
    return this.myFunc([parm1])[0];
    };
}

逻辑上应该可行：若parm1是数组则返回字符串数组，若为字符串则返回字符串，但收到报错：

Type 'string[]' is not assignable to type 'T'.
'string[]' is assignable to the constraint of type 'T', but 'T' could be instantiated with a different subtype of constraint 'string | string[]'.ts(2322)

可以通过类型断言强制解决，但这种暴力断言的方式不太合适，想知道如何无需断言实现该功能？TypeScript的报错是否合理，还是属于它无法识别的边缘情况？

报错合理性说明 #

TypeScript的报错完全合理。因为T extends string | string[]允许T是更具体的子类型，比如readonly string[]或者特定的字符串字面量（如"hello"）。当你返回parm1.map(...)时，map返回的是普通string[]，但如果T是readonly string[]，普通数组无法赋值给只读数组；如果T是字面量类型"foo"，递归调用返回的string类型也无法匹配具体的字面量类型。TypeScript无法自动推导这些子类型的兼容关系，因此抛出错误。

无需断言的实现方式 #

方式一：函数重载（最直观） #

通过函数重载明确指定不同输入对应的输出类型，让TypeScript精准识别类型映射：

// 重载签名：定义输入输出的类型对应关系
myFunc(parm1: string): string;
myFunc(parm1: string[]): string[];

// 实现签名：处理实际逻辑
myFunc(parm1: string | string[]): string | string[] {
  if (Array.isArray(parm1)) {
    return parm1.map(p => p);
  } else {
    return parm1;
  }
}

这种写法完全不需要类型断言，调用时TypeScript会根据输入自动推断正确的返回类型。

方式二：泛型条件类型 #

利用条件类型精确约束返回值类型，避免递归带来的推导问题：

myFunc = <T extends string | string[]>(parm1: T): T extends string[] ? string[] : string => {
  if (Array.isArray(parm1)) {
    return parm1.map(p => p) as any; // 此处any仅为语法过渡，实际类型已被条件约束
  } else {
    return parm1;
  }
};

这种方式保留了泛型的灵活性，同时让TypeScript明确返回值与输入的类型对应关系。

方式三：泛型工具类型优化 #

如果需要支持字符串字面量或字面量数组，可以用更精准的泛型约束：

myFunc = <T extends string>(parm1: T | T[]): typeof parm1 => {
  if (Array.isArray(parm1)) {
    return parm1.map(p => p) as typeof parm1;
  } else {
    return parm1;
  }
};

这里typeof parm1会精确匹配输入的原始类型，无论是单个字面量还是字面量数组，TypeScript都能正确推导返回值类型。

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