【性能為王】從PHP源碼剖析array_keys和array_unique

来源:http://www.cnblogs.com/h-hq/archive/2016/02/24/5213864.html
-Advertisement-
Play Games

之前在[譯]更快的方式實現PHP數組去重討論了使用array_flip後再調用array_keys函數替換直接調用array_unique函數實現數組去重性能較好。由於原文沒有給出源碼分析和測試的結果，導致給讀者造成迷惑，在此說聲抱歉。為瞭解開讀者的疑惑，筆者承諾了會補上源碼的分析，現在此補上詳細的...


之前在[譯]更快的方式實現PHP數組去重這篇文章里討論了使用array_flip後再調用array_keys函數替換直接調用array_unique函數實現數組去重性能較好。由於原文沒有給出源碼分析和測試的結果，導致給讀者造成迷惑，在此說聲抱歉。為瞭解開讀者的疑惑，筆者承諾了會補上源碼的分析，於是花了一些時間去研究PHP的源碼，現在此補上詳細的說明。

 

性能分析 

從運行性能上分析，看看下麵的測試代碼：

$test=array();
for($run=0; $run<10000; $run++)
$test[]=rand(0,100);

$time=microtime(true);

$out = array_unique($test);

$time=microtime(true)-$time;
echo 'Array Unique: '.$time."\n";

$time=microtime(true);

$out=array_keys(array_flip($test));

$time=microtime(true)-$time;
echo 'Keys Flip: '.$time."\n";

$time=microtime(true);

$out=array_flip(array_flip($test));

$time=microtime(true)-$time;
echo 'Flip Flip: '.$time."\n";

 

運行結果如下：

從上圖可以看到，使用array_unique函數需要0.069s;使用array_flip後再使用array_keys函數需要0.00152s;使用兩次array_flip函數需要0.00146s。

測試結果表明，使用array_flip後再調用array_keys函數比array_unique函數快。那麼，具體原因是什麼呢？讓我們看看在PHP底層，這兩個函數是怎麼實現的。

 

源碼分析

 1 /* {{{ proto array array_keys(array input [, mixed search_value[, bool strict]])
 2    Return just the keys from the input array, optionally only for the specified search_value */
 3 PHP_FUNCTION(array_keys)
 4 {
 5     //變數定義
 6     zval *input,                /* Input array */
 7          *search_value = NULL,    /* Value to search for */
 8          **entry,                /* An entry in the input array */
 9            res,                    /* Result of comparison */
10           *new_val;                /* New value */
11     int    add_key;                /* Flag to indicate whether a key should be added */
12     char  *string_key;            /* String key */
13     uint   string_key_len;
14     ulong  num_key;                /* Numeric key */
15     zend_bool strict = 0;        /* do strict comparison */
16     HashPosition pos;
17     int (*is_equal_func)(zval *, zval *, zval * TSRMLS_DC) = is_equal_function;
18 
19     //程式解析參數
20     if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "a|zb", &input, &search_value, &strict) == FAILURE) {
21         return;
22     }
23 
24     // 如果strict是true，則設置is_equal_func為is_identical_function，即全等比較
25     if (strict) {
26         is_equal_func = is_identical_function;
27     }
28 
29     /* 根據search_vale初始化返回的數組大小 */
30     if (search_value != NULL) {
31         array_init(return_value);
32     } else {
33         array_init_size(return_value, zend_hash_num_elements(Z_ARRVAL_P(input)));
34     }
35     add_key = 1;
36 
37     /* 遍歷輸入的數組參數，然後添加鍵值到返回的數組 */
38     zend_hash_internal_pointer_reset_ex(Z_ARRVAL_P(input), &pos);//重置指針
39     //迴圈遍曆數組
40     while (zend_hash_get_current_data_ex(Z_ARRVAL_P(input), (void **)&entry, &pos) == SUCCESS) {
41         // 如果search_value不為空
42         if (search_value != NULL) {
43             // 判斷search_value與當前的值是否相同，並將比較結果保存到add_key變數
44             is_equal_func(&res, search_value, *entry TSRMLS_CC);
45             add_key = zval_is_true(&res);
46         }
47 
48         if (add_key) {
49             // 創建一個zval結構體
50             MAKE_STD_ZVAL(new_val);
51 
52             // 根據鍵值是字元串還是整型數字將值插入到return_value中
53             switch (zend_hash_get_current_key_ex(Z_ARRVAL_P(input), &string_key, &string_key_len, &num_key, 1, &pos)) {
54                 case HASH_KEY_IS_STRING:
55                     ZVAL_STRINGL(new_val, string_key, string_key_len - 1, 0);
56                     // 此函數負責將值插入到return_value中，如果鍵值已存在，則使用新值更新對應的值，否則直接插入
57                     zend_hash_next_index_insert(Z_ARRVAL_P(return_value), &new_val, sizeof(zval *), NULL);
58                     break;
59 
60                 case HASH_KEY_IS_LONG:
61                     Z_TYPE_P(new_val) = IS_LONG;
62                     Z_LVAL_P(new_val) = num_key;
63                     zend_hash_next_index_insert(Z_ARRVAL_P(return_value), &new_val, sizeof(zval *), NULL);
64                     break;
65             }
66         }
67 
68         // 移動到下一個
69         zend_hash_move_forward_ex(Z_ARRVAL_P(input), &pos);
70     }
71 }
72 /* }}} */

