可空的双重类型提示

Question

我正在编写一个神经网络，并且有以下节点的定义：

(defrecord Node [^double input-sum ^double last-output])

input-sum 是其输入的运行总和；预激活。 last-output 是激活值吗。

我最初的想法是创建一个像(->Node 0 nil) 这样的初始节点。我的理由是在last-output 被激活之前给它一个真正的价值是没有任何意义的。

不幸的是，创建上述节点会产生 NPE；显然是因为它试图将 nil 转换为双精度：

(->Node 0 nil)
NullPointerException   clojure.lang.RT.doubleCast (RT.java:1298)

如果我删除 last-output 上的类型提示，它可以正常工作。

我正在努力养成在我能做的情况下输入提示的习惯。有没有办法在last-output 上提供类型提示，但也表明nil 是一个可接受的值？

Answer 1

^double 是 Java 原始双精度类型的类型提示。试试^Double。

Answer 2

如果您确实需要使用原始类型进行类型提示，并且不能选择使用对象类型Double（例如出于性能相关原因），则通常的做法（据我所知）是创建自己的自定义构造函数功能：

user> (defrecord Node [^double input-sum ^double last-output])
user.Node

user> (defn make-node [^Double input-sum ^Double last-output]
        (->Node (or input-sum 0) (or last-output 0)))
#'user/make-node

user> (make-node nil 0)
#user.Node{:input-sum 0.0, :last-output 0.0}

user> (make-node 10 nil)
#user.Node{:input-sum 10.0, :last-output 0.0}

user> (make-node 1 2)
#user.Node{:input-sum 1.0, :last-output 2.0}

该方法适用于所有需要复杂逻辑来构建实体的情况。

更新

如果你真的需要both一个原始值以及区分值和“无值”的方法，你可以使用NaN：

user> (defn make-node [^Double input-sum ^Double last-output]
        (->Node (or input-sum Double/NaN) (or last-output Double/NaN)))
#'user/make-node

user> (make-node 1 nil)
#user.Node{:input-sum 1.0, :last-output NaN}

所以，它是价值，也是nil的原始类似物。