lo 库 it 子包 it.Empty 详解Go 1.23 迭代器中空序列 iter.Seq[T] 的创建、消费与回退模式【免费下载链接】lo A Lodash-style Go library based on Go 1.18 Generics (map, filter, contains, find...)项目地址: https://gitcode.com/GitHub_Trending/lo/lo本文围绕 samber/lo 的it子包基于 Go 1.23 标准库iter包的迭代器扩展中的Empty[T]辅助函数展开结合 it/type_manipulation.go 中的源码实现、it/type_manipulation_test.go 的测试用例以及同文件内IsEmpty、CoalesceSeq等相邻 API完整讲解如何在for range风格的惰性迭代管线中安全地表示零元素序列读完你可以掌握空序列的函数式构造方式、它与核心包lo.Empty返回类型零值的本质区别以及它在it包内部作为无参回退值fallback的真实用法。功能定位与函数签名it.Empty属于it子包中 Type manipulation类型操作分类其官方签名如下见 docs/data/it-empty.md 的 frontmatter 声明func Empty[T any]() iter.Seq[T]它的作用是返回一个指定元素类型的空序列。也就是说调用it.Empty[int]()得到的不是一个[]int而是一个迭代时不会产出任何元素的iter.Seq[int]值。这在迭代器管线中有两个典型价值作为可被消费的惰性空集合——任何接受iter.Seq[T]的上游函数Map、Filter、Find等都可以直接接收它for range循环体会一次都不执行作为无结果的返回值——当某个查询/求交函数没有任何可返回的元素时返回Empty[T]()比返回nil或要求调用方判空更类型安全。适用前提需要注意it包的所有文件包括 it/type_manipulation.go都带有//go:build go1.23构建标签因此使用it.Empty要求Go 1.23 及以上工具链而项目根模块 go.mod 声明的是go 1.18核心包lo只需 1.18 泛型支持。二者是分层依赖关系老版本 Go 仍可只用核心包lo只有引入it子包时才需要 1.23。源码实现一行闭包即空序列Empty的完整实现位于 it/type_manipulation.go// Empty returns an empty sequence. func Empty[T any]() iter.Seq[T] { return func(yield func(T) bool) {} }可以从源码结构看这个实现有两个关键特征调用时零开销Empty[T]()本身不创建任何切片、map 或 channel只返回一个函数值closure。真正的迭代行为发生在消费者调用该函数时闭包内不调用yielditer.Seq[T]的约定是每产出一个元素就调用一次yield(elem)返回false表示提前终止。空序列的实现就是什么都不 yield、直接返回——于是for v : range emptySeq的循环体永远不会执行迭代自然结束。这也解释了为什么它不需要像lo.Empty[T]()核心包见下文对比那样返回具体类型的零值序列是惰性结构没有元素这一事实完全由闭包不调用 yield来编码元素类型T只体现在函数签名中供类型检查与下游泛型管线使用。官方文档示例两种典型的空序列消费方式docs/data/it-empty.md 给出了两段示例代码分别演示了纯计数迭代和收集结果两种消费模式这里完整继承并补充说明示例一对Empty[int]()迭代计数emptySeq : it.Empty[int]() count : 0 for range emptySeq { count } // count 0由于序列零产出for range直接落空count保持为 0。注意这里使用了for range无变量绑定语法这是 Go 1.22 起对任意可 range 表达式包括iter.Seq的简写语义等价于for v : range emptySeq { _ v }。示例二将Empty[string]()收集进切片emptySeq : it.Empty[string]() var result []string for v : range emptySeq { result append(result, v) } // result is empty slice迭代结束后result是一个长度为 0 的nil切片。这个模式在实际代码中很常见把不确定是否为空的序列统一for v : range seq { result append(...) }收集后再对result做len判断或 JSON 序列化调用方不必为空序列这个分支单独写逻辑。一个等价的、更惯用的收集写法是标准库的slices.Collect仓库自身的测试正是这么写的见 it/type_manipulation_test.go 的TestEmptyfunc TestEmpty(t *testing.T) { t.Parallel() is : assert.New(t) is.Empty(slices.Collect(Empty[string]())) }TestEmpty断言slices.Collect(Empty[string]())为空——这正是上面第二个官方示例的测试化表达验证了空序列与slices.Collect、for range等所有标准消费方式的兼容性。与相邻 API 的关系it.IsEmpty 和 it.CoalesceSeqEmpty在文档元数据中被归类为iter#type#empty并声明了两个相似辅助函数iter#type#isempty与iter#type#isnotempty。它们与Empty同文件实现it/type_manipulation.go构成空序列主题的一小组// IsEmpty returns true if the sequence is empty. // Will iterate at most once. func IsEmptyT any bool { for range collection { return false } return true } // IsNotEmpty returns true if the sequence is not empty. // Will iterate at most once. func IsNotEmptyT any bool { return !IsEmpty(collection) }IsEmpty利用iter.Seq的提前终止语义最多迭代一次就返回结果只要成功收到第一个元素就立即返回false无需消费整个序列。对应的测试用例it/type_manipulation_test.go 的TestIsEmpty/TestIsNotEmpty分别用空序列和单元素序列验证了两个方向的返回值。更体现Empty作为回退值价值的是同文件的CoalesceSeq/CoalesceSeqOrEmpty// CoalesceSeq returns the first non-empty sequence. func CoalesceSeqT any (iter.Seq[T], bool) { for i : range v { for range v[i] { return v[i], true } } return Empty[T](), false }当所有候选序列都为空或根本没有传入序列时CoalesceSeq返回Empty[T]()作为兜底结果并附带ok false标记。it/type_manipulation_test.go 中TestCoalesceSeq和TestCoalesceSeqOrEmpty用表驱动测试覆盖了无序列单个空序列首个非空序列获胜跳过前导空序列等分支其中expectedOk: false的分支恰恰验证了Empty[T]()兜底路径收集结果为空。包内真实用法作为无输入边界条件的返回值从源码结构看Empty并非只供外部调用它也是it包内部处理边界条件的标准手段。以 it/intersect.go 的Intersect为例func IntersectT comparable, I ~func(func(T) bool) I { if len(lists) 0 { return I(Empty[T]()) } ... }可变参数lists ...I允许零个入参此时交集天然为空函数直接return I(Empty[T]())让调用方拿到的仍是一个类型正确的iter.Seq[T]I ~func(func(T) bool)约束保证了该转换合法而不必返回 error 或让调用方处理 nil。IntersectByit/intersect.go遵循完全相同的模式。这类用法体现了空序列在迭代器 API 设计中的意义没有结果与有结果共享同一返回类型下游for range消费代码无需任何空判断。易混淆点it.Empty vs lo.Empty vs lo.IsEmptylo 库中存在三个名字相近的函数语义完全不同结合源码可以明确区分函数位置签名语义it.Emptyit/type_manipulation.gofunc Empty[T any]() iter.Seq[T]返回零元素的惰性序列本文主题需 Go 1.23lo.Emptytype_manipulation.gofunc Empty[T any]() T返回类型T的零值如lo.Empty[string]()得、lo.Empty[[]int]()得 nil 切片属于核心包Go 1.18 即可lo.IsEmptytype_manipulation.gofunc IsEmptyT comparable bool判断一个具体值是否为零值空串、0、nil 指针、空切片/map 等要求T comparable另外注意it.IsEmptyit/type_manipulation.go与lo.IsEmpty也同名不同义前者判断序列是否零元素后者判断值是否为零值。it.Empty与it.IsEmpty恰好是一对对偶——前者生产空序列后者检测空序列。快速上手在 Go 1.23 环境中引入即可使用模块名见 go.mod 中的github.com/samber/loit是其子包package main import ( fmt slices github.com/samber/lo/it ) func main() { // 1. 直接消费循环体零次执行 for range it.Empty[int]() { fmt.Println(unreachable) } // 2. 收集后统一处理 result : slices.Collect(it.Empty[string]()) fmt.Println(len(result)) // 0 // 3. 与 it 管线组合任何接受 iter.Seq 的函数都可接收空序列 // 例如与 it.IsEmpty 配合判断 fmt.Println(it.IsEmpty(it.Empty[any]())) // true }小结it.Empty[T]()是it子包中类型参数化空序列的最小实现一个从不调用yield的闭包调用零开销、消费零产出它要求 Go 1.23it包整体带go1.23构建标签与只需 Go 1.18 的核心包lo分层共存它在库内承担两类职责外部作为惰性空集合被for range/slices.Collect消费官方示例见 docs/data/it-empty.md内部作为Intersect、CoalesceSeq等 API 在无结果时的类型安全回退值与核心包lo.Empty类型零值及lo.IsEmpty零值判断同名不同义使用时需以包名it./lo.前缀明确区分。相关参考路径实现 it/type_manipulation.go测试 it/type_manipulation_test.go包内用法 it/intersect.go分类文档 docs/docs/iter/type.md。【免费下载链接】lo A Lodash-style Go library based on Go 1.18 Generics (map, filter, contains, find...)项目地址: https://gitcode.com/GitHub_Trending/lo/lo创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考