跳到主要內容

Objective-C memory management

主要參考資料是 Programming in Objective-C 5e ch17, 網路上這篇也滿清楚的。

Objective-C 提供三種管理記憶體的方式:

  • automatic garbage collection: 只有 Mac OS 提供, 且在 OS X 10.8 後宣告 deprecated, 所以不該繼續使用。
  • manual reference counting: 透過一套訂好的 API 和規定函式名稱代表的語意, 讓開發者比較容易管理 reference counting。
  • automatic reference counting: 透過 compiler 生成 reference counting 相關的程式碼, 開發者不用那麼留意 reference counting, 看起來相當美好, 作者極力讚賞這個機制。

Manual Reference Counting (MRC)

NSObject 提供 retain 和 release 兩個方法來 +1 / -1 reference count。所有物件都繼承自 NSObject。開發者要記得如下的規則:

  • 擁有物件的人記得要 +1, 不用時記得要 -1
  • count 為 0 時會呼叫 dealloc, 開發者可自訂 dealloc 釋放自己額外擁有的物件
  • 誰配置這物件, 就是它的初始擁有者
  • 從 copy, mutableCopy, alloc, new 取得的物件, 已經 +1 過了, 不用時記得呼叫 release。有些文章指出有呼叫 init* 開頭的方法表示有 +1, 反之則沒有。像是 [[NSString alloc] initWithUTF8String:X] 之於 [NSString stringWithUTF8String:X] 。這個說法不太正確, 應該是看 alloc 不是看 init。[NSString stringWithUTF8String:X] 是 class method, 不是 instance method, 所以 caller 自己沒有呼叫到 alloc, 自然也沒義務呼叫 release
  • 搭配 @autoreleasepool 可使用 [X autorelease] 先標記「之後記得 -1」。好處是呼叫方法 A 會傳回新物件時, 可在回傳前呼叫 autorelease, 表示方法 A 沒有擁有這個新物件, 且不會讓新物件在傳回前就被消滅。在 @autoreleasepool 的區塊結束時, 會讓所有呼叫過 autorelease 的物件呼叫 release。所以 [NSString stringWithUTF8String:X] 就是呼叫 alloc, 接著呼叫 autorelease, 再傳回新的 NSString
  • 可用 @property(nonatomic, retain) 表示設值的時候, 順便在目標物件上呼叫 retain。第二個參數預設是 assign, 表示沒有只有設 object reference, 沒做額外動作 (如呼叫 retain)

另外兩個和記憶體相關的要點是:

  • 對 nil 呼叫任何方法, 相當於 NOP, 不用擔心程式會掛掉。所以 [nil release] 也是合法的。
  • 從 heap 配置的資料都會初始化為 0, 所以若 instance fields 有指標的時候, 其值皆為 nil。

整體來說, 清楚規則後寫起會滿順手的, 不過需要點時間理清這些規則, 還有因為不是由 compiler 或 runtime 強制處理, 犯錯時不易察覺。

比方說使用 @property(nonatomic, retain) str 時, 在 initStr:s 裡要怎麼設才對?

@interface MyClass : NSObject

@property(nonatomic, retain) NSString *str;

@end


@implementation MyClass

@synthesize str = _str;

-(NSString*) initStrA:(NSString*)s
{
    // 錯誤, 沒有 +1, 之後需要加一行 [_str retain];
    _str = s;
    return self;
}

-(NSString*) initStrB:(NSString*)s
{
    // 錯誤, 多加了一次
    self.str = s;
    [_str retain];
    return self;
}

-(NSString*) initStrC:(NSString*)s
    // 正確, 呼叫到 synthesize 產生的 setter, 
    // 會在設值前呼叫 [s retain] 和 [_str release], 再做 _str = s
    self.str = s;
    return self;
}

備註

寫這篇時手邊沒有 Mac 環境可編譯上述的程式, GNUStep 在 Linux 下編譯的結果會有些錯誤, 但是錯誤來自於對 @property 和 @synthesize 的支援程度不同於 XCode 4.5。也因為這樣碰巧明白 Objective-C 可能不方便跨平台, 在 Mac OS、iOS 以外的平台, 寫起來可能不會很愉快。

