如何在不使用 as 的情况下确保 TypeScript string|string[] 是字符串？

edit
由于时间的推移，这个问题从对此的评论和回答看来，它已经失去了有效性。尽管最初出现，但它并不是这个的骗局。

我有一个翻译功能，通过以下签名工作。

getI18n(id: string) : string { ... }

我注意到输入以下内容有点乏味。

const titles = [
  this.util.getI18n("Donkey"),
  this.util.getI18n("Monkey"),
  ...
  this.util.getI18n("Wonkey")
];

我更喜欢使用这样的东西。

const titles = this.util.getI18n(["Donkey", "Monkey", ..., "Wonkey"]);

所以我引入了一个接受的函数string and string[]带有以下签名。

getI18n(id: string | string[]) : string | string[] { ... }

这感觉很天才，直到我注意到我必须为愚蠢的打字稿解释结果是string而不是一些胡言乱语字符串或字符串数​​组东西，以这个结束（对于非数组翻译）。

someValue.replace("xxx", this.util.getI18n("Donkey") as string);

有没有办法解释 TypeScript 的输出is string即使它可能string[]在其他情况下？

您可以通过泛型类型属性来达到效果。考虑：

function getI18n<A extends string[] | string>(id: A): A { 
    return id; // example implementation
}

const arr = getI18n(['a', 'b']) // arr is string[]
const str = getI18n('a') // str is string

通用方法的缺点

由于该解决方案对于 id 函数非常有效，因此问题从任何实现开始，TS 抱怨类型，就好像唯一的方法是在不进行任何修改的情况下传递参数。 考虑：

function getI18n<A extends string[] | string>(id: A): A { 
    if (typeof id === 'string') {
        return id.concat('suffix') as A; 
    } else {
        return (id as string[]).map(x => x.concat('suffix')) as A;
    }
}

该解决方案效果很好，但我们需要考虑一些事情：

• 类型断言需要在函数体中使用
• 代码没有很好地显示什么输入类型映射到什么输出（重载表明）
• 输出的类型推断将错误地推断输入的类型

最后一点问题可以在下面的示例中查看：

const str = getI18n('a') // str is type "a"

所以输出类型是“a”，但在示例中实现结果将是字符串“asuffix”，因此类型是错误的。

不要这样做，函数应该有一种输入类型

我想在整个主题中添加一件事。事实上，我们对这种多态输入的需求通常是通过常见的 JS 方法继承的，如果这样的事情被认为是历史上的良好实践。但实际上，具有特定一种输入的函数会更好，它会产生更少的混乱和问题。

创建具有单态类型的函数。

function getI18n(ids: string[]): string[] { 
    return ids.map(id => id + "suffix");
}

const arr = getI18n(['a', 'b'])
const str = getI18n(['a'])

就那么简单。该方法的优点：

• 类型级别没有条件
• 价值水平没有条件
• 没有问题 - 对于这样那样的输入 f 会返回什么

将字符串放入数组括号中实际上没有任何成本。