Javascript Memoizer浅析

以下来自John Hann的实现，这段代码引起了我的注意，它用巧妙的方法把方法调用的结果缓存起来了。

代码解析：

// memoize: 使用memoization来缓存的通用方法
// func: 要被缓存的方法
// context: 方法执行上下文
// Note: 方法必须是外部可访问的，参数是可字符序列化的
function memoize (func, context) {
    function memoizeArg (argPos) { //参数表示原始方法中参数的位置
        var cache = {}; //这个缓存的key是参数，value是执行结果
        return function () { //返回一个函数闭包
            if (argPos == 0) { //第一个参数，如果参数在缓存的key中不存在，就执行原始函数并且存储执行结果
                if (!(arguments[argPos] in cache)) {
                    cache[arguments[argPos]] = func.apply(context, arguments);
                }
                return cache[arguments[argPos]];
            }
            else { //不是第一个参数，如果参数在缓存的key中不存在，就递归执行memoizeArg方法，原始方法中参数的位置-1
                if (!(arguments[argPos] in cache)) {
                    cache[arguments[argPos]] = memoizeArg(argPos - 1);
                }
                return cache[arguments[argPos]].apply(this, arguments);
            }
        }
    }
    var arity = func.arity || func.length; //func参数的长度，javascript中用length属性，其它的用arity属性
    return memoizeArg(arity - 1); //从最后一个参数开始递归
}

使用：

var mem = memoize(func, this);  
alert(mem.call(this,1,1,2));  
alert(mem.call(this,2,1,2));  
alert(mem.call(this,3,1,3));  
alert(mem.call(this,2,2,4));

看似简单，再一看好像也并不易懂，可是如果能对闭包的使用比较熟悉的话，就很好理解了。经过上面几次mem.call的调用之后，形成的是一棵树，每个节点都是一个闭包，每个闭包内有一个cache，每个cache的key都是树分支：

（注：上面图中的“结果”也是一个闭包，只不过argPos为0而已）

不过方法有诸多，比如limboy说：

function Memoize(fn){
    var cache = {};
    return function(){
        var key = [];
        for( var i=0, l = arguments.length; i < l; i++ )
            key.push(arguments[i]);
        if( !(key in cache) )
            cache[key] = fn.apply(this, arguments);
        return cache[key];
    };
}

实现更简易，不过把参数push到一个数组内，再把数组当key，而key是只支持字符串型的，因此这点在使用上需要注意（比如一个对象tostring之后可能只看到”[object Object]“了），它的功能比上面那个要弱一些。

改进这一点也不难，把参数另立一个对象即可，而原cache对象和这个另立的参数对象使用一个ID关联起来：

function Memoize(fn){
    var cache = {}, args = {};
    return function(){
        for( var i=0, key = args.length; i < key; i++ ) {
            if( equal( args[i], arguments ) )
                return cache[i];
        }
        args[key] = arguments;
        cache[key] = fn.apply(this, arguments);
        return cache[key];
    };
}

还有一些其他的办法，都可以写成简洁的函数式方法。