卷首語
歡迎來到 objc.io 第七期!
這個月,我們選擇了 Foundation 框架作為我們的主題。
Foundation 框架的起源,可追溯到NeXTSTEP的時代, 到現在大概有 25 年的歷史了,涵蓋了很多的內容。
本期不會描述太多關于 Foundation 框架的細節,而是重點會選取幾個話題來進行討論。我們選擇了對所有 Objective-C 開發者都有用的一些話題:基礎集合類(collection classes)、KVC(key-value coding) 和 KVO(key-value observing)、值對象(value objects)和 值格式處理器(value formatters)。我們也挑選了一篇通用的關于通訊模式的文章,文章討論了在 Foundation 框架中發現的一些模式,也涉及到了一個比較特別的話題:NSLinguisticTagger.
非常感謝Peter Steinberger,Klaas Pieter Annema和Oliver Mason,他們為這一期貢獻了很多。也很感謝為這個社區出力的所有人,沒有他們就沒有 objc.io。看看我們的貢獻者的名單,我就明白我所說的了。
說到支持,我們上個月上線了objc.io Newsstand應用,那時候我們說,或者你可以捐贈支持我們。后續的反響很令人欣慰。我們并不是說需要拿錢去買什么很酷的車子,捐贈所得的錢會用于維持這個網站的日常運作,如果有余錢,我們會把余錢捐給那些和 objc.io 的理念相似的社區協作項目上。
為了信息的透明,我們需要說明,現在大部分的錢被用于主機、設計工作和內容編輯上。另外,我們每個月會抽出一小部分錢,存著留待日后用于 objc.io 的改善上。盡管也花費了不少,現在還是有不少的余錢。
除了上面的提到的,我們還決定要把錢用在有意義的地方(where it makes a difference)。從這個月開始,我們會把額外的錢捐贈給一個慈善計劃。我們會在下個月公布更多的消息。
從柏林發來最誠摯的祝福!
Chris, Daniel 和 Florian。
基礎集合類
NSArray, NSSet, NSOrderedSet 和 NSDictionary
基礎集合類是每一個 Mac/iOS 應用的基本組成部分。在本文中,我們將對”老類” (NSArray,NSSet)和”新類” (NSMapTable,NSHashTable,NSPointerArray) 進行一個深入的研究,探索每一個的效率細節,并討論其使用場景。
作者提示:本文包含一些參照結果,但它們并不意味著絕對精確,也沒有進行均差分析及多次的測試。這些結果的目的是給出運行時統計,來幫助我們認識到通常來說用什么會更快。所有的測試基于 iPhone 5s,使用 Xcode 5.1b1 和 iOS 7.1b1 的 64 位程序。編譯選項設置為 -Ofast 的發布構建。Vectorize loops 和 unroll loops (默認設置) 均設置為關閉。
大 O 符號,算法復雜度計量
首先,我們需要一些理論知識。效率通常用大 O 符號描述。它定義了一個函數的極限特征,通常被用于描繪其算法效率。O 定義了函數增長率的上限。不同量級的差異非常巨大,可以看看通常使用的 O 符號的量級以及它們所對應需要的操作數的關系。
例如,如果用算法復雜度為 O(n^2)的算法對一個有 50 個元素的數組排序,需要 2,500 步的操作。而且,還有內部的系統開銷和方法調用 — 所以是 250 0個操作的時間常量。 O(1)是理想的復雜度,代表著恒定的時間。好的排序算法通常需要 O(n*log n) 的時間。
可變性
大多數的集合類存在兩個版本:可變和不可變(默認)。這和其他大多數的框架有非常大的不同,一開始會讓人覺得有一點奇怪。然而其他的框架現在也應用了這一特性:就在幾個月前,.NET公布了作為官方擴展的不可變集合。
最大的好處是什么?線程安全。不可變的集合完全是線程安全的,可以同時在多個線程中迭代,避免各種轉變時出現異常的風險。你的 API絕不應該暴露一個可變的集合。
當然從不可變到可變然后再回來是會有一定代價的 — 對象必須被拷貝兩次,所有集合內的對象將被 retain/release。有時在內部使用一個可變的集合,而在訪問時返回一個不可變的對象副本會更高效。
與其他框架不同的是,蘋果沒有提供一個線程安全的可變集合,NSCache是例外,但它真的算不上是集合類,因為它不是一個通用的容器。大多數時候,你不會需要在集合層級的同步特性。想象一段代碼,作用是檢查字典中一個 key 是否存在,并根據檢查結果決定設置一個新的 key 或者返回某些值 — 你通常需要把多個操作歸類,這時線程安全的可變集合并不能對你有所幫助。
其實也有一些同步的,線程安全的可以使用的可變集合案例,它們往往只需要用幾行代碼,通過子類和組合的方法建立,比如這個NSDictionary或這個NSArray。
需要注意的是,一些較新的集合類,如NSHashTable,NSMapTable和NSPointerArray默認就是可變的,它們并沒有對應的不可變的類。它們用于類的內部使用,你基本應該不會能找到需要它們的不可變版本的應用場景。
NSArray
NSArray作為一個存儲對象的有序集合,可能是被使用最多的集合類。這也是為什么它有自己的比原來的[NSArray arrayWithObjects:..., nil]簡短得多的快速語法糖符號@[...]。NSArray實現了objectAtIndexedSubscript:,因為我們可以使用類 C 的語法array[0]來代替原來的[array objectAtIndex:0]。
性能特征
關于NSArray的內容比你想象的要多的多。基于存儲對象的多少,它使用各種內部的變體。最有趣的部分是蘋果對于個別的對象訪問并不保證 O(1) 的訪問時間 — 正如你在CFArray.h CoreFoundation 頭文件中的關于算法復雜度的注解中可以讀到的:
對于 array 中值的訪問時間,不管是在現在還是將來,我們保證在任何一種實現下最壞情況是 O(lg N)。但是通常來說它會是 O(1) (常數時間)。線性搜索操作很可能在最壞情況下的復雜度為 O(N*lg N),但通常來說上限會更小一些。插入和刪除操作耗時通常和數組中的值的數量成線性關系。但在某些實現的最壞情況下會是 O(N*lg N) 。在數組中,沒有對于性能上特別有優勢的數據位置,也就是說,為了更快地訪問到元素而將其設為在較低的 index 上,或者在較高的 index 上進行插入和刪除,或者類似的一些做法,是沒有必要的。
在測量的時候,NSArray產生了一些有趣的額外的性能特征。在數組的開頭和結尾插入/刪除元素通常是一個 O(1)操作,而隨機的插入/刪除通常是 O(N) 的。
有用的方法
NSArray的大多數方法使用isEqual:來檢查對象間的關系(例如containsObject:中)。有一個特別的方法indexOfObjectIdenticalTo:用來檢查指針相等,如果你確保在同一個集合中搜索,那么這個方法可以很大的提升搜索速度。 在 iOS 7 中,我們最終得到了與lastObject對應的公開的firstObject方法,對于空數組,這兩個方法都會返回nil— 而常規的訪問方法會拋出一個NSRangeException異常。
關于構造(可變)數組有一個漂亮的細節可以節省代碼量。如果你通過一個可能為 nil 的數組創建一個可變數組,通常會這么寫:
或者通過更簡潔的三元運算符:
NSMutableArray*mutableObjects = [array mutableCopy] ?: [NSMutableArrayarray];
更好的解決方案是使用arrayWithArray:,即使原數組為nil,該方法也會返回一個數組對象:
NSMutableArray*mutableObjects = [NSMutableArrayarrayWithArray:array];
這兩個操作在效率上幾乎相等。使用copy會快一點點,不過話說回來,這不太可能是你應用的瓶頸所在。提醒:不要使用[@[] mutableCopy]。經典的[NSMutableArray array]可讀性更好。
逆序一個數組非常簡單:array.reverseObjectEnumerator.allObjects。我們使用系統提供的reverseObjectEnumerator,每一個NSEnumerator都實現了allObjects,該方法返回一個新數組。雖然沒有原生的randomObjectEnumerator方法,你可以寫一個自定義的打亂數組順序的枚舉器或者使用一些出色的開源代碼。
數組排序
有很多各種各樣的方法來對一個數組排序。如果數組存儲的是字符串對象,sortedArrayUsingSelector:是第一選擇:
如果想更可控,可以使用基于函數指針的排序方法:
蘋果增加了一個方法來加速使用sortedArrayHint的排序。
hinted sort 方式在你有一個已排序的大數組 (N 個元素) 并且只改變其中一小部分(P 個添加和刪除,這里 P遠小于 N)時,會非常有效。你可以重用原來的排序結果,然后在 N 個老項目和 P 個新項目進行一個概念上的歸并排序。為了得到合適的 hint,你應該在原來的數組排序后使用 sortedArrayHint 來在你需要的時候(比如在數組改變后想重新排序時)保證持有它。
因為block的引入,也出現了一些基于block的排序方法:
性能上來說,不同的方法間并沒有太多的不同。有趣的是,基于 selector 的方式是最快的。
:
Sorting 1000000 elements. selector: 4947.90[ms] function: 5618.93[ms] block: 5082.98[ms].
二分查找
NSArray從 iOS 4 / Snow Leopard 開始內置了二分查找
這是個簡單的衡量二分查找有多快的數據:
Timeto searchfor1000entries within1000000objects.Linear:54130.38[ms].Binary:7.62[ms]
作為比較,查找NSOrderedSet中的指定索引花費 0.23 毫秒 — 就算和二分查找相比也又快了 30 多倍。
記住排序的開銷也是昂貴的。蘋果使用復雜度為 O(n*log n) 的歸并排序,所以如果你執行一次indexOfObject:的話,就沒有必要使用二分查找了。
通過指定NSBinarySearchingInsertionIndex,你可以獲得正確的插入索引,以確保在插入元素后仍然可以保證數組的順序。
枚舉和總覽
作為測試,我們來看一個普通的使用場景。從一個數組中過濾出一些元素組成另一個數組。這些測試都包括了枚舉的方法以及使用 API 進行過濾的方式:
indexesOfObjectsWithOptions:passingTest:必須每次都執行一次 block 因此比傳統的使用NSFastEnumeration技術的基于 for 循環的枚舉要稍微低效一些。但是如果開啟了并發枚舉,那么前者的速度則會大大的超過后者幾乎 2 倍。iPhone 5s 是雙核的,所以這說得通。這里并沒有體現出來的是NSEnumerationConcurrent只對大量的對象有意義,如果你的集合中的對象數量很少,用哪個方法就真的無關緊要。甚至NSEnumerationConcurrent上額外的線程管理實際上會使結果變得更慢。
最大的輸家是filteredArrayUsingPredicate:。NSPredicate需要在這里提及是因為,人們可以寫出非常復雜的表達式,尤其是用不基于 block 的變體。使用 Core Data 的用戶應該會很熟悉。
為了比較的完整,我們也加入了NSEnumerator作為比較 — 雖然沒有任何理由再使用它了。然而它竟出人意料的快(至少還是比基于NSPredicate的過濾要快),它的運行時消耗無疑比快速枚舉更多 — 現在它只用于向后兼容。甚至沒有優化過的objectAtIndex:都要更快些。
NSFastEnumeration
在OSX 10.5和iOS的最初版本中,蘋果增加了NSFastEnumeration。在此之前,只有每次返回一個元素的NSEnumeration,每次迭代都有運行時開銷。而快速枚舉,蘋果通過countByEnumeratingWithState:objects:count:返回一個數據塊。該數據塊被解析成id類型的 C 數組。這就是更快的速度的原因;迭代一個 C 數組要快得多,而且可以被編譯器更深一步的優化。手動的實現快速枚舉是十分難辦的,所以蘋果的FastEnumerationSample是一個不錯的開始,還有一篇Mike Ash 的文章也很不錯。
應該用arrayWithCapacity:嗎?
初始化NSArray的時候,可以選擇指定數組的預期大小。在檢測的時候,結果是在效率上沒有差別 — 至少在統計誤差范圍內的測量的時間幾乎相等。有消息透漏說實際上蘋果根本沒有使用這個參數。然而使用arrayWithCapacity:仍然好處,它可以作為一種隱性的文檔來幫助你理解代碼:
Adding 10.000.000 elements to NSArray. no count 1067.35[ms] with count: 1083.13[ms].
子類化注意事項
很少有理由去子類化基礎集合類。大多數時候,使用 CoreFoundation 級別的類并且自定義回調函數定制自定義行為是更好的解決方案。 創建一個大小寫不敏感的字典,一種方法是子類化NSDictionary并且自定義訪問方法,使其將字符串始終變為小寫(或大寫),并對排序也做類似的修改。更快更好的解決方案是提供一組不同的CFDictionaryKeyCallBacks集,你可以提供自定義的hash和isEqual:回調。你可以在這里找到一個例子。這種方法的優美之處應該歸功于toll-free 橋接),它仍然是一個簡單的字典,因此可以被任何使用NSDictionary作為參數的API接受。
子類作用的一個例子是有序字典的用例。.NET 提供了一個SortedDictionary,Java 有TreeMap,C++ 有std::map。雖然你可以使用 C++ 的 STL 容器,但卻無法使它自動的retain/release,這會讓使用起來笨拙得多。因為NSDictionary是一個類簇,所以子類化跟人們想象的相比非常不同。這已經超過了本文的討論范疇,這里有一個真實的有序字典的例子。
NSDictionary
一個字典存儲任意的對象鍵值對。 由于歷史原因,初始化方法[NSDictionary dictionaryWithObjectsAndKeys:object, key, nil]使用了相反的值到鍵的順序,而新的快捷語法則從 key 開始,@{key : value, ...}。
NSDictionary中的鍵是被拷貝的并且需要是不變的。如果在一個鍵在被用于在字典中放入一個值后被改變的話,那么這個值就會變得無法獲取了。一個有趣的細節是,在NSDictionary中鍵是被 copy 的,但是在使用一個 toll-free 橋接的CFDictionary時卻只會被 retain。CoreFoundation 類沒有通用的拷貝對象的方法,因此這時拷貝是不可能的(*)。這只適用于你使用CFDictionarySetValue()的時候。如果你是通過setObject:forKey來使用一個 toll-free 橋接的CFDictionary的話,蘋果會為其增加額外處理邏輯,使得鍵被拷貝。但是反過來這個結論則不成立 — 使用已經轉換為CFDictionary的NSDictionary對象,并用對其使用CFDictionarySetValue()方法,還是會導致調用回setObject:forKey并對鍵進行拷貝。
(*)其實有一個現成的鍵的回調函數kCFCopyStringDictionaryKeyCallBacks可以拷貝字符串,因為對于 ObjC對象來說,CFStringCreateCopy()會調用[NSObject copy],我們可以巧妙使用這個回調來創建一個能進行鍵拷貝的CFDictionary。
性能特征
蘋果在定義字典的計算復雜度時顯得相當低調。唯一的信息可以在CFDictionary的頭文件中找到:
對于字典中值的訪問時間,不管是在現在還是將來,我們保證在任何一種實現下最壞情況是 O(N)。但通常來說它會是 O(1) (常數時間)。插入和刪除操作一般來說也會是常數時間,但是在某些實現中最壞情況將為 O(N*N)。通過鍵來訪問值將比直接訪問值要快(如果你有這樣的操作要做的話)。對于同樣數目的值,字典需要花費比數組多得多的內存空間。
跟數組相似的,字典根據尺寸的不同使用不同的實現,并在其中無縫切換。
枚舉和總覽
過濾字典有幾個不同的方法:
(*)使用getObjects:andKeys:時需要注意。在上面的代碼例子中,我們使用了可變長度數組這一 C99 特性(通常,數組的數量需要是一個固定值)。這將在棧上分配內存,雖然更方便一點,但卻有其限制。上面的代碼在元素數量很多的時候會崩潰掉,所以我們使用基于malloc/calloc的分配 (和free) 以確保安全。
為什么這次NSFastEnumeration這么慢?迭代字典通常需要鍵和值兩者,快速枚舉只能枚舉鍵,我們必須每次都自己獲取值。使用基于 block 的enumerateKeysAndObjectsUsingBlock:更高效,因為兩者都可以更高效的被提前獲取。
這次測試的勝利者又是通過keysOfEntriesWithOptions:passingTest:和objectsForKeys:notFoundMarker:的并發迭代。代碼稍微多了一點,但是可以用 category 進行漂亮的封裝。
應該用 dictionaryWithCapacity: 嗎?
到現在你應該已經知道該如何測試了,簡單的回答是不,count參數沒有改變任何事情:
Adding 10000000 elements to NSDictionary. no count 10786.60[ms] with count: 10798.40[ms].
排序
關于字典排序沒有太多可說的。你只能將鍵數組排序為一個新對象,因此你可以使用任何正規的NSArray的排序方法:
共享鍵
從 iOS 6 和 OS X 10.8 開始,新建的字典可以使用一個預先生成好的鍵集,使用sharedKeySetForKeys:從一個數組中創建鍵集,然后用dictionaryWithSharedKeySet:創建字典。共享鍵集會復用對象,以節省內存。根據Foundation Release Notes,sharedKeySetForKeys:中會計算一個最小完美哈希,這個哈希值可以取代字典查找過程中探索循環的需要,因此使鍵的訪問更快。
雖然在我們有限的測試中沒有法線蘋果在NSJSONSerialization中使用這個特性,但毫無疑問,在處理 JSON 的解析工作時這個特性可以發揮得淋漓盡致。(使用共享鍵集創建的字典是NSSharedKeyDictionary的子類;通常的字典是__NSDictionaryI/__NSDictionaryM,I / M 表明可變性;可變和不可變的的字典在 toll-free 橋接后對應的都是_NSCFDictionary類。)
有趣的細節:共享鍵字典始終是可變的,即使對它們執行了”copy”命令后也是。這個行為文檔中并沒有說明,但很容易被測試:
NSSet
NSSet和它的可變變體NSMutableSet是無序對象集合。檢查一個對象是否存在通常是一個 O(1) 的操作,使得比NSArray快很多。NSSet只在被使用的哈希方法平衡的情況下能高效的工作;如果所有的對象都在同一個哈希筐內,NSSet在查找對象是否存在時并不比NSArray快多少。
NSSet還有變體NSCountedSet,以及非 toll-free 計數變體CFBag/CFMutableBag。
NSSet會 retain 它其中的對象,但是根據 set 的規定,對象應該是不可變的。添加一個對象到 set 中隨后改變它會導致一些奇怪的問題并破壞 set 的狀態。
NSSet的方法比NSArray少的多。沒有排序方法,但有一些方便的枚舉方法。重要的方法有allObjects,將對象轉化為NSArray,anyObject則返回任意的對象,如果 set 為空,則返回 nil。
Set 操作
NSMutableSet有幾個很強大的方法,例如intersectSet:,minusSet:和unionSet:。
應該用setWithCapacity:嗎?
我們再一次測試當創建 set 時給定容量大小是否會有顯著的速度差異:
Adding 1.000.000 elements to NSSet. no count 2928.49[ms] with count: 2947.52[ms].
在統計誤差范圍內,結果沒有顯著差異。有一份證據表明至少在上一個 runtime 版本中,有很多的性能上的影響。
NSSet 性能特征
這個檢測非常符合我們的預期:NSSet在每一個被添加的對象上執行hash和isEqual:方法并管理一系列哈希值,所以在添加元素時耗費了更多的時間。set的隨機訪問比較難以測試,因為這里執行的都是anyObject。
這里沒有必要包含containsObject:的測試,set 要快幾個數量級,畢竟這是它的特點。
NSOrderedSet
NSOrderedSet在 iOS 5 和 Mac OS X 10.7 中第一次被引入,除了 Core Data,幾乎沒有直接使用它的 API。看上去它綜合了NSArray和NSSet兩者的好處,對象查找,對象唯一性,和快速隨機訪問。
NSOrderedSet有著優秀的 API 方法,使得它可以很便利的與其他 set 或者有序 set 對象合作。合并,交集,差集,就像NSSet支持的那樣。它有NSArray中除了比較陳舊的基于函數的排序方法和二分查找以外的大多數排序方法。畢竟containsObject:非常快,所以沒有必要再用二分查找了。
NSOrderedSet的array和set方法分別返回一個NSArray和NSSet,這些對象表面上是不可變的對象,但實際上在 NSOrderedSet 更新的時候,它們也會更新自己。如果你在不同線程上使用這些對象并發生了詭異異常的時候,知道這一點是非常有好處的。本質上,這些類使用的是__NSOrderedSetSetProxy和__NSOrderedSetArrayProxy。
附注:如果你想知道為什么NSOrderedSet不是NSSet的子類,NSHipster 上有一篇非常好的文章解釋了可變/不可變類簇的缺點。
NSOrderedSet 性能特征
這個測試在每一個集合類中添加自定義字符串,隨后隨機訪問它們。
NSOrderedSet比NSSet和NSArray占用更多的內存,因為它需要同時維護哈希值和索引。
NSHashTable
NSHashTable效仿了NSSet,但在對象/內存處理時更加的靈活。可以通過自定義CFSet的回調獲得NSHashTable的一些特性,哈希表可以保持對對象的弱引用并在對象被銷毀之后正確的將其移除,有時候如果手動在 NSSet 中添加的話,想做到這個是挺惡心的一件事。它是默認可變的 — 并且這個類沒有相應的不可變版本。
NSHashTable有 ObjC 和原始的 C API,C API 可以用來存儲任意對象。蘋果在 10.5 Leopard 系統中引入了這個類,但是 iOS 的話直到最近的 iOS 6 中才被加入。足夠有趣的是它們只移植了 ObjC API;更多強大的 C API 沒有包括在 iOS 中。
NSHashTable可以通過initWithPointerFunctions:capacity:進行大量的設置 — 我們只選取使用預先定義的hashTableWithOptions:這一最普遍的使用場景。其中最有用的選項有利用weakObjectsHashTable來使用其自身的構造函數。
NSPointerFunctions
這些指針函數可以被用在NSHashTable,NSMapTable和NSPointerArray中,定義了對存儲在這個集合中的對象的獲取和保留行為。這里只介紹最有用的選項。完整列表參見NSPointerFunctions.h。
有兩組選項。內存選項決定了內存管理,個性化定義了哈希和相等。
NSPointerFunctionsStrongMemory創建了一個r etain/release 對象的集合,非常像常規的NSSet或NSArray。
NSPointerFunctionsWeakMemory使用和__weak等價的方式來存儲對象并自動移除被銷毀的對象。
NSPointerFunctionsCopyIn在對象被加入到集合前拷貝它們。
NSPointerFunctionsObjectPersonality使用對象的hash和isEqual:(默認)。
NSPointerFunctionsObjectPointerPersonality對于isEqual:和hash使用直接的指針比較。
NSHashTable 性能特征
如果你只是需要NSSet的特性,請堅持使用NSSet。NSHashTable在添加對象時花費了將近2倍的時間,但是其他方面的效率卻非常相近。
NSMapTable
NSMapTable和NSHashTable相似,但是效仿的是NSDictionary。因此,我們可以通過mapTableWithKeyOptions:valueOptions:分別控制鍵和值的對象獲取/保留行為。存儲弱引用是NSMapTable最有用的特性,這里有4個方便的構造函數:
strongToStrongObjectsMapTable
weakToStrongObjectsMapTable
strongToWeakObjectsMapTable
weakToWeakObjectsMapTable
注意,除了使用NSPointerFunctionsCopyIn,任何的默認行為都會 retain (或弱引用)鍵對象而不會拷貝它,這與CFDictionary的行為相同而與NSDictionary不同。當你需要一個字典,它的鍵沒有實現NSCopying協議的時候(比如像UIView),這會非常有用。
如果你好奇為什么蘋果”忘記”為NSMapTable增加下標,你現在知道了。下標訪問需要一個id作為 key,對NSMapTable來說這不是強制的。如果不通過一個非法的 API 協議或者移除NSCopying協議來削弱全局下標,是沒有辦法給它增加下標的。
你可以通過dictionaryRepresentation把內容轉換為普通的NSDictionary。不像NSOrderedSet,這個方法返回的是一個常規的字典而不是一個代理。
NSMapTable 性能特征
NSMapTable只比NSDictionary略微慢一點。如果你需要一個不 retain 鍵的字典,放棄CFDictionary而使用它吧。
NSPointerArray
NSPointerArray類是一個稀疏數組,工作起來與NSMutableArray相似,但可以存儲NULL值,并且count方法會反應這些空點。可以用NSPointerFunctions對其進行各種設置,也有應對常見的使用場景的快捷構造函數strongObjectsPointerArray和weakObjectsPointerArray。
在能使用insertPointer:atIndex:之前,我們需要通過直接設置count屬性來申請空間,否則會產生一個異常。另一種選擇是使用addPointer:,這個方法可以自動根據需要增加數組的大小。
你可以通過allObjects將一個NSPointerArray轉換成常規的NSArray。這時所有的NULL值會被去掉,只有真正存在的對象被加入到數組 — 因此數組的對象索引很有可能會跟指針數組的不同。注意:如果向指針數組中存入任何非對象的東西,試圖執行allObjects都會造成EXC_BAD_ACCESS崩潰,因為它會一個一個地去 retain ”對象”。
從調試的角度講,NSPointerArray沒有受到太多歡迎。description方法只是簡單的返回了。為了得到所有的對象需要執行[pointerArray allObjects],當然,如果存在NULL的話會改變索引。
NSPointerArray 性能特征
在性能方面,NSPointerArray真的非常非常慢,所以當你打算在一個很大的數據集合上使用它的時候一定要三思。在本測試中我們比較了使用NSNull作為空標記的NSMutableArray,而對NSPointerArray我們用NSPointerFunctionsStrongMemory來進行設置 (這樣對象會被適當的 retain)。在一個有 10,000 個元素的數組中,我們每隔十個插入一個字符串 ”Entry %d”。此測試包括了用NSNull.null填充NSMutableArray的總時間。對于NSPointerArray,我們使用setCount:來代替:
注意NSPointerArray需要的時間比NSMutableArray多了超過* 250 倍(!)* 。這非常奇怪和意外。跟蹤內存是比較困難的,所以按理說NSPointerArray會更高效才對。不過由于我們使用的是同一個NSNull來標記空對象,所以除了指針也沒有什么更多的消耗。
NSCache
NSCache是一個非常奇怪的集合。在 iOS 4 / Snow Leopard 中加入,默認為可變并且線程安全的。這使它很適合緩存那些創建起來代價高昂的對象。它自動對內存警告做出反應并基于可設置的”成本”清理自己。與NSDictionary相比,鍵是被 retain 而不是被 copy 的。
NSCache的回收方法是不確定的,在文檔中也沒有說明。向里面放一些類似圖片那樣超大的對象并不是一個好主意,有可能它在能回收之前就更快地把你的 cache 給填滿了。(這是在PSPDFKit中很多跟內存有關的 crash 的原因,在使用自定義的基于 LRU 的鏈表緩存的代碼之前,我們起初使用了NSCache存儲事先渲染的圖片。)
可以對NSCache進行設置,這樣它就能自動回收那些實現了NSDiscardableContent協議的對象。實現了該屬性的一個比較常用的類是同時間加入的NSPurgeableData,但是在 OS X 10.9 之前,它是非完全線程安全的 (也沒有信息表明這個變化也影響到了 iOS,或者說在 iOS 7 中被修復了)。
NSCache 性能
那么相比起NSMutableDictionary來說,NSCache表現如何呢?加入的線程安全必然會帶來一些消耗。處于好奇,我也加入了一個自定義的線程安全的字典的子類 (PSPDFThreadSafeMutableDictionary),它通過OSSpinLock實現同步的訪問。
NSCache表現的相當好,隨機訪問跟我們自定義的線程安全字典一樣快。如我們預料的,添加更慢一些,因為NSCache要多維護一個決定何時回收對象的成本系數。就這一點來看這不是一個非常公平的比較。有趣的是,在模擬器上運行效率要慢了幾乎 10 倍。無論對 32 或 64 位的系統都是這樣。而且看起來這個類已經在 iOS 7 中優化過,或者是受益于 64 位 runtime 環境。當在老的設備上測試時,使用NSCache的性能消耗就明顯得多。
iOS 6(32 bit) 和 iOS 7(64 bit) 的區別也很明顯,因為 64 位運行時使用標簽指針 (tagged pointer),因此我們的@(idx)boxing 要更為高效。
NSIndexSet
有些使用場景下NSIndexSet(和它的可變變體,NSMutableIndexSet) 真的非常出色,對它的使用貫穿在 Foundation 中。它可以用一種非常高效的方法存儲一組無符號整數的集合,尤其是如果只是一個或少量范圍的時候。正如 set 這個名字已經暗示的那樣,每一個NSUInteger要么在索引 set 中,要么不在。如果你需要存儲任意非唯一的數的時候,最好使用NSArray。
下面是如何把一個整數數組轉換為NSIndexSet:
如果不使用block,從索引set中拿到所有的索引有點麻煩,getIndexes:maxCount:inIndexRange:是最快的方法,其次是使用firstIndex并迭代直到indexGreaterThanIndex:返回NSNotFound。隨著 block 的到來,使用NSIndexSet工作變得方便的多:
NSIndexSet性能
Core Foundation 中沒有和NSIndexSet相當的類,蘋果也沒有對性能做出任何承諾。NSIndexSet和NSSet之間的比較也相對的不公平,因為常規的 set 需要對數字進行包裝。為了緩解這個影響,這里的測試準備了實現包裝好的NSUintegers,并且在兩個循環中都會執行unsignedIntegerValue:
我們看到在一百萬左右對象的時候,NSIndexSet開始變得比NSSet慢,但只是因為新的運行時和標簽指針。在 iOS 6 上運行相同的測試表明,甚至在更高數量級實體的條件下,NSIndexSet更快。實際上,在大多數應用中,你不會添加太多的整數到索引 set 中。還有一點這里沒有測試,就是NSIndexSet跟NSSet比無疑有更好的內存優化。
結論
本文提供了一些真實的測試,使你在使用基礎集合類的時候做出有根據的選擇。除了上面討論的類,還有一些不常用但確實有用的類,尤其是NSCountedSet,CFBag,CFTree,CFBitVector和CFBinaryHeap。