2024 Clojure 状态调查中分享您的看法!

欢迎!有关如何操作的信息,请查看关于页面。

0
Java 交互操作

如果两个参数都是装箱的,则双精度除以零将抛出异常,否则不会抛出异常

`
Clojure 1.9.0-beta1
user=> (/ 5.0 0.0)

Inf

user=> (/ (identity 5.0) 0.0)

Inf

user=> (/ 5.0 (identity 0.0))

Inf

user=> (/ (identity 5.0) (identity 0.0))
ArithmeticException Divide by zero clojure.lang.Numbers.divide (Numbers.java:163)
`

3 个答案

0

评论由:slipset 提出

所以,我认为有些除以零是未定义的。
如果去除

`

if(yops.isZero((Number)y))
    throw new ArithmeticException("Divide by zero");

`

(/ (identity 5.0) (identity 0.0))

返回了无穷大,类似于未装箱版本。

这样做也会改变

(/ 5 0)

它变成了1/0,而之前是抛出除以零的异常。

从 Numbers.java 我们看到,未装箱的数学运算没有防止除以零的保护

`
static public double divide(double x, double y){

return x / y;

}
`

而装箱版本有

`
static public Number divide(Object x, Object y){

if (isNaN(x)){
	return (Number)x;
} else if(isNaN(y)){
	return (Number)y;
}
Ops yops = ops(y);
if(yops.isZero((Number)y))
	throw new ArithmeticException("Divide by zero");
return ops(x).combine(yops).divide((Number)x, (Number)y);

}
`

这种不一致性在 Clojure 1.8 中也可重现

`
Clojure 1.8.0
Java HotSpot(TM) 64-Bit Server VM 1.8.0_144-b01

Docs: (doc function-name-here)
      (find-doc "part-of-name-here")

来源:(source function-name-here)
Java文档:(javadoc java-object-or-class-here)

Exit: Control+D or (exit) or (quit)

结果:存储在 vars 1, 2, 3, 一个异常在 e

user=> (/ 5.0 0.0)
无穷大
user=> (/ (identity 5.0) (identity 0.0))

ArithmeticException Divide by zero clojure.lang.Numbers.divide (Numbers.java:158)
user=>
`

0

评论由:slipset 提出

有什么看法吗?
不管是原生的除以零抛出异常还是允许装箱版本,这似乎是一个重大的更改,测试期望装箱除以零抛出异常。

0
参考: https://clojure.atlassian.net/browse/CLJ-2244 (由glchapman报告)
...