Chapter 5. Memory Management
<br />
Item 29: Understand Reference Counting
<br />
這一節講引用計數。
文中說在分析和理解引用計數的時候,是不應該去確定引用計數到底是幾,而是應該只關注某個操作使引用計數增加了或是減少了。比如alloc
或initWithInt:
這樣的操作,是使引用計數至少為一,而release是使引用計數可能為零。所以在調用release以后如果再對對象做操作,就要非常小心,要非常確保此時還有別的引用在指向這個對象,否則對象可能已經被銷毀。為了避免調用release后出現野指針,可以把對象的指針設為nil來清空。
對于strong屬性,setter的寫法是這樣:
- (void)setFoo:(id)foo {
[foo retain];
[_foo release];
_foo = foo;
}
必須要先retain新值再release舊值。因為對象一旦引用計數為0被釋放以后,就不可以在retain了。此時如果新值和舊值是同一個對象,先release就可能導致對象完全被釋放掉。后面指針也就無法有效賦值了。而在后面一節提到,ARC也是這么這么做的,先保留新值,再釋放舊值,最后設置iVar。
autorelease的效果是在自動釋放池被釋放時執行release,如果沒有自己建立自動釋放池,那么實際上就是在下一次event loop時執行。它的應用場景是當對象調用了alloc等方法后,本該對應調用release方法,但是我們希望這個對象存在更長的時間,比如作為返回值返回到其他地方,需要超越“method call boundary”,所以希望它稍后再調用release,這時就可以調用autorelease了。
retain cycle就是兩個對象互相引用的情況。一般用把其中一個引用改成弱引用來避免。
<br />
Item 30: Use ARC to Make Reference Counting Easier
<br />
這一節講ARC環境下系統對引用計數都做了怎樣的操作。
在ARC環境下,像retain、release、autorelease、dealloc都不能手動調用了,否則編譯會報錯。但是并不是說這些方法就不被調用了,而是ARC通過“靜態分析器”來分析需要調用這些方法的位置,然后在相應的位置自動調用,只是我們看不見而已。并且文中提到,ARC在調用這些方法時,不是用的普通的OC消息派發機制,而是調用的底層相應的C語言函數,這樣效率更高。特別是知道了這一點,就更明白不能也沒有必要去override剛才提到的四個方法,因為并不會被調用。
想讓ARC來自動調用這些方法,寫自定義類的時候需要注意方法的命名。alloc、new、copy、mutableCopy,以這四個詞開頭的方法,都會使對象的引用計數加一,并且調用者會引用創建的對象。此時由調用者來管理它的釋放。而不以這四個詞開頭的方法,則又ARC自動在方法結束時調用釋放方法。比如:
+ (EOCPerson *)somePerson{
EOCPerson *person = [[EOCPerson alloc] init];
return person;
// 實際上ARC自動執行的是 return [person autorelease];
}
ARC在編譯時還會做進一步優化,如果一個引用操作和一個釋放操作成對地連續出現,這兩個操作就會自動被“抵消掉”。(這里具體的機制書里講了,但是我沒有看很懂…)
關于ARC是怎么實現不同的變量內存管理語義的,這里做一個總結:
- __strong: retain新值,release舊值,然后賦值iVar。
- __weak: 不retain新值,指針直接指向新值。如果新值正在銷毀中,則指向nil。
- __unsafe_unretained:不retain新值,指針直接指向新值。
- __autoreleasing:retain新值,并且新值會被autorelease,然后賦值iVar。
OC對象不用在dealloc函數進行清理,而非OC對象,比如文中提到的CoreFoundation對象,需要在dealloc方法里進行手動清理。
<br />
Item 31: Release References and Clean Up Observation State Only in dealloc
<br />
這一節寫在dealloc方法里該做什么。
dealloc方法是在對象引用計數降為0,被銷毀時自動調用的,不能手動調用,只會調用一次。總的來說,常用的一般情況下,在這里處理的是一些clean up的操作,其他的方法還有屬性存取方法等都不應該在這里調用。另外在ARC環境不要調用[super dealloc]
,否則編譯會報錯。
clean up操作是一個泛指,引用的OC對象也會被清理,但是我們是看不到的,是ARC自動為我們做的。需要手動調用的是上一節提到的非OC對象的釋放,以及常用的解除通知監聽(removeObserver:
)。
文中提到的一個我沒有見過的場景是,開銷比較大的資源,比如file descriptor, socket等,不應該在dealloc里清理,因為這樣占用資源的時間太長,應該一旦不需要用了就清理掉。需要用到這樣資源的對象,應該提供close方法,這樣外界不再需要的時候可以手動調用,資源就可以即時被釋放掉。