以上是array_keys函數底層的源碼。為方便理解，筆者添加了一些中文註釋。如果需要查看原始代碼，可以點擊查看。這個函數的功能就是新建一個臨時數組，然後將鍵值對重新複製到新的數組，如果複製過程中有重覆的鍵值出現，那麼就用新的值替換。這個函數的主要步驟是地57和63行調用的zend_hash_next_index_insert函數。該函數將元素插入到數組中，如果出現重覆的值，則使用新的值更新原鍵值指向的值，否則直接插入，時間複雜度是O(n)。

 

 1 /* {{{ proto array array_flip(array input)
 2    Return array with key <-> value flipped */
 3 PHP_FUNCTION(array_flip)
 4 {
 5     // 定義變數
 6     zval *array, **entry, *data;
 7     char *string_key;
 8     uint str_key_len;
 9     ulong num_key;
10     HashPosition pos;
11 
12     // 解析數組參數
13     if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "a", &array) == FAILURE) {
14         return;
15     }
16 
17     // 初始化返回數組
18     array_init_size(return_value, zend_hash_num_elements(Z_ARRVAL_P(array)));
19 
20     // 重置指針
21     zend_hash_internal_pointer_reset_ex(Z_ARRVAL_P(array), &pos);
22     // 遍歷每個元素，並執行鍵<->值交換操作
23     while (zend_hash_get_current_data_ex(Z_ARRVAL_P(array), (void **)&entry, &pos) == SUCCESS) {
24         // 初始化一個結構體
25         MAKE_STD_ZVAL(data);
26         // 將原數組的值賦值為新數組的鍵
27         switch (zend_hash_get_current_key_ex(Z_ARRVAL_P(array), &string_key, &str_key_len, &num_key, 1, &pos)) {
28             case HASH_KEY_IS_STRING:
29                 ZVAL_STRINGL(data, string_key, str_key_len - 1, 0);
30                 break;
31             case HASH_KEY_IS_LONG:
32                 Z_TYPE_P(data) = IS_LONG;
33                 Z_LVAL_P(data) = num_key;
34                 break;
35         }
36 
37         // 將原數組的鍵賦值為新數組的值，如果有重覆的，則使用新值覆蓋舊值
38         if (Z_TYPE_PP(entry) == IS_LONG) {
39             zend_hash_index_update(Z_ARRVAL_P(return_value), Z_LVAL_PP(entry), &data, sizeof(data), NULL);
40         } else if (Z_TYPE_PP(entry) == IS_STRING) {
41             zend_symtable_update(Z_ARRVAL_P(return_value), Z_STRVAL_PP(entry), Z_STRLEN_PP(entry) + 1, &data, sizeof(data), NULL);
42         } else {
43             zval_ptr_dtor(&data); /* will free also zval structure */
44             php_error_docref(NULL TSRMLS_CC, E_WARNING, "Can only flip STRING and INTEGER values!");
45         }
46 
47         // 下一個
48         zend_hash_move_forward_ex(Z_ARRVAL_P(array), &pos);
49     }
50 }
51 /* }}} */

 

上面就是是array_flip函數的源碼。點擊鏈接查看原始代碼。這個函數主要的做的事情就是創建一個新的數組，遍歷原數組。在26行開始將原數組的值賦值為新數組的鍵，然後在37行開始將原數組的鍵賦值為新數組的值，如果有重覆的，則使用新值覆蓋舊值。整個函數的時間複雜度也是O(n)。因此，使用了array_flip之後再使用array_keys的時間複雜度是O(n)。

 

