Go 的 Backward 迭代器为何如此“复杂”：一篇思想实验
来源：antonz.org — 2026-08-02
📋 概述
Anton Zhiyanov 用一场幽默的思想实验解释 Go 标准库 slices.Backward 为什么签名看起来“过度复杂”。他想象一位远古祖先从零实现 Backward：先是返回反向副本，再到闭包迭代器，再到回调式迭代器，最后引入 Seq/Seq2 泛型类型与 ~T 底层类型约束。每一步都由具体需求驱动，最终逼近标准库的真实形态，同时也说明“简单版本”在解决特定问题时也完全合理。
🔑 核心要点
- slices.Backward 返回 iter.Seq2[int, E]，可反向遍历切片
- 最简单实现是返回反向副本，但会 O(n) 内存拷贝
- 闭包迭代器O(1) 内存，但调用代码偏命令式
- 回调式迭代器把循环机制交给 Backward，衍生出 Seq/Seq2 泛型类型
- ~E 底层类型约束让函数同时接受普通切片与自定义切片类型
- 作者点睛：标准库的复杂版本是有道理的，但解决特定问题时停在简单版本也完全 OK
💡 金句
如果端到端弄一堆参数，策略模式更合适；而且，添一个按条件生产迭代器工厂的工厂也不错……话还没说完，窗外的地面就裂开一条缝，一只流淌着熔岩的巨大黑手把我拖进了地狱。
👍 0
👎 0
← 返回 Lobsters 首页