我在 OS X 上的 Guile 1.8.8
解释器中练习Scheme。我注意到一些有趣的事情。
这是expt
函数,它基本上是求幂expt(b,n) = b^n
:
(define (square x) (* x x))
(define (even? x) (= (remainder x 2) 0))
(define (expt b n)
(cond ((= n 0) 1)
((even? n) (square (expt b (/ n 2))))
(else (* b (expt b (- n 1))))
))
如果我尝试一些输入
> (expt 2 10)
1024
> (expt 2 63)
9223372036854775808
奇怪的部分来了:
> (expt 2 64)
0
更奇怪的是,直到n=488
它一直保持在0
:
> (expt 2 487)
0
> (expt 2 488)
79916762888089401123.....
> (expt 2 1000)
1071508607186267320948425049060....
> (expt 2 10000)
0
当我使用 repl.it 尝试此代码时在线翻译,它按预期工作。那么Guile到底出了什么问题?
(注意:在某些方言中,remainder
函数被称为 mod
。)
最佳答案
我最近fixed Guile 2.0 中存在此错误。当 C 编译器开始优化溢出检查时,该错误就出现了,其理论基础是,如果发生有符号整数溢出,则行为是未指定的,因此编译器可以做任何它喜欢做的事情。
关于scheme - Guile Scheme 解释器中奇怪的乘法行为,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14495636/