防止被0除以的打字类型

问题描述

我正在使用打字稿创建用于培训目的的计算系统，但在除法过程中遇到打字错误。

您知道如何解决它吗？

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()

推荐答案

这里您有非常简单的实现：

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

在打印脚本中，不可能像F#那样重载除法运算符/。

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

Num2是从b变量推断的数字。如果为0，则NonZero返回never，整个b参数变为Variable<never>。由于never不可代表，因此您会收到错误。 Playground