unsafeRead导致堆栈溢出

Question

这里有一些代码可以在ideone上进行边界检查。

它成功运行，没有越界错误。

在这个代码中，在第34行，我已经将readArray更改为unsafeRead ，它仍然编译，但崩溃时堆栈溢出。

这是一个GHC错误还是我做错了什么？

Answer 1

unsafeRead使用从0开始的索引，因此您必须调整索引以进行读取，

elem <- unsafeRead arr (i-1)

或者，更好的是，分配索引最小为0的数组

arr <- newArray (0,upperbound) maxBound

因此， unsafeRead从数组中的错误位置读取。

不相关：我怀疑ideone使用的是32位GHC，所以最好不要运行upperbound > 100000的代码。