防止除以 0 的打字稿类型

Question

我正在使用打字稿创建一个用于训练目的的计算系统，但在除法时出现打字错误。

你知道怎么解决吗？

type Variable = {
    value: number
    resolve: () => number
}

type NoZeroVariable = {
    value: Omit<number, 0>
    resolve: () => Omit<number, 0>
}

// then when I try to resolve the operation
a.resolve() / b.resolve()

我收到此错误： The right-hand side of an arithmetic operation must be of type 'any', 'number', 'bigint' or an enum type.(2363)

Answer 1

这里的实现非常简单：

type NonZero<T extends number> = T extends 0 ? never : number extends T ? never : T


const division = <
    A extends number,
    B extends number
>(a: A, b: NonZero<B>) =>
    a / b

division(10, 2) // ok
division(10, 0) // error


const higherOrderFunction = (b: number) => division(10, b) // error, b is not verified


`NonZero` - expects a number. If number is has a literal representation like `1`,`2` or any other literal it returns this number, otherwise (if it is `0` or `number`) it returns `never`

Playground

b 预计只是文字数字。它不能是 number 类型的变量，因为你不知道运行时的值。

让我们继续你的例子：

type Variable<N extends number> = {
  value: N
  resolve: () => number
}


type NonZero<T extends number> = T extends 0 ? never : number extends T ? never : T


const variableDivision = <
  Num1 extends number,
  Num2 extends number,

  >(a: Variable<Num1>, b: Variable<NonZero<Num2>>) =>
  a.resolve() / b.resolve()

variableDivision({ value: 42, resolve: () => 42 }, { value: 42, resolve: () => 0 }) // ok
variableDivision({ value: 42, resolve: () => 42 }, { value: 0, resolve: () => 0 }) // expected error

在 TypeScript 中不可能像 F#.

那样重载除法运算符 /

因此，您需要创建一个额外的除法函数。

Num2 是从 b 变量推断出的数字。如果它是 0、NonZero returns never 并且整个 b 参数变为 Variable<never>。 SInce never 不可表示，您会收到错误。 Playground

防止除以 0 的打字稿类型

Typescript type to prevent division by 0

types

type-inference

divide-by-zero

typescript