Haskell中能否不反转列表而实现逆序读取？

当然可以啦！在Haskell里，我们完全能在不实际反转整个列表的前提下实现逆序读取——核心是利用递归或者高阶函数改变遍历顺序，而不是真的把列表倒过来存储。下面给你几种实用的实现方式：

方法1：递归回溯处理（最直观的写法） #

列表是单链表结构，只能从头开始遍历，但我们可以用递归先“走到”列表的末尾，再在回溯的过程中处理元素，这样就相当于从后往前读取了。

比如这个打印逆序元素的函数：

printReverse :: Show a => [a] -> IO ()
printReverse [] = return ()
printReverse (x:xs) = do
    printReverse xs  -- 先递归处理列表的尾部
    print x          -- 尾部处理完后，再处理当前头部元素

调用printReverse [1,2,3]的话，会依次打印3、2、1，原列表从头到尾都没被修改或反转——我们只是改变了处理元素的顺序而已。

方法2：用高阶函数简化逻辑 #

如果觉得递归写起来麻烦，Haskell的高阶函数也能帮我们快速实现这个需求。比如用foldr来构建一个逆序执行的动作：

processReverse :: (a -> IO ()) -> [a] -> IO ()
processReverse f = foldr (\x acc -> acc >> f x) (return ())

你可以把任何处理元素的函数传给它，比如processReverse print [4,5,6]，同样会从后往前打印元素。这里的逻辑是：foldr遍历每个元素时，把“先执行后面元素的处理动作，再处理当前元素”作为新的动作，最终就实现了逆序读取。

关于惰性求值的补充 #

如果你的需求是生成一个可以按需逆序获取元素的结构，还可以利用Haskell的惰性求值写一个“懒反转”的函数：

lazyReverse :: [a] -> [a]
lazyReverse = foldl (flip (:)) []

这个函数会生成一个反转后的惰性列表，但因为惰性，只有当你需要元素的时候才会计算——比如take 2 $ lazyReverse [1,2,3,4]只会计算出[4,3]，不会一次性遍历整个原列表。不过要注意：如果你遍历整个惰性列表，本质上还是生成了完整的反转列表，但原列表本身依然没有被修改。

小提醒：因为Haskell的列表是单链表，要访问后面的元素必须先遍历前面的，所以所有逆序读取的方法都需要遍历原列表一次，但这和“反转列表”是两回事——我们没有创建一个新的完整反转列表来存储，只是改变了遍历和处理的顺序。

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