时间戳

首页 > 解决方案 > 打字稿>泛型>联合约束

typescript - 打字稿>泛型>联合约束

问题描述

为什么打字稿编译器会抛出以下错误：

Operator '+' cannot be applied to types 'T' and 'T'.,

编译时：

export const addNumbersOrCombineStrings = <T extends string | number>(
  param1: T,
  param2: T
): T => param1 + param2

?

标签： typescripttypescript-generics

解决方案

GitHub 中的相关问题是Microsoft/TypeScript#12410。Ryan Cavanaugh在评论中解决了您的特定问题：

T + TT仍然不允许扩展的地方string | number——我们认为这不是一个好的用例，因为你是否得到连接或加法是不可预测的，因此人们不应该这样做。

如果您只是尝试将两种string | number类型相加，同样的事情也会发生在您身上：

declare const x: string | number;
x + x; // error!
// Operator '+' cannot be applied to types 'string | number' and 'string | number'.

所以我猜他们是认真的，他们不想让你那样做。您总是可以根据自己的意愿弯曲编译器并使用类型断言禁用类型检查；

export const addNumbersOrCombineStrings = <T extends string | number>(
  param1: T,
  param2: T
): T => (param1 as any) + param2;

但是你不想这样做，特别是因为T extends string | number会推断出一个字符串或数字文字，这不会给你你期望的行为：

const notThree = addNumbersOrCombineStrings(1, 2);
// const notThree: 1 | 2

const notHi = addNumbersOrCombineStrings("h", "i");
// const notHi: "h" | "i"

糟糕，这些结果是文字的联合。要使用泛型解决这个问题，您可能需要开始使用花哨的条件类型来扩展文字：

type SN<T extends string | number> = (T extends string ? string : never) | 
  (T extends number ? number : never);

export const addNumbersOrCombineStrings = <T extends string | number>(
  param1: T,
  param2: SN<T>
): SN<T> =>
  (param1 as any) + param2;

const n = addNumbersOrCombineStrings(1, 2); // const n : number;
const s = addNumbersOrCombineStrings("h","i"); // const s: string;

// and do you even want to support this:
const sn = addNumbersOrCombineStrings(
  Math.random() < 0.5 ? "a" : 1,
  Math.random() < 0.5 ? "b" : 2
); // const sn: string | number;

但是那里也有边缘情况，可能（就像传入的值实际上string | number就像sn上面的情况一样）。我开始明白为什么他们不喜欢支持string | number一起添加类型值。无论如何，希望这会有所帮助。祝你好运！

推荐阅读