lo 迭代器系列：深入解析 it.Length 与 Go 1.23 iter.Seq 序列长度计算

lo 迭代器系列：深入解析 it.Length 与 Go 1.23 iter.Seq 序列长度计算

【免费下载链接】lo💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)项目地址: https://gitcode.com/GitHub_Trending/lo/lo

it.Length是 lo 泛型库中it子包（基于 Go 1.18+ 泛型与 Go 1.23iter.Seq迭代器）提供的序列长度计算函数。本文围绕其在仓库中的官方文档 docs/data/it-length.md 展开，结合 it/seq.go 的源码实现、it/seq_test.go 的单元测试与 it/seq_example_test.go 的可运行示例，讲清它的函数签名、遍历语义、复杂度特性、使用场景与注意事项，帮助你安全地在惰性序列（lazy sequence）场景下完成计数操作。

it.Length 是什么：为 iter.Seq 序列定制的"长度"能力

Go 1.23 引入了标准库iter包，iter.Seq[T]成为描述"可迭代序列"的统一抽象：它本质上是一个func(yield func(T) bool)形式的函数类型，由生产者向yield回调逐项投递元素，消费方通过for range驱动整个迭代过程。lo 的it子包（源码位于 it 目录）正是围绕这一抽象构建的函数集合，Length是其中位于sequence（序列）子分类下的基础工具之一。

其函数签名在官方文档与源码中完全一致：

func LengthT any int

要点如下：

• 泛型约束为T any：对元素类型没有任何限制，int、string、结构体、指针等类型均可直接使用，无需元素类型可比较或可排序；
• 入参是iter.Seq[T]：接受任何 Go 1.23 迭代器序列，包括slices.Values、maps.Keys/maps.Values的输出、自定义生成器函数，以及本包Filter、Map、Take等函数返回的派生序列；
• 返回值是int：返回序列中包含的元素总数。

在 lo 的整个函数体系中，Length处于iter → sequence这一子分类，与it.IsEmpty、it.IsNotEmpty（见 docs/data/it-length.md 中的similarHelpers元数据）构成一组互补的"序列状态查询"工具：Length回答"有多少个"，后两者回答"有没有"。

源码实现剖析：一次 for range 完成计数

Length的完整实现位于 it/seq.go，全文如下：

// Length returns the length of collection. // Will iterate through the entire sequence. func LengthT any int { var count int for range collection { count++ } return count }

实现逻辑非常直观：对传入序列执行一次完整的for range遍历，每收到一个元素计数器count自增一次，遍历结束后返回计数结果。从源码可以提炼出以下关键语义：

1. 遍历驱动：for range collection会调用collection这个函数类型，向其yield回调反复投递元素。这意味着无论底层序列是切片转换而来、通道包装而来，还是纯手工构造的生成器，Length都能以统一方式工作，因为计数完全发生在迭代协议之上。
2. 全量消费：函数注释明确写着"Will iterate through the entire sequence"（将遍历整个序列）。长度是一个全局统计量，无法在拿到最后一个元素之前得出，因此必须跑完全程。
3. 无内存分配：实现仅使用一个局部int计数器，既不复制元素也不分配容器，时间复杂度为 O(n)，额外空间复杂度为 O(1)。
4. 忽略元素值：计数过程不需要读取元素内容，因此文档中的signatures元数据将其类型参数放宽为T any，任意元素类型一视同仁。

对比同文件中位于 it/seq.go 的it.CountT comparable int可以发现设计分工：Count需要元素可比较（comparable）并要求目标值，统计的是"等于某值的元素个数"；而Length不关心元素内容，回答的是"序列总共有几个元素"。

官方示例逐行解读

非空序列计数

官方文档给出的第一个示例（docs/data/it-length.md）手动构造了一个产出1、2、3三个整数的序列：

seq := func(yield func(int) bool) { _ = yield(1) _ = yield(2) _ = yield(3) } length := it.Length(seq) // length == 3

这里seq就是一个最朴素的iter.Seq[int]：每次调用yield投递一个元素并忽略其布尔返回值（_ =表示不关心消费方是否提前终止）。it.Length(seq)会依次收到 3 个元素，最终返回3。

空序列返回零

第二个示例展示了空序列的边界情况：

