Zend_Cache_Frontend_Pageで、ほんの少しだけ無駄を省く

Zend_Cacheに限らず、キャッシュの管理では、IDの作成と、タグ付け、効率的なタイミングが必要になりますが、Zend_Cache_Frontend_Pageというまるっとページをキャッシュするページキャッシュは使えればかなり効率がよいもののひとつです。
1点だけ、GETなどをページの識別に利用する場合のID育成部分で、GETの順番が変わっただけでIDが変わってしまうので少し無駄があります。
Zend_Cacheに限りませんが、パラメータを元にCacheIDを育成するときはソートしましょう。(パラメータ順がコンテンツに影響しないならば)

Index: Page.php
===================================================================
--- Page.php	(revision 19290)
+++ Page.php	(working copy)
@@ -389,6 +389,7 @@
         }
         if ($bool1) {
             if ($bool2) {
+                ksort($var);
                 return serialize($var);
             }
             return '';