Swift报错“EXC_BAD_ACCESS“？内存管理的ARC原理深度解析 - 详解

Swift报错"EXC_BAD_ACCESS"？内存管理的ARC原理深度解析

在iOS/macOS开发中，EXC_BAD_ACCESS是开发者最常遭遇的崩溃类型之一，其本质是非法内存访问。当程序试图访问已释放的对象、未初始化的指针或越界的数组时，系统会触发此错误。本文结合CSDN社区的实战案例，深度解析Swift内存管理机制（ARC）与该错误的关联，并提供可落地的解决方案。

一、EXC_BAD_ACCESS的核心根源

1. 典型触发场景

场景类型	触发条件	示例代码	崩溃特征
数组越界访问	索引超出数组长度	let arr = [1, 2, 3]; print(arr[5])	EXC_BAD_ACCESS (code=1, address=0x...)
指针悬垂	对象释放后仍访问	var obj: MyClass? = MyClass(); obj = nil; print(obj!.name)	访问已释放对象的内存地址
循环引用	强引用循环导致对象未释放	循环引用代码示例	内存泄漏后访问无效地址
多线程竞争	线程A释放对象，线程B同时访问	并发修改数组场景	竞态条件导致崩溃

2. ARC机制的局限性

Swift的自动引用计数（ARC）通过跟踪对象引用实现内存管理，但存在两大缺陷：

• 无法检测越界访问：ARC仅管理对象生命周期，不校验数组索引合法性
• 弱引用隐蔽性：weak变量在对象释放后自动置nil，但若直接访问非可选类型指针（如unowned），会导致EXC_BAD_ACCESS

二、实战案例分析

案例1：图片浏览器的数组越界

class ImageBrowser {

private var cache: [UIImage?] = Array(repeating: nil, count: 10)
private var currentIndex = 0
func loadImage(at index: Int) -> UIImage? {

// 错误1：未检查数组越界
return cache[index]
}
func cacheImage(_ image: UIImage, at index: Int) {

// 错误2：未处理索引溢出
cache[index] = image
currentIndex = index
}
func showNextImage() {

// 错误3：未处理循环索引时的越界
let nextIndex = currentIndex + 1
let image = loadImage(at: nextIndex)
// ...渲染逻辑
}
}

崩溃日志：

Thread 1: EXC_BAD_ACCESS (code=1, address=0x100000018)
0 ImageBrowser 0x0000000100001234 loadImage(at:) + 48
1 ImageBrowser 0x0000000100001567 showNextImage() + 76

解决方案：