在上次的blog里提了这么一句:“其实要多态,还不如在对象里面保存一个变量,变量里面是一段程序,运行到那就把这段程序拿出来eval一下,不比创建几个子类强么”。有读者问这个是什么意思,要我给个例子。其实这个很简单,只要想清楚所有的反动派都是纸老虎……嗯,我是说,所有的操作都是lambda。然后把操作当数据就好了。当然,建立在一个基础上:你使用的语言支持方便地把lambda作为一等公民。


class Host

    def state= (state)

       @state = state

    end

    def do_something

       @state(self)

    end

end


host = Host.new

host.state = {|host| p host }

host.do_something


譬如说这是一个用Ruby实现的State模式(或者说是Strategy模式也好,这俩本来就不是很有区别)。Host在@state里面保存一个lambda(Ruby的黑话好像是叫closure),回头要做什么操作就拿这个出来用。State/Strategy模式用C#/Java的实现,大家都很熟悉,对比一下就明白我的意思了。


为上次的“C#长得太丑了”一文道个歉,没想到随便开个玩笑也能引起语言大战,实在抱歉,各位读者就当我被班加罗尔的太阳晒昏了头打胡乱说罢。由此可以看到,中国程序员(或者说,部分中国程序员)确实觉悟甚高,阶级斗争这根弦绷得很紧……喜欢一种语言固然是没啥好说的,要是真对这个语言那么有信心,犯得着听见三句抱怨就跳起八丈高么?


(补充:上面例子中的lambda还可以写得更漂亮一点,do_something可以写成这样

    def do_something

       @state

    end

而这个传进去的lambda就可以写成

host.state = { p self }

这个事情就有点奇妙:lambda的context是在它定义的地方,而不是它调用的地方,也就是说这个lambda的self其实并不是host。不过有个tricky的办法:用caller可以找到这个lambda的调用者,然后把这个caller给mixin成当前context的self,调用完以后再mixin回来……感谢Obie的灵感和徐八x的实现。)