types - 字段计算为值 (0.0)，不是 SHORT-FLOAT 类型

Question

我最近发现可以向结构添加类型限制，但是无论出于何种原因，它不允许 0.0 作为短 float 的合法默认值，但它确实允许 100.0。

当我尝试运行 make-ship 在 CLIsp 中创建 ship 结构的实例时，出现以下错误:

[4]> (make-ship)

*** - THE: #:ENERGY evaluated to the values (0.0), not of type SHORT-FLOAT
The following restarts are available:
ABORT          :R1      Abort main loop

有人可以解释一下究竟发生了什么，以及为什么我不允许使用 0.0？

这是行为不当的代码:

(defstruct ship
  location ;; fields like these have an undecided type at the moment
  (energy 0.0 :type short-float)
  cargo
  crew
  shields
  (hull-integrity 100.0 :type short-float))

Answer 1

Common Lisp 有不同类型 float 的语法，如 2.3.2.2 Syntax of a Float 中所述。 。其中一个示例展示了如何将 0 写为短 float :0s0 和 0.0s0 都可以。