预定义浮点类型

以下浮点类型是预定义的:

  • float
  • 通用浮点类型;它的大小曾经是平台相关的,但现在它总是映射到 float64 。一般应该使用这种类型。
  • floatXX
  • 实现可以使用此命名方案定义XX位的其他浮点类型(例如:float64是64位宽的浮点数)。 当前的实现支持 float32 和 float64 。 这些类型的字面值具有后缀 'fXX 。

执行具有不同类型浮点类型的表达式中的自动类型转换:有关更多详细信息,请参阅 可转换关系 。 在浮点类型上执行的算术遵循IEEE标准。 整数类型不会自动转换为浮点类型,反之亦然。

IEEE标准定义了五种类型的浮点异常:

  • 无效: 使用数学上无效的操作数的操作, 例如 0.0/0.0, sqrt(-1.0), 和log(-37.8).
  • 除以零:除数为零,且除数是有限的非零数,例如1.0 / 0.0。
  • 溢出:操作产生的结果超出指数范围,例如MAXDOUBLE + 0.0000000000001e308。
  • 下溢:操作产生的结果太小而无法表示为正常数字,例如,MINDOUBLE * MINDOUBLE。
  • 不精确:操作产生的结果无法用无限精度表示,例如,输入中的2.0 / 3.0,log(1.1)和0.1。

IEEE异常在执行期间被忽略或映射到Nim异常: FloatInvalidOpError, FloatDivByZeroError, FloatOverflowError, FloatUnderflowError, 和 FloatInexactError 。 这些异常继承自 FloatingPointError 基类。

Nim提供了编译指示 nanChecks 和 infChecks 控制是否忽略IEEE异常或捕获Nim异常:

  1. {.nanChecks: on, infChecks: on.}
  2. var a = 1.0
  3. var b = 0.0
  4. echo b / b # raises FloatInvalidOpError
  5. echo a / b # raises FloatOverflowError

在当前的实现中, FloatDivByZeroErrorFloatInexactError 永远不会被引发。 FloatOverflowError 取代了 FloatDivByZeroError 。 还有一个 floatChecks 编译指示用作 nanChecksinfChecks 的快捷方式。 floatChecks 默认关闭。

floatChecks 编译指示影响的唯一操作是浮点类型的 +-*/ 运算符。

在语义分析期间,实现应始终使用最大精度来评估浮点指针值; 这表示在常量展开期间,表达式 0.09'f32 + 0.01'f32 == 0.09'f64 + 0.01'f64 求值为真。