🔎 搜索词

number numeric branded types plus minus add subtract

🕗 版本与回归信息

• 这是我在每个版本中尝试的行为，我查阅了关于名义类型(标记的、品牌的)的FAQ条目。

⏯ Playground链接

https://www.typescriptlang.org/play/?#code/C4TwDgpgBAwgrgJwRAdgYxAHgCoD4oC8UKcAtgEYQJQBkUA3lAPpNqLLogBcU2UAvgG4AUKEhQAoogD2hWO1QZMAIggzluEWOgBVAMoAROfCSKsyuAGcAJhpHCAZnHTAAltJRQ0AQxQAFRDQAC29LCABJYAhSAAowBFc0CJQpBGkeVOkAGigAd28AGwKIYHCUfQMeCoBKBmEoBqgAeiaoADlZbSgqNIQc8jhgKHC86TgC6ygQgDdoCAAPSDQoyY8IesbkYERPfKKSsoqofHjE5MyRfmEgA

💻 代码

type Currency<T> = number & { __currency: T };
type Euro = Currency<"euro">;
type USD = Currency<"usd">;
function canPurchaseItem(priceInEuro: Euro, walletInUSD: USD) {
    // No type error, but I would have expected one
    return walletInUSD > priceInEuro;
}

🙁 实际行为

Euro 和 USD -两种不同的品牌数字类型-可以与二进制操作符(如 -)进行比较。

🙂 预期行为

这是两种不同的品牌数字类型。我本以为这两种类型的二进制操作是不允许的。
更技术地说，如果一个数学二进制操作包含：

• 一个值，它是 number 和某个对象类型的交集
• 另一个值，它不能分配给该类型

...那么我希望收到一个类型错误。

关于问题的附加信息

根据 #202,TypeScript实际上并没有正式包括一个内置的品牌/名义类型。但是其他不匹配的操作符是被禁止的[不匹配操作符的Playground]: