Haskell函数异常行为解析：smallerPowers为何输出异常？

我编写并重构了一个Haskell函数smallerPowers，初始版本行为异常，修复后功能正常，想了解初始版本的问题原因。

初始版本代码 #

smallerPowers :: Int -> [Int]
smallerPowers k = [10^i | i <- [0,1..], 10^i < k]

异常现象 #

在GHCi中运行smallerPowers 5时会生成无限列表，尾部全为0；执行take 5 (smallerPowers 5)得到输出：

[1,-8446744073709551616,-2537764290115403776,-6930898827444486144,-4570789518076018688]

结果完全不符合预期。

修复后的版本代码 #

smallerPowers :: Int -> [Int]
smallerPowers k = [10^i | i <- [0,1.. k], 10^i < k]

修复后运行smallerPowers 5可得到正确结果[1]。

问题原因解析 #

1. 整数溢出导致计算结果异常 #

Haskell中的Int是固定宽度的有符号整数（通常为64位），存在最大值限制。当计算10^i时，随着i增大，结果很快会超过Int的最大值，触发有符号整数溢出。根据二进制补码规则，溢出后的数值会变成负数，后续继续增大i，溢出后的数值会持续混乱变化，最终进入循环状态，稳定为0。

这些溢出后的负数和0都满足10^i < 5的过滤条件，所以会被不断加入列表，产生那些怪异的数值和尾部的无限0。

2. 无限列表的惰性求值导致无法终止 #

初始版本中i <- [0,1..]是一个无限列表，Haskell会采用惰性求值的方式逐个生成元素。原本期望当10^i >= k时停止生成，但由于溢出后的数值可能小于k，过滤条件10^i < k会一直成立，导致列表无限生成下去，无法自动终止。

修复版本通过将i的范围限制为[0,1..k]，避免了无限生成元素的问题，同时在i增大到一定程度时，10^i在溢出前就会大于k，从而正确停止生成符合条件的元素。

内容的提问来源于stack exchange，提问作者Jeremi F.-D.