值类/在TypeScript中严格键入[重复]

Question

是否可以像在Scala中一样在TypeScript中为严格类型定义值类？

TypeScript"编译器"似乎忽略了类型别名：

export type UserId = number;
export type CarId  = number;

const userId: UserId = 1

const findUser = (userId: UserId) => { ... }
findUser(userId) // OK

const findCar  = (carId: CarId) => { ... }
findCar(userId) // OK too! I would like to prevent such behavior

在Scala中，我们可以使用值类（除了严格的类型之外，它还提供了更多的优势）：

case class UserId(value: Int) extends AnyVal

Answer 1

不，这在TypeScript中是不可能的。TS使用结构子类型（也称为duck类型），这意味着任何看起来足够像给定类型的东西都将被接受为该类型。

在您的例子中，UserID和CarID都是以数字的形式结构化的，因此可以互换使用。