我們知道在程式運作過程中要建立大量的對象,和其他進階語言類似,在objc中對象時存儲在堆中的,系統并不會自動釋放堆中的記憶體(注意基本類型是由系統自己管理的,放在棧上)。如果一個對象建立并使用後沒有得到及時釋放那麼就會占用大量記憶體。其他進階語言如c#、java都是通過垃圾回收來(gc)解決這個問題的,但在ojbc中并沒有類似的垃圾回收機制,是以它的記憶體管理就需要由開發人員手動維護。今天将着重介紹objc記憶體管理:
<a href="http://www.cnblogs.com/kenshincui/p/3870325.html#referencecount">引用計數器</a>
<a href="http://www.cnblogs.com/kenshincui/p/3870325.html#propertyparameter">屬性參數</a>
<a href="http://www.cnblogs.com/kenshincui/p/3870325.html#autoreleasepool">自動釋放池</a>
在xcode4.2及之後的版本中由于引入了arc(automatic reference counting)機制,程式編譯時xcode可以自動給你的代碼添加記憶體釋放代碼,如果編寫手動釋放代碼xcode會報錯,是以在今天的内容中如果你使用的是xcode4.2之後的版本(相信現在大部分朋友用的版本都比這個要高),必須手動關閉arc,這樣才有助于你了解objc的記憶體回收機制。
objc中的記憶體管理機制跟c語言中指針的内容是同樣重要的,要開發一個程式并不難,但是優秀的程式則更測重于記憶體管理,它們往往占用記憶體更少,運作更加流暢。雖然在新版xcode引入了arc,但是很多時候它并不能完全解決你的問題。在xcode中關閉arc:項目屬性—build settings--搜尋“garbage”找到objective-c automatic reference counting設定為no即可。
我們都知道在c#、java中都有gc在自動管理記憶體,當我們執行個體化一個對象之後通常會有一個變量來引用這個對象(變量中存儲對象位址),當這個引用變量不再使用之後(也就是不再引用這個對象)此時gc就會自動回收這個對象,簡單的說就是:當一個對象沒有任何變量引用的時候就會被回收。
例如下面的c#代碼片段
上面是一段c#代碼,在test()方法中,通過new object()建立了一個對象,o是一個對象的引用(存儲了對象的位址),它是一個局部變量,作用範圍就是test()方法内部。

