Haskell中的 Zippers 基本上是指向数据结构(如 tree )的某些特定位置的指针。
让我们考虑一个具有5个元素 [45,7,55,120,56] 的树,这些元素可以表示为一个完美的二叉树,如果要更新此列表的最后一个元素,则需要遍历所有元素以到达最后一个元素,然后再进行更新。
但是,如果我们可以以这样的方式构造树,即具有 N 个元素的树是 [(N-1),N] 的集合的话。然后,我们不需要遍历所有不需要的(N-1)元素,我们可以直接更新第N个元素,这正是Zipper的概念,它聚焦或指向树的特定位置,我们可以在不遍历整个树的情况下更新该值。
在以下示例中,我们在列表中实现了Zipper的概念。同样,可以在 tree 或 file 数据结构中实现Zipper。
data List a=Empty | Cons a (List a) deriving (Show, Read, Eq, Ord) type Zipper_List a=([a],[a]) go_Forward::Zipper_List a -> Zipper_List a go_Forward (x:xs, bs)=(xs, x:bs) go_Back::Zipper_List a -> Zipper_List a go_Back (xs, b:bs)=(b:xs, bs) main=do let list_Ex=[1,2,3,4] print(go_Forward (list_Ex,[])) print(go_Back([4],[3,2,1]))
当您编译并执行上述程序时,它将产生以下输出-
([2,3,4],[1]) ([3,4],[2,1])
在这里,我们将重点放在前进或后退时整个字符串的元素上。
祝学习愉快!(内容编辑有误?请选中要编辑内容 -> 右键 -> 修改 -> 提交!)