ArkTS如何定义number类型变量不得小于0

在ArkTS，一个静态类型系统，如果你想要定义一个number类型的变量不得小于0，你可以使用约束（type guards）和枚举类型来实现这种强类型检查。首先，你可以创建一个枚举类型表示允许的最小值，例如：

enum NonNegativeNumbers {
  ZeroOrGreater = 0,
}

type NumberNonNegative = number & { _nonNegativeNumberType: NonNegativeNumbers };

然后，在声明变量时，指定它必须是`NonNegativeNumbers.ZeroOrGreater`或更大的值：

let myNumber: NumberNonNegative = 5; // 正确，因为5大于0
myNumber = -3; // 错误，因为-3小于0

// 类型保护检查
if (myNumber as NonNegativeNumbers === NonNegativeNumbers.ZeroOrGreater) {
  console.log('myNumber is non-negative');
}

通过这种方式，编译器会在编译阶段就捕捉到小于0的数值。