seq := func(yield func(string) bool) { // empty sequence } length := it.Length(seq) // length == 0

生成器函数体为空、不调用任何一次yield，序列即为空，Length返回0。

实战用法：从 slices.Values 到派生序列

最常用路径：统计切片转换的序列

实际编码中，序列通常不是手写生成器，而是由slices.Values从切片转换而来。仓库自带的 it/seq_example_test.go 展示了这一最典型用法：

func ExampleLength() { list := slices.Values([]int64{1, 2, 3, 4}) result := Length(list) fmt.Printf("%v", result) // Output: 4 }

[]int64{1, 2, 3, 4}经slices.Values包装成iter.Seq[int64]后，Length返回4。如果你的数据已经以切片形式存在，直接用内置len()即可；但当数据流转链条中已经进入"序列"形态（例如来自it.Map、it.Filter或通道转换），Length就是继续处理时不打断链路的正确选择。

作用于派生序列

由于it.Filter、it.Map等函数返回的仍是iter.Seq[T]，Length可以直接接在后面统计"过滤后还剩几个"：

filtered := it.Filter(values, func(x int) bool { return x%2 == 0 }) evenCount := it.Length(filtered) // 统计过滤后的元素个数

这一组合的价值在于：不需要先slices.Collect回切片再len()，避免了中间切片的分配与拷贝。

与其他 it 函数搭配

Length常与it.Take、it.Drop、it.Chunk、it.Window等序列操作配合，例如判断it.Window是否产出了足够的分组、it.Take是否真的截断到了预期数量等。从文档的variantHelpers（iter#sequence#length）与similarHelpers元数据看，它在该子分类中处于基准位置（position: 0），是理解it包序列处理模型的一个理想切入点。

测试验证：空与非空两条路径均有覆盖

仓库在 it/seq_test.go 中为Length提供了表驱动单元测试：

func TestLength(t *testing.T) { t.Parallel() tests := []struct { name string input []int expected int }{ {name: "empty", input: []int{}, expected: 0}, {name: "four elements", input: []int{1, 2, 3, 4}, expected: 4}, } for _, tt := range tests { tt := tt //nolint:modernize t.Run(tt.name, func(t *testing.T) { t.Parallel() is := assert.New(t) is.Equal(tt.expected, Length(values(tt.input...))) }) } }

测试用例通过 helpervaluesT any iter.Seq[T] { return slices.Values(v) }（定义于 it/lo_test.go）把普通切片包装成序列，然后断言Length的返回值。两条用例分别覆盖了空序列（期望0）与四元素序列（期望4），与官方文档示例形成互证。执行go test ./it/ -run TestLength -v即可在本地验证。

使用边界与注意事项

• 惰性序列的副作用：iter.Seq是惰性的，序列在遍历时才实际执行生成逻辑。如果序列的生产者带有副作用（如读取通道、执行 I/O、更新外部状态），Length的全量遍历会真实触发这些副作用且只会触发一次。对"单次使用"的序列，这没有问题；但对同一个序列变量调用多次Length，第二次会得到0（序列已被消费完），这是迭代器语义下的正常行为，使用时需注意"序列不可重复遍历"这一特性。
• 无限序列勿用：对无限序列（如it.Range配合不设上限、或持续产出的通道包装序列）调用Length将永不返回。使用前应确保序列是有限的，或先用it.Take限制长度。
• 不要替代切片 len()：当数据仍是切片/数组时，len()是 O(1) 且零分配的最优解；Length的价值场景是数据已处于iter.Seq形态、或来自派生序列/通道转换时，保持链路不被打断地获得元素个数。
• Go 版本前提：it子包整体带有//go:build go1.23构建约束（见 it/seq.go），Length依赖标准库iter包，因此适用前提是 Go 1.23 及以上版本；相关系统性说明可进一步参考 docs/docs/iter/sequence.md 与 docs/docs/iter/category.json 中关于迭代器子包的分类介绍。

小结

it.Length是 lo 迭代器工具集中最基础的"序列计数"函数：以T any泛型签名接受任意iter.Seq[T]，通过一次for range全量遍历返回元素个数，实现 O(n) 时间、O(1) 额外空间且零分配。官方文档提供了非空与空序列两个示例，仓库的单元测试与 Example 测试进一步验证了其行为边界。理解它，也就理解了 lo 中所有惰性序列操作共享的迭代模型——这是掌握 it 子包其余函数（Filter、Map、Take、Count等）的前提。

【免费下载链接】lo💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)项目地址: https://gitcode.com/GitHub_Trending/lo/lo