接下來，我們看看array_unique函數的源碼。點擊鏈接查看原始代碼。

 1 /* {{{ proto array array_unique(array input [, int sort_flags])
 2    Removes duplicate values from array */
 3 PHP_FUNCTION(array_unique)
 4 {
 5     // 定義變數
 6     zval *array, *tmp;
 7     Bucket *p;
 8     struct bucketindex {
 9         Bucket *b;
10         unsigned int i;
11     };
12     struct bucketindex *arTmp, *cmpdata, *lastkept;
13     unsigned int i;
14     long sort_type = PHP_SORT_STRING;
15 
16     // 解析參數
17     if (zend_parse_parameters(ZEND_NUM_ARGS() TSRMLS_CC, "a|l", &array, &sort_type) == FAILURE) {
18         return;
19     }
20 
21     // 設置比較函數
22     php_set_compare_func(sort_type TSRMLS_CC);
23 
24     // 初始化返回數組
25     array_init_size(return_value, zend_hash_num_elements(Z_ARRVAL_P(array)));
26     // 將值拷貝到新數組
27     zend_hash_copy(Z_ARRVAL_P(return_value), Z_ARRVAL_P(array), (copy_ctor_func_t) zval_add_ref, (void *)&tmp, sizeof(zval*));
28 
29     if (Z_ARRVAL_P(array)->nNumOfElements <= 1) {    /* 什麼都不做 */
30         return;
31     }
32 
33     /* 根據target_hash buckets的指針創建數組併排序 */
34     arTmp = (struct bucketindex *) pemalloc((Z_ARRVAL_P(array)->nNumOfElements + 1) * sizeof(struct bucketindex), Z_ARRVAL_P(array)->persistent);
35     if (!arTmp) {
36         zval_dtor(return_value);
37         RETURN_FALSE;
38     }
39     for (i = 0, p = Z_ARRVAL_P(array)->pListHead; p; i++, p = p->pListNext) {
40         arTmp[i].b = p;
41         arTmp[i].i = i;
42     }
43     arTmp[i].b = NULL;
44     // 排序
45     zend_qsort((void *) arTmp, i, sizeof(struct bucketindex), php_array_data_compare TSRMLS_CC);
46 
47     /* 遍歷排序好的數組，然後刪除重覆的元素 */
48     lastkept = arTmp;
49     for (cmpdata = arTmp + 1; cmpdata->b; cmpdata++) {
50         if (php_array_data_compare(lastkept, cmpdata TSRMLS_CC)) {
51             lastkept = cmpdata;
52         } else {
53             if (lastkept->i > cmpdata->i) {
54                 p = lastkept->b;
55                 lastkept = cmpdata;
56             } else {
57                 p = cmpdata->b;
58             }
59             if (p->nKeyLength == 0) {
60                 zend_hash_index_del(Z_ARRVAL_P(return_value), p->h);
61             } else {
62                 if (Z_ARRVAL_P(return_value) == &EG(symbol_table)) {
63                     zend_delete_global_variable(p->arKey, p->nKeyLength - 1 TSRMLS_CC);
64                 } else {
65                     zend_hash_quick_del(Z_ARRVAL_P(return_value), p->arKey, p->nKeyLength, p->h);
66                 }
67             }
68         }
69     }
70     pefree(arTmp, Z_ARRVAL_P(array)->persistent);
71 }
72 /* }}} */

可以看到，這個函數初始化一個新的數組，然後將值拷貝到新數組，然後在45行調用排序函數對數組進行排序，排序的演算法是zend引擎的塊樹排序演算法。接著遍歷排序好的數組，刪除重覆的元素。整個函數開銷最大的地方就在調用排序函數上，而快排的時間複雜度是O(n*logn)，因此，該函數的時間複雜度是O(n*logn)。

結論

因為array_unique底層調用了快排演算法，加大了函數運行的時間開銷，導致整個函數的運行較慢。這就是為什麼array_keys比array_unique函數更快的原因。

 

原創文章，文筆有限，才疏學淺，文中若有不正之處，萬望告知。