當執行完test()方法之後o就會被釋放,此時由于沒有變量在引用new object()這個對象,是以gc會自動回收這個對象所占用的空間。
但是在objc中沒有垃圾回收機制,那麼objc中記憶體又是如何管理的呢?其實在objc中記憶體的管理是依賴對象引用計數器來進行的:在objc中每個對象内部都有一個與之對應的整數(retaincount),叫“引用計數器”,當一個對象在建立之後它的引用計數器為1,當調用這個對象的alloc、retain、new、copy方法之後引用計數器自動在原來的基礎上加1(objc中調用一個對象的方法就是給這個對象發送一個消息),當調用這個對象的release方法之後它的引用計數器減1,如果一個對象的引用計數器為0,則系統會自動調用這個對象的dealloc方法來銷毀這個對象。
下面通過一個簡單的例子看一下引用計數器的知識:
person.h
person.m
main.m
在上面的代碼中我們可以通過dealloc方法來檢視是否一個對象已經被回收,如果沒有被回收則有可能造成記憶體洩露。如果一個對象被釋放之後,那麼最後引用它的變量我們手動設定為nil,否則可能造成野指針錯誤,而且需要注意在objc中給空對象發送消息是不會引起錯誤的。
野指針錯誤形式在xcode中通常表現為:thread 1:exc_bad_access(code=exc_i386_gpflt)錯誤。因為你通路了一塊已經不屬于你的記憶體。
手動管理記憶體有時候并不容易,因為對象的引用有時候是錯綜複雜的,對象之間可能互相交叉引用,此時需要遵循一個法則:誰建立,誰釋放。
假設現在有一個人員person類,每個person可能會購買一輛汽車car,通常情況下購買汽車這個活動我們可能會單獨抽取到一個方法中,同時買車的過程中我們可能會多看幾輛來最終确定理想的車,現在我們的代碼如下:
car.h
car.m
程式運作結果:
從運作結果來看建立的三個對象p、car1、car2都被回收了,而且[p.car run]也能順利運作,已經達到了我們的需求。但是這裡需要重點解釋一下setcar方法的實作,setcar方法中為什麼沒有寫成如下形式:
前面在我們說到屬性的定義時不是都采用的這種方式嗎?
根據前面說到的記憶體釋放原則,getcar方法完全符合,在這個方法中定義的兩個對象car1、car2也都是在這個方法中釋放的,包括main函數中的p對象也是在main函數中定義和釋放的。但是如果發現調用完getcar方法之後緊接着調用了汽車的run方法,當然這在程式設計和開發過程中應該是再普通不過的設計了。如果setcar寫成“_car=car”的形式,當調用完getcar方法後,人員的car屬性被釋放了,此時調用run方法是會報錯的(大家自己可以試試)。但是如下的方式卻不會有問題:
因為在這個方法中我們通過[car retain]保證每次屬性指派的時候對象引用計數器+1,這樣一來調用過getcar方法可以保證人員的car屬性不會被釋放,其次為了保證上一次的指派對象(car1)能夠正常釋放,我們在賦新值之前對原有的值進行release操作。最後在person的dealloc方法中對_car進行一次release操作(因為setcar中做了一次retain操作)保證_car能正常回收。
像上面這樣編寫setcar方法的情況是比較多的,那麼如何使用@property進行自動實作呢?答案就是使用屬性參數,例如上面car屬性的setter方法,可以通過@property定義如下:
你會發現此刻我們不必手動實作car的getter、setter方法程式仍然沒有記憶體洩露。其實大家也應該都已經看到前面person的name屬性定義的時候我們同樣加上了(nonatomic,copy)參數,這些參數到底是什麼意思呢?
@property的參數分為三類,也就是說參數最多可以有三個,中間用逗号分隔,每類參數可以從上表三類參數中人選一個。如果不進行設定或者隻設定其中一類參數,程式會使用三類中的各個預設參數,預設參數:(atomic,readwrite,assign)
一般情況下如果在多線程開發中一個屬性可能會被兩個及兩個以上的線程同時通路,此時可以考慮atomic屬性,否則建議使用nonatomic,不加鎖,效率較高;readwirte方法會生成getter、setter兩個方法,如果使用readonly則隻生成getter方法;關于set方法處理需要特别說明,假設我們定義一個屬性a,這裡列出三種方式的生成代碼:
assign,用于基本資料類型
retain,通常用于非字元串對象
copy,通常用于字元串對象、block、nsarray、nsdictionary
備注:本文基于mrc進行介紹,arc下的情況不同,請參閱其他文章,例如arc下基本資料類型預設的屬性參數為(atomic,readwrite,assign),對象類型預設的屬性參數為(atomic,readwrite,strong)
在objc中也有一種記憶體自動釋放的機制叫做“自動引用計數”(或“自動釋放池”),與c#、java不同的是,這隻是一種半自動的機制,有些操作還是需要我們手動設定的。自動記憶體釋放使用@autoreleasepool關鍵字聲明一個代碼塊,如果一個對象在初始化時調用了autorelase方法,那麼當代碼塊執行完之後,在塊中調用過autorelease方法的對象都會自動調用一次release方法。這樣一來就起到了自動釋放的作用,同時對象的銷毀過程也得到了延遲(統一調用release方法)。看下面的代碼:
當上面@autoreleaespool代碼塊執行完之後,三個對象都得到了釋放,但是person4并沒有釋放,原因很簡單,由于我們手動retain了一次,當自動釋放池釋放後調用四個對的release方法,當調用完person4的release之後它的引用計數器為1,所有它并沒有釋放(這是一個反例,會造成記憶體洩露);autorelase方法将一個對象的記憶體釋放延遲到了自動釋放池銷毀的時候,是以上面person1,調用完autorelase之後它還存在,是以給name指派不會有任何問題;在objc中通常如果一個靜态方法傳回一個對象本身的話,在靜态方法中我們需要調用autorelease方法,因為按照記憶體釋放原則,在外部使用時不會進行alloc操作也就不需要再調用release或者autorelase,是以這個操作需要放到靜态方法内部完成。
對于自動記憶體釋放簡單總結一下:
autorelease方法不會改變對象的引用計數器,隻是将這個對象放到自動釋放池中;
自動釋放池實質是當自動釋放池銷毀後調用對象的release方法,不一定就能銷毀對象(例如如果一個對象的引用計數器>1則此時就無法銷毀);
由于自動釋放池最後統一銷毀對象,是以如果一個操作比較占用記憶體(對象比較多或者對象占用資源比較多),最好不要放到自動釋放池或者考慮放到多個自動釋放池;
objc中類庫中的靜态方法一般都不需要手動釋放,内部已經調用了autorelease方法;