Automatic Reference Counting (ARC)

編譯時使用 ARC 的情況下, 除了 compiler 會在 "=" 出現時自動幫右邊 +1, 左邊原始的值 -1 外, compiler 也會知道用 copy, mutableCopy, alloc, new 等方法取得的物件已 +1, 而幫你管對記憶體。除此之外, 還多了 strong/weak pointer 的用法。

想像有個 UI 的 view A, 裡面有個 sub view B (比方說一個視窗裡面有張圖)。A 自然會有 B 的 reference, 而 B 有 A 的 reference 的話, 比較方便執行一些 callback 動作。於是, A 和 B 互指對方 (互相幫對方 +1), 即使沒有任合其它物件用到 A 和 B 時, A、B 仍然不會被回收。

weak pointer 的特色是它不會列入計數, strong pointer (預設) 才會計數。所以, 若 A 用 strong pointer 擁有 B, 而 B 用 weak pointer 擁有 A。那麼, 沒有物件擁有 A 的時候, A 會被回收。此時, weak pointer 的值會自動設為 nil, 所以之後 B 在作操作時可檢查是否為 nil 了解被回收掉了, 或是不檢查直接操作 weak pointer, 也不會讓程式掛掉。當然, 以這例子來說, A 的 dealloc 應該會減少 B 的計數, 若沒有其它物件擁有 B 的話, B 也會被回收掉。

心得

像這樣用 compiler 協助生成程式碼管理 reference counting 頗妙的, 同時滅少 runtime 複雜度和開發者的負擔 (compiler 的心聲: 都沒人在意 compiler 的工作負擔啦...)。讓我對 reference counting 有不同過去死板的認知

此外, 多了 strong 和 weak pointer 的語意, 減少產生 circular reference 的可能性, 並降低物件消滅繼而回收擁有權的難度。舉例來說, 若物件 O 註冊「當 S 有變化時, 記得呼叫 O」。那麼, S 使用 weak pointer 儲存 O 的話, 可以讓 O 在不需擁有 S 的情況下, 自由地於任何時段滅亡, 只要 S 在呼叫 O 時先檢查 pointer 是否變為 nil 即可 (multi-thread 的話, 仍需要 lock 輔助就是了)。

留言

  1. 大師級的 Mike Ash 這篇也不錯。 http://www.mikeash.com/pyblog/friday-qa-2011-09-30-automatic-reference-counting.html

    回覆刪除
  2. 謝啦, 之後來仔細研究一下, 初步讀了一下, ARC 比原本想像的麻煩一些, 果然實情沒有相當美好, 使用 套件/框架 一定得了解細節才不會踏到雷

    回覆刪除

張貼留言

這個網誌中的熱門文章

(C/C++ ) 如何在 Linux 上使用自行編譯的第三方函式庫

以使用 LevelDB 為例。 抓好並編好相關檔案,編譯方式見第三方函式庫附的說明:$ ls include/ # header files leveldb/ $ ls out-shared/libleveldb.so* # shared library out-shared/libleveldb.so@ out-shared/libleveldb.so.1@ out-shared/libleveldb.so.1.20* 下面的例子用 clang++ 編譯,這裡用到的參數和 g++ 一樣。 問題一:找不到 header$ clang++ sample.cpp sample.cpp:5:10: fatal error: 'leveldb/db.h' file not found #include "leveldb/db.h" ^ 1 error generated. 解法:用 -I 指定 header 位置 問題二:找不到 shared library$ clang++ sample.cpp -I include/ /tmp/sample-2e7dd8.o: In function `main': sample.cpp:(.text+0x1e): undefined reference to `leveldb::Options::Options()' sample.cpp:(.text+0x6f): undefined reference to `leveldb::DB::Open(leveldb::Options const&, std::string const&, leveldb::DB**)' sample.cpp:(.text+0x10c): undefined reference to `leveldb::Status::ToString() const' sample.cpp:(.text+0x7d0): undefined reference to `leveldb::Status::ToString() const' clang: error: linker command failed with exit code 1 (u…

virtualbox 使用 USB 裝置

