C# 與 Objective-C 記憶體管理大比拼：自動釋放池 vs 垃圾回收器

形式：技術對話錄 | 角色：C# 妹妹 vs Objective-C 阿姨

核心隱喻：記憶體管理如拆遷

• 該拆不拆 → 記憶體洩漏
• 不該拆亂拆 → 野指針崩潰
• 難點在「判定」，而非「回收」動作本身

.NET 垃圾回收器 (GC) 深度解析

兩階段工作流

1. 檢查 (Mark)：遍歷對象圖，標記不可達對象為「拆」
2. 回收 (Sweep/Compact)：清理標記對象，壓縮存活對象消除碎片

關鍵特征：回收過程中程序暫停 (Stop-the-world)

三大效能優化策略

1. 分代收集：
   • 第 0 代：新分配對象，頻繁掃描
   • 第 1 代：倖存 1 次 GC 的對象
   • 第 2 代：長期存活對象，極少掃描
   • 原理：弱分代假設 — 年輕對象死得快，老對象活得久
2. 觸發機制優化：內存壓力大或分配超限才觸發 GC，非輪詢式
3. 大對象堆 (LOH) 獨立管理：>85KB 對象直接進第 2 代，不壓縮只清理

Objective-C 記憶體管理：引用計數 + 自動釋放池

基礎：手動引用計數 (MRC)

• retain：引用計數 +1
• release：引用計數 -1，歸零時調用 dealloc
• 核心規則：你創建/保留的，你負責釋放

進階：自動釋放池

本質：仍是引用計數，只是將 release 延遲到池排空時刻

代碼演示

@implementation House
- (void)dealloc {
    NSLog(@"房子被拆除了");
    [super dealloc];
}
@end

// 使用自動釋放池
NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];
House *h = [[[House alloc] init] autorelease];  // 註冊到池
[pool drain];  // 池排空，觸發 h->release -> dealloc

運行機制

1. autorelease 將對象加入當前線程的釋放池
2. RunLoop 迭代結束時自動 drain 池
3. 池排空 = 向池中所有對象發送 release
4. 巢狀池：內層池排空不影響外層池對象

ARC (Automatic Reference Counting) 現代方案

• 編譯器靜態分析自動插入 retain/release/autorelease
• 消除手動管理負擔，保留引用計數確定性銷毀優勢
• 弱引用 (__weak) 解決循環引用問題

對比總結

核心洞見

記憶體管理沒有銀彈。GC 適合高吞吐、容忍延遲尖峰的服務端；引用計數適合確定性銷毀關鍵、資源受限的客戶端。理解底層機制，才能在性能調優時對症下藥。