“貨比三家”
用個簡單的例子開始,有下面個數組:
- $nums = array(10, 20, 30, 40);
需要找出數組中大於15的項。那麼,不考慮閉包的情況下,我們或許會這樣寫:
- $res = array();foreach ($nums as $n)
- {
- if ($n > 15)
- {
- $res[] = $n;
- }}
如果語言本身有閉包支持的,那麼或許會這樣寫(Groovy 語言)
- def res = nums.findAll { it > 15 }
或者使用Scala語言:
- val res = nums filter (_ > 15)
譯注:Javascript 1.6 的話會是如下:
- var res = nums.filter(function(c){return c > 15});
因為循環操作已被抽象起來,所以可以看到 Groovy 、Scala (以及 Javascript) 都很漂亮得用一行就可以搞定。當然,如果使用 PHP5.3 的閉包,也可以做到
- $res = array_filter($nums, function($v) { return $v > 15; });
PHP在這方面使用了比Scala更多的字符,但對比先前的例子,它更簡短並且能更好得閱讀。
順便說下,上面的PHP代碼實際上是使用了Lambda解析式,並不是個真正的閉包,這個並不是我們目前關注的重點。目前看來感覺都還不錯,那麼我們再的題目增加點難度:找到所有大於15的項, 然後乘以2再加上作用域中的的某個變量值以後再返回。
Groovy的實現:
- def x = 1def res = nums .findAll { it > 15 } .collect { it * 2 + x }
Scala的實現:
- val x = 1val res = nums filter (_ > 15) map (_ * 2 + x)
Javascript 的實現:
- var i = 1;var res = nums.filter(function(c)
- {return c > 15}).map(function(c){return c * 2 + i});
PHP的實現:
- $x = 1;$res = array_map(
- function($v) use ($x) { return $v * 2 + $x;
- }, array_filter( $nums, function($v) { return $v > 15; }
- ));
光從代碼量方面,現在看起來PHP與其他語言有出入了。先拋開代碼字面上本身的審美不談,上面的PHP代碼還有個額外的問題。例如,如果需要使用數組的鍵而非值作比較,怎麼辦?是的,上面的代碼就辦不到了。同時,從語法角度上說,上面的代碼非常難以閱讀。返璞歸真,這時還是得返回老土的思路去解決問題:
- $x = 1;$res = array();foreach ($nums as $n)
- { if ($n > 15) { $res[] = $n * 2 + $x; }}
這樣看起來又很清楚了。但這個時候你或許又會迷惑了:“那還瞎折騰啥,這不就是個數組操作嗎?”。是的,好戲還在後頭。這個時候該讓 PHP 的某些高級特性出場,來搞定這看似有自殘傾向 的“無聊問題”。
ArrayObject – 對數組的封裝
PHP有個稱作SPL的標准庫,其中包含了個叫做ArrayObject的類,它能提供“像數組一 樣操作類”的功能,例如
- $res = new ArrayObject(array(10, 20, 30, 40));foreach ($res as $v) {
- echo "$vn";}
ArrayObject是個內置的類,所以你可以像其他類類操作一樣封裝它。
Arr - 包上糖衣
既然我們已經有了ArrayObject以及閉包這些特性,我們就可以開始嘗試封裝它:
- class Arr extends ArrayObject
- {
- static function make($array)
- {
- return new self($array);
- } function map($func)
- {
- $res = new self();
- foreach ($this as $k => $v)
- {
- $res[$k] = $func($k, $v);
- }
- return $res;
- }
- function filter($func)
- {
- $res = new self();
- foreach ($this as $k => $v)
- {
- if ($func($k, $v))
- {
- $res[$k] = $v;
- }
- }
- return $res;
- }
- }
好了,萬事俱備。下面重寫的PHP代碼就可以解決上面提到的問題,並且看起來語法上“差 不多”了:
- $res = Arr::make($nums)
- ->filter(function($k, $v) { return $v > 15; })
- ->map(function($k, $v) { return $v * 2; });
上面的代碼與傳統方式有何不同呢?首先,它們可以遞歸並形成作用鏈式的調用,因此可以 添加更多的類似操作。同時,可以通過回調的兩個參數分別操作數組的鍵以及值其項 - $k 對應鍵以及 $v 對應值 。這使得我們可以在閉包中使用鍵值,這在傳統的PHP函數 array_fliter中是無法實現的。
另外個帶來的額外好處就是更加一致API調用。使用傳統的 PHP 函數操作,它們有可能第一個參數是個閉包,或者是個數組,抑或是多個數組…總之誰知道呢?這裡是 Arr 類的完整源代碼,還包含了其他有用的函數(類似 reduce 以及 walk),其實它 們的實現其實方式和代碼類似。
博弈
這個問題其實很難回答 - 這需要根據代碼的上下文以及程序員自身等眾多因素決定。其實 ,當我第一眼看見PHP的閉包實現時,我感覺似乎回到了那很久以前的Java時期,當時 我在開始使用匿名內置類(anonymous inner classes)來實現閉包。當然,這雖然可以做到, 但看起來實在是些畫蛇添足。PHP 閉包本身是沒錯,只是它的實現以及語法讓我感到非常的困惑。
其他具有閉包特性的語言,它們可以非常方便的調用閉包並同時具有優雅的語法。在上面的例子中,在 Scala中使用傳統的循環也可以工作,但你會這樣寫嗎?而從另個方面,那麼有人 說上面這個題目使用 PHP 的閉包也可以實現,但一般情況下你會這樣寫嗎?
可以確定,PHP 閉包在些情況下可以成為銳利的軍刀(例如延時執行以及資源調用方面), 但在傳統的迭代以及數組操作面前就顯得有些為難。不要氣餒不管怎麼樣, 返璞歸真編寫具有兼容性的、清爽的代碼以及 API 是最重要的。
結束語
像所有後來加上的語法特性一樣(記得當年Java的Generics特性不?以及前幾年的PHP OOP特性),它們都需要時間磨合以及最終穩定下來。隨著PHP5.3甚至將來的PHP 6逐漸普及,越來越多的技巧和特性相信在不遠的將來逐漸的被聰明的程序員挖掘出來。回到最初文章開頭那個題目,對比:
- $res = Arr::make($nums)
- ->filter(function($k, $v)
- { return $v > 15; })
- ->map(function($k, $v)
- { return $v * 2; });以及
- val res = nums filter (_ > 15) map (_ * 2)
兩者之間的區別。歸根結底它們僅是語法而已,本質上都是殊途同歸解決了同個問題。程序語言的應用特性不同,自然孰優孰劣也就無從比較。最後,這裡有此篇文章的代碼示例, 相信可以找到更多如何使用PHP進行函數式迭代(當然不僅僅是這些)的心得。