西行漫记（18）：操作即是数据

在上次的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的实现。）