2012-12-16 更新 現在 (4.x 版) 似乎無需做任何設定, 只要有裝 Oracle VM VirtualBox Extension Pack, 在 VirtualBox 視窗右下角按 USB 的圖示, 再點目標裝置, 即可加入或移除該裝置 同一時間只有 host 或 guest 可擁有該裝置, 所以從 guest OS 移除, 相當於接回 host OS 目前 VirtualBox 只支援 USB 2.0 的插槽, 若偵測不到時, 注意一下是否為這個問題 有時拔拔插插, VirtualBox 會進入奇怪的狀態, 接上去 guest OS 無法連接且跳出 device is busy 的錯誤訊息。試看看拔除該裝置, 重開 guest OS (續上則) 若重開 guest OS 無效, 並且 host OS 已移除該裝置, VirtualBox 的 USB 清單卻仍顯示 "captured", 試看看拔除該裝置, 重開 host OS原文網路上搜一下, 比較多是 Ubuntu 當 host 的解法, 我的情況是 Win7 當 host, Ubuntu 當 guest。 這兩篇說明很詳細《Learn How to Set Up USB and Networking Options in VirtualBox》《幻影千瞳的部落格: VirtualBox 使用筆記(二):使用 USB 裝置》 現在的版本圖形介面很好用了, 不用像第二篇說的那樣用指令操作。這裡記下我的操作步驟: 關掉 guest OS 在 VirtualBox 選單, 選擇 guest OS -> Settings -> USB -> Enable USB 2.0 會出現訊息框, 說明要安裝 Oracle VM VirtualBox Extension Pack。下載後安裝它 host OS 插入 USB 隨身碟 在 VirtualBox 選單, 選擇 guest OS -> Settings -> USB, 點右邊有綠色 "+" 的 USB 頭的圖示, 選擇該 USB 隨身碟, 加入它的 filter 從 host OS 移除 USB 隨身碟 開啟 guest OS 插入 USB 隨身碟, 於是 guest OS 會自動偵測…

解決 undefined symbol / reference

C++ 新手上路, 有錯還請幫忙指正。 基本觀念相較於 script language 或 Java 來說, C/C++ 有完整的「編譯 -> 連結 -> 執行」三個階段, 各階段都可能發生 undefined symbol。在解決惱人的 undefined symbol 前, 得先明白整個編譯流程: 編譯 .c / .cpp 為 .o (object file) 時, 需要提供 header 檔 (用到 gcc 參數 -I)。事實上, 在編譯單一檔案時, gcc/g++ 根本不在意真正的 symbol 是否存在, 反正有宣告它就信了, 所以有引對 header 即可。這也是可分散編譯的原因 (如 distcc ), 程式之間在編譯成 .o 檔時, 並沒有相依性。 用 linker (ld 或 gold) 將 *.o 連結成 dynamic library 或執行檔時, 需要提供要連結的 library (用到 gcc 參數 -L 指定目錄位置, 用 -l 指定要連什麼函式庫)。不同於前一步, 此時 symbol 一定要在。 執行的時候, 會再動態開啟 shared library 讀出 symbol。換句話說, 前一個步驟只是檢查是否有。檢查通過也連結成 executable 或 shared library 後, 若執行時對應的檔案不見了, 仍會在執行期間找不到 symbol。若位置沒設好, 可能需要用 LIB_LIBRARY_PATH 指定動態函式的位置, 但不建議這麼做, 最好在執行 linker 時就指定好位置。原因見《Why LD_LIBRARY_PATH is bad》。明白這點後, 就看 undefined symbol 發生在那個階段, 若是編 object file 時發生, 就是沒和編譯器說 header 檔在那, 記得用 -I 告訴它。若在 linking 時發生, 就要同時設好 -L 和 -l。不過難就難在要去那找 undefined symbol 的出處。 解決問題的流程首先是判斷 symbol 是不是自己用到的原始碼裡, 可配合 id-utils 找看看 (我是用 gj, 比較方便一點)。或是看有沒有 man page, 有 man page 的話, 裡面會記錄用到的 header 和該怎麼下連結參數。若在專案裡找不到, …