类型擦除模式(AnySequence/AnyIterator)
使用 AnySequence 和 AnyIterator 擦除具体的序列/迭代器类型,使 API 可以返回“一个包含 T 的序列”,而无需公开实现细节。
类型擦除模式(AnySequence/AnyIterator) 是 CoddyKit 上的免费 Swift Academy 课时。 这是第 2 节课,共 3 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Swift Academy 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 Swift Academy 课程共包含 3 节课。
为什么需要类型擦除
类型擦除会用稳定的包装类型隐藏具体类型。借助 AnySequence / AnyIterator,您可以返回“元素序列”,而不公开内部结构。
限制
序列具有一个关联类型(元素),因此不能将不带具体类型的协议用作具体值类型。我们需要一个包装类型。
// Goal: return "some Sequence<Int>"
// This won't compile as a stored value type:
// let s: Sequence = [1,2,3] // Protocol with associated types
// Instead, erase the type to AnySequence<Int>.AnySequence 包装器
AnySequence 可以包装任意具体序列(数组、集合或自定义序列),并公开类似 AnySequence<Int> 的统一类型。
// Build an AnySequence<Int> from an Array
let a = [1, 2, 3]
let seq1: AnySequence<Int> = AnySequence(a)
// Consume like any sequence
for x in seq1 { print(x, terminator: " ") }
print("")AnyIterator 包装器
AnyIterator 会包装一个用于生成元素的闭包。将其包装在 AnySequence 中,即可公开完整的序列。
// Create an AnyIterator<Int> by hand
var i = 0
let it = AnyIterator<Int> {
// Return next number or nil to stop
guard i < 3 else { return nil }
defer { i += 1 }
return i
}
let seq2 = AnySequence(it)
for x in seq2 { print(x, terminator: " ") } // 0 1 2
print("")统一返回类型
类型擦除允许一个函数在单一稳定的返回类型(AnySequence<Int>)下返回不同的实现。
// Return a sequence of Int without exposing concrete type
func numbers(flag: Bool) -> AnySequence<Int> {
if flag {
// Array-based
return AnySequence([10, 20, 30])
} else {
// Lazy generated with AnyIterator
var n = 1
let it = AnyIterator<Int> {
guard n <= 3 else { return nil }
defer { n += 1 }
return n * 100
}
return AnySequence(it)
}
}
for x in numbers(flag: true) { print(x, terminator: " ") } // 10 20 30
print("")
for x in numbers(flag: false) { print(x, terminator: " ") } // 100 200 300
print("")何时使用
在以下情况下使用类型擦除:
- 您想要隐藏序列/迭代器的实现细节。
- 无论内部有哪些分支,接口都必须返回相同类型。
- 泛型在接口边界暴露得过多。
备注:在模块内部优先使用泛型以获得性能和清晰性;必要时在边界使用AnySequence/AnyIterator。
AnySequence 的用途
快速检查:AnySequence<T> 能为您带来什么?
回顾
回顾:使用 AnySequence / AnyIterator 包装具体的序列/迭代器,以擦除类型,并让灵活的接口返回“一个包含 T 的序列”。
常见问题解答
「类型擦除模式(AnySequence/AnyIterator)」课时是免费的吗?
是的 — 「类型擦除模式(AnySequence/AnyIterator)」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 Swift Academy 课程的其余内容,请升级到 CoddyKit PRO。 Swift Academy 课程共包含 3 节课。
「类型擦除模式(AnySequence/AnyIterator)」这节课中我会学到什么?
使用 AnySequence 和 AnyIterator 擦除具体的序列/迭代器类型,使 API 可以返回“一个包含 T 的序列”,而无需公开实现细节。 你通过在浏览器中直接运行的动手代码来练习 Swift Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。
学习 Swift Academy 需要有经验吗?
无需任何先前经验。CoddyKit 上的 Swift Academy 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 2 节课,共 3 节。
「类型擦除模式(AnySequence/AnyIterator)」课时需要多长时间?
大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。
我能在这节 Swift Academy 课中编写并运行代码吗?
能。每节 Swift Academy 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。
此课程中的所有课时
- associatedtype 与泛型协议
- 类型擦除模式(AnySequence/AnyIterator)
- 何时使用存在类型(any P)与泛型