从0到1的TypeScript类型浮点数

Question

使用类型记录，是否可以定义包含在0到1之间的浮点数(数字)的类型？

如果这是不可能的，一种包含在0到100之间定义整数类型的方法。

Answer 1

在0到100之间定义整数的类型很简单，尽管很繁琐。

type IntBetween0And100 = 0 | 1 | 2 | 3 | 4 | 5 | ...

同样的事情也适用于浮标，不太容易。

我会通过使用智能构造器来解决这个问题。这个想法很简单，您可以将确保值的正确类型从类型系统(无法完成)转移到运行时。

一个简化的示例可能如下所示。

type Option<T> = null | T // a simplified Option monad
type FloatBetween0And100 = number

const isFloatBetween0And100 = (n: unknown): n is FloatBetween0And100 => typeof n === 'number' && n <= 100 && n >= 0

const makeFloatBetween0And100 = (n: number): Option<FloatBetween0And100> => isFloatBetween0And100(n) ? n : null

我上面链接的这篇文章更详细地介绍了这种方法，请查看它。