Swift Academy · 课时

优化热点路径:COW、内联与特化

根据性能分析器数据应用 @inline、@_specialize 和值类型优化。

第 4 / 4 课13 个步骤

优化热点路径:COW、内联与特化 是 CoddyKit 上的免费 Swift Academy 课时。 这是第 4 节课,共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 Swift Academy 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 Swift Academy 课程共包含 4 节课。

优化前先定位

请始终先进行性能分析。只优化时间分析器识别出的热点路径——过早优化会浪费时间。

// Measure → Identify → Optimise → Re-measure
// A 10ms function called once is less important than
// a 0.1ms function called 10,000 times per frame

写时复制(COW)

Swift 值类型(数组、字典)使用 COW:存储会一直共享,直到发生变更,从而避免不必要的复制。

var a = [1, 2, 3, 4, 5]
var b = a         // no copy yet, shared buffer
b.append(6)       // copy happens here (b mutates)
print(a.count)    // 5 — a unchanged

确保自定义类型使用 COW

在自定义值类型中实现 COW:将可变状态包装在引用类型中,并在变更前进行复制。

struct Matrix {
  private class Storage { var data: [[Double]] }
  private var storage = Storage()
  private mutating func ensureUnique() {
    if !isKnownUniquelyReferenced(&storage) {
      storage = Storage(data: storage.data)  // copy on write
    }
  }
  mutating func set(row: Int, col: Int, value: Double) {
    ensureUnique()
    storage.data[row][col] = value
  }
}

@inline(__always)

强制编译器在每个调用位置内联函数,从而消除紧密循环中调用微小函数的开销。

@inline(__always)
func clamp(_ value: Float, _ min: Float, _ max: Float) -> Float {
  return Swift.max(min, Swift.min(max, value))
}

@inline(never)

禁止内联,以减小代码体积,或强制编译器将某条路径视为冷路径(很少执行)。

@inline(never)
func handleUnexpectedError(_ error: Error) {
  // Large error-handling block — never inline to keep hot path small
}

用于泛型的 @_specialize

指示编译器针对特定类型生成泛型函数的特化副本,从而启用静态分派和 SIMD 优化。

@_specialize(where T == Float)
@_specialize(where T == Double)
func normalize<T: FloatingPoint>(_ values: [T]) -> [T] {
  let max = values.max()!
  return values.map { $0 / max }
}

全模块优化

WMO(在发布构建中启用)允许编译器跨越模块内的文件边界进行内联和特化。

// Xcode: Build Settings → Swift Compiler → Code Generation
// Optimization Level: Optimize for Speed (-O)
// Compilation Mode: Whole Module
// Enables cross-file inlining and dead code elimination

避免 ARC 开销

在热点路径中频繁创建引用类型会产生 ARC 保留/释放开销。请优先使用值类型或缓存引用。

// HOT PATH:
for _ in 0..<1_000_000 {
  let obj = HeavyClass()  // alloc + dealloc + ARC overhead
}
// BETTER: allocate once outside the loop
let obj = HeavyClass()
for _ in 0..<1_000_000 { obj.process() }

使用 ContiguousArray

ContiguousArray 保证使用连续存储(与类元素的 Array 不同),从而改善紧密循环中的缓存性能。

var nums = ContiguousArray<Float>(repeating: 0, count: 10_000)
// Faster iteration than Array<Float> for bridged-to-ObjC types

减少协议见证表查找

协议动态分派使用见证表。泛型加特化可以用直接调用替代见证表查找。

// Dynamic dispatch (slower for hot path):
func process(_ drawable: any Drawable) { drawable.draw() }
// Static dispatch after specialization:
func process<T: Drawable>(_ drawable: T) { drawable.draw() }
// Compiler may devirtualize and inline

使用 XCTMeasure 进行基准测试

请始终在测试套件中使用 XCTMeasure 基准测试验证优化,以防止性能回退。

func testNormalizePerformance() {
  let data = Array(0..<100_000).map { Float($0) }
  measure {
    _ = normalize(data)
  }
}

快速检查

实现写时复制时,isKnownUniquelyReferenced(_:) 会检查什么?

课程回顾

首先使用 Instruments 进行性能分析。对于集合,请依赖 Swift 内置的 COW;对于自定义值类型,请使用 isKnownUniquelyReferenced 实现 COW。对微小的热点路径函数使用 @inline(__always),对泛型热点使用 @_specialize,并在发布构建中启用 WMO。使用 XCTMeasure 基准测试验证每项优化。

免费开始

用 AI 导师学习 Swift — 免费

在浏览器中编写并运行真实代码,获得全天候 AI 导师的即时帮助,并在网页或应用中继续学习。

课程
122
课程
409

常见问题解答

「优化热点路径:COW、内联与特化」课时是免费的吗?

是的 — 「优化热点路径:COW、内联与特化」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 Swift Academy 课程的其余内容,请升级到 CoddyKit PRO。 Swift Academy 课程共包含 4 节课。

「优化热点路径:COW、内联与特化」这节课中我会学到什么?

根据性能分析器数据应用 @inline、@_specialize 和值类型优化。 你通过在浏览器中直接运行的动手代码来练习 Swift Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 Swift Academy 需要有经验吗?

无需任何先前经验。CoddyKit 上的 Swift Academy 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 4 节课,共 4 节。

「优化热点路径:COW、内联与特化」课时需要多长时间?

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。

我能在这节 Swift Academy 课中编写并运行代码吗?

能。每节 Swift Academy 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

  1. Instruments 基础:时间分析器
  2. Allocations 与 Leaks Instruments
  3. 主线程检查器与卡顿
  4. 优化热点路径:COW、内联与特化
← 返回 Swift Academy