SICP Scheme流：stream-cdr对ones与ints的输出差异疑问

核心原因：MIT Scheme的流显示规则与延迟求值边界处理 #

MIT Scheme对流的显示逻辑会根据流的结构类型做不同处理，核心区分点在于流的cdr部分是已求值的循环引用还是未完全求值的延迟对象（thunk）：

1. ones流的无限展开现象 #

当定义(define ones (cons-stream 1 ones))时：

• cons-stream会将第二个参数ones包裹为延迟求值的thunk，但这个thunk求值后直接返回ones本身——也就是说，ones的cdr求值后就是它自己，形成了一个无延迟层的直接循环引用。
• 执行(stream-cdr ones)时，求值该thunk得到ones，而ones的car是1，cdr又是自身。Scheme在显示这个流时，无法检测到“未求值的延迟边界”，会不断遍历这个已求值的循环结构，从而无限输出1。

2. ints流的截断显示现象 #

当定义(define ints (cons-stream 1 (stream-map + ones ints)))时：

• ints的cdr是(stream-map + ones ints)，这是一个未求值的thunk。执行(stream-cdr ints)时，只会求值当前层的thunk，得到(cons-stream 2 (stream-map + (stream-cdr ones) (stream-cdr ints)))。
• 此时流的下一个cdr仍然是一个未求值的thunk（stream-map的递归调用），Scheme的显示机制会识别到这个“延迟求值边界”，不会继续展开递归部分，因此显示为{1 2 ...}。

3. mystream-map中未触发无限显示的原因 #

你的mystream-map实现里，(map stream-cdr argstreams)确实调用了stream-cdr ones，但：

• 这个调用的结果是作为参数传递给apply mystream-map，属于函数内部的中间值，没有被顶层求值器要求显示。
• mystream-map返回的流，其cdr是(apply mystream-map ...)生成的新延迟thunk。只有当你尝试显示mystream-map的返回结果时，才会逐步触发求值，但由于每次的cdr都是新的延迟对象，Scheme会在检测到边界后截断显示，不会无限展开。

内容的提问来源于stack exchange，提问作者FooBant