首页 > 代码库 > SICP 1.21 1.22 体会
SICP 1.21 1.22 体会
1.21 简单的将书上代码敲了一遍, 很顺利就过了。
1.22 就悲剧了。
先按书本的意思,代码很快就写完了。但计算的时间在机子上漂浮不定, 3-5倍之间。
代码如下:
(define (search-for-primes start end count)
(define (timed-prime-test n)
(newline)
(display n)
(start-prime-test n (runtime)))
(define (start-prime-test n start-time)
(if (prime? n)
(report-prime (- (runtime) start-time))
0))
(define (report-prime elapsed-time)
(display " *** ")
(display elapsed-time)
1)
(define (prime? n)
(= n (smallest-divisor n)))
(define (search-iter start end count)
(if (or (> start end) (= count 0))
0
(if (= (timed-prime-test start) 1)
(search-iter (+ start 1) end (- count 1))
(search-iter (+ start 1) end count))))
(search-iter start end count))
问题就悲剧在,我想换一种想法。
一般常见的工程测试代码都是如下风格:
记录开始时间
调用函数
计算结束时间
于是,我很悲剧地写了下面代码
(print-test-time (runtime) (search-iter start end count) (runtime))
却惊奇的发现前后2次计算的时间居然完全一样。
再认真将书从头看了一遍, 我晕, 这本书最重要的东西居然没讲。 函数的参数到底按什么顺序求的?
google了一下,晕, 居然是依赖编译器确定。 也就是说不知道。
对于一般状态无关的参数的确没有问题。 但对于时间依赖的参数就悲剧了。
再回过头来思考计算模型, 发现这本书更大的问题。 对什么东西能做操作符,什么东西能做操作数居然完全没有给出清晰的定义。
1和1.0, 1/1, true, 到底是不是一回事,书本也完全没讲清楚。
作为讲编程语言的书来说, 这本书真是一塌糊涂。
上面的函数 (timed-prime-test n) 有3个语句, 概念进入得很突入, 这3个语句执行按什么顺序呢? 返回值是哪个呢? 基本上靠读者去猜。
(本人猜的是从上往下执行,返回最后一个语句 ,但是不是程序确实是这样还不大自信)
(newline)
(display n)
(start-prime-test n (runtime)))
SICP 1.21 1.22 体会