如果本文對你有幫助，請點下推薦，寫文章不容易。


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • 二進位文本轉換幫助類
    http://www.codeproject.com/Tips/1080310/Csharp-Binary-Literal-Helper-Class C#目前不支持二進位數據直接賦值 int bits=0b00010101; 如果可以直接賦值，那麼在按位運算的時候將會帶來很大的方便，所以你可以通過這
  • C#編程打字指法練習
    很驚訝昨晚寫的第一篇學習筆記竟然有個評論了，只是今天還是對基礎知識提不起精神，還是先看那三本書瞭解一下程式開發的大概流程吧。 今天不知道怎麼閑逛就找到了這個網站，說是專門用於編程練習的，用google賬戶就能夠登錄，簡單整理了一下免費版可以直接使用的！如下表： 編程語言 開源項目 代碼行數 源程式
  • session和cookie的區別和聯繫！
    具體來說cookie機制採用的是在客戶端保持狀態的方案，而session機制採用的是在伺服器端保持狀態的方案。同時我們也看到，由於採用伺服器端保持狀態的方案在客戶端也需要保存一個標識，所以session機制可能需要藉助於cookie機制來達到保存標識的目的，但實際上它還有其他選擇。 cookie機制
  • c#編寫 windows 服務
    用c#編寫window服務常見的幾個事件 protected int i = 0; public Service1() { InitializeComponent(); } //啟動服務時執行 protected override void OnStart(string[] args) { //使時
  • 年終總結和職業規劃
    本人文筆不好，大致說說自己的困惑 隨著2016的到來，一年一度的職業規劃即將而來，因為本人一直從事著C#工作，也接觸了一些前端知識。 但是由於微軟老大哥，技術更新太快，學習成本太高，但是眾所周知C#工資並不高，畢竟人活著要吃一口飯， ，因此產生換個技術的想法。 但是換什麼技術啊？真是糾結啊 比如手機
  • JDK安裝與環境變數配置
    安裝JDK 選擇安裝目錄 安裝過程中會出現兩次 安裝提示 。第一次是安裝 jdk ，第二次是安裝 jre 。建議兩個都安裝在同一個java文件夾中的不同文件夾中。（不能都安裝在java文件夾的根目錄下，jdk和jre安裝在同一文件夾會出錯） 如下圖所示 1：安裝jdk 隨意選擇目錄 只需把預設安裝目...
  • php字元串處理之全形半形轉換
    半形全形的處理是字元串處理的常見問題，本文嘗試為大家提供一個思路。 一、概念 全形字元unicode編碼從65281~65374 （十六進位 0xFF01 ~ 0xFF5E）半形字元unicode編碼從33~126 （十六進位 0x21~ 0x7E）空格比較特殊,全形為 12288（0x3000）,
  • 指針
    指針： 一、聲明 一個 int 類型的 指針 然後 賦值。 二、聲明中直接賦值。 三、空指針 四、懸空指針 野指針： 懸空指針本質上就是 聲明瞭一個 指針類型的變數【如：int *p】，並且沒有賦值。在沒有賦初值的情況下，利用這個指針進行修改【如：*p=100】。就相當於這個指針指向了一個未知的地址
一周排行
    -Advertisement-
    Play Games
  • 移動開發（一）：使用.NET MAUI開發第一個安卓APP
    移動開發（一）：使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說，近來想嘗試開發一款安卓APP，考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP，畢竟是使用Visual Studio開發工具，使用起來也比較的順手，結合微軟官方的教程進行了安卓 ...
  • wpf ToggleButton選中效果和一個登錄界面
    前言 QuestPDF 是一個開源 .NET 庫，用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫，它徹底改變了我們生成 PDF 文檔的方 ...
  • 彈幕樹洞項目功能新增篇
    項目地址 項目後端地址： https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址： ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址： http://tree ...
  • 第27篇 sqlserver2022詳細安裝步驟
    話不多說，直接開乾 一.下載 1.官方鏈接下載： https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe，運行開始下載SQL server； 二. ...
  • .NET 開源高性能 MQTT 類庫
    前言 隨著物聯網（IoT）技術的迅猛發展，MQTT（消息隊列遙測傳輸）協議憑藉其輕量級和高效性，已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫，為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog文檔翻譯系列（六） - 可用的接收器、增強器、格式化輸出
    Serilog支持多種接收器用於日誌存儲，增強器用於添加屬性，LogContext管理動態屬性，支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項，適用於不同需求。 ...
  • 警惕 Visual Studio 屬性求值副作用導致邏輯不符合預期
    目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據，爬取信息時需要模擬瀏覽器行為，否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下： 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • [使用目前最新版]HybridCLR6.9.0+YooAsset2.2.4實現純C# Unity熱更新方案 (一)
    1.前言 什麼是熱更新 游戲或者軟體更新時，無需重新下載客戶端進行安裝，而是在應用程式啟動的情況下，在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR，Xlua，ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles，Addressable， ...
  • 在 ASP.NET Core Web API 中使用操作篩選器統一處理通用操作
    本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺，其實像阿裡雲，騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後，它會送 ...
  • 第28篇 如何.net中實現高效可靠數據同步api
    通過以下方式可以高效，並保證數據同步的可靠性 1.API設計 使用RESTful設計，確保API端點明確，並使用適當的HTTP方法（如POST用於創建，PUT用於更新）。 設計清晰的請求和響應模型，以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證，確保接收到的數據符合預期格 ...
所有分類