Question

FileIO 回顾

经过了一番折腾以后， FileIO 终于确定了接口回调的方式，作为最早的既得利益者，现在却一点好处都捞不到了， 他常常抱怨说：想去使用 FileIO, 还得先实现一个接口， 真是好累啊。

小张想：要是哪一天 FileIO 这家伙看到 IFileIOCallBack 这个名称不爽了， 改成别的名字， 我岂不还得跟着改？ 难道不能有别的办法 ？

经验丰富的村长说： “咱们 Java 帝国就是这样， 所有的变量必须声明为确定的类型才行， 所以 FileIO 就规定那个 callback 参数 的类型是 IFileIOCallBack 接口。 你要是把类型去掉了， 编译都过不去，更不用说运行了”

小张说：“所有的语言都这样吗？”

“静态类型的语言都是这样。”

“这么说，还有动态语言喽， 他们就不需要强制的声明类型了吧”

村长捻着胡子说：“我听说在遥远的 Ruby 王国，那里的变量不需要声明类型，你小子要是感兴趣的话可以去看看”

小张心想，在 Java 帝国里编程，条条框框特别多， 这里的人都很严肃，一本正经的做设计，写程序，调用接口，简直要闷死了， 趁着年轻， 出去闯闯也好。

Ruby 王国

来到 Ruby 王国，小张先联系了早几年来的老乡张大兵。

大兵说： “虽然这里也是面向对象， 但是和静态的 Java 语言差别较大， 你先适应一下， 有问题就找我吧。”

初来乍到，什么都是新鲜的，小张异常兴奋， 他学习了一阵 ，很快就仿照 Java 的风格写了一个 Ruby 版本的 FileIO：

看看， 函数的每个参数都没有类型，只是一个变量而已。

无论是自己调用，还是别人调用， 不需要实现任何接口！ 只要保证自己的类有个叫 on_result 的方法就可以了！

这就是老村长说的动态类型吧， 那个 FileIO 中的参数 callback 只有在运行时才会确定真正的类型。

对于 FileIO 来说， 不管你是人还是鬼， 只要具备 on_result 方法， 就可以被我调用。

这也是 Duck Typing 这个词语的由来 ： 当看到一只鸟走起来像鸭子、游泳起来像鸭子、叫起来也像鸭子，那么这只鸟就可以被称为鸭子。

换句话说： 我们并不关心对象是什么类型，到底是不是鸭子，只关心 行为 。

代码块

他很得意的去找老乡大兵，给他展示自己的成果。

没想到大兵给他浇了一盆冷水： “这种编程风格太 java 了 ， 在 Ruby 王国里用的并不多 。”

“在 Ruby 里边，我们更喜欢用简洁的 block ” 说着大兵对 FileIO 做了修改。

小张看了以后很吃惊： “那个 &callback 是什么鬼？ 怎么使用？”

大兵说： “其实很简单， 我给你展示个例子：”

小张很聪明， 立刻就明白了 ：“奥， 原来你那个 FileIO 中的&callback，表示的就是一个代码块啊，我在调用 save 方法时，不仅仅可以传递 file_name, str 这样的简单参数， 还可以传递一个用大括号括起来的代码块进去。”

“对啊， FileIO 在执行完保存以后， 就可以调用大家传递来的代码块， 用一个参数来告诉大家结果， 大家可以用 | result | 的方式来使用这个参数， 是不是很方便？”

小张说：“确实很爽， 我也觉得原来单独定义一个用于回调的 on_result 方法有点太重了， 只是没想到有这么简单的用法。 我还注意到你那个 FileIO 中有个 if block_given? 这是什么意思？”

“这也是 Ruby 的一些惯用法， 意思是说，如果用户传进来代码块了，我才会调用。 这样的话你在调用 save 的时候，完全可以不带代码块。 实际上你也可以这么写：”

小张说： “灵活，真是灵活，这 Ruby 考虑的真仔细，非常体贴啊”

回家

在 Ruby 王国呆久了， 小张慢慢的也发觉了诸多不爽之处， 比如这里没有像 Eclipse 这样强大的 IDE, 小张只能用普通的文本编辑器写程序。

最不爽的就是没有静态类型检查，这让小张很不习惯， 由于没有编译的阶段， 代码若有错误， 即便是语法错误， 也只能运行起来以后才知道。

比如说大兵写的那个 FileIO.save 方法, 如果不看源码或者文档， 根本就不知道这个方法还可以接受一个代码块当参数， 也不会知道那个 callback 会传出一个 result 参数给调用者。

这让小张再次念叨起 Java 帝国静态类型的好处， 那强大的 IDE、各种智能提示、自动补全，安全重构，实在是太爽了

小张向大兵诉苦， 大兵说： “有得必有失啊， 这确实是动态语言的一个缺点， 所以我们会写很多测试用例来保证代码的正确性啊， 既来之则安之吧”

小张又待了一段时间， 越来越想念家乡， 还是回家吧。

回到张家村， 小张去看望村长，说了自己的经历，尤其是 Duck Typing。

村长说： “你走之前我忘了告诉你了， 其实 Java 也可以通过反射的机制实现 Duck Typing 啊， 比如说最早那个 Java 例子， 不是要接受一个 IFileIOCallBack 的接口吗， 我们也可以这么写：”

小张一点就透： “嗯，传递进来一个 Object, 然后通过反射的方式调用该 Object 的 onResult 方法， 这样 FileIO 的调用方就不用强制实现某个接口了。 既然这么好， 大家为什么不用呢？”

村长说： “这和你放弃 Ruby 的原因是一样的， 这么做就丧失了静态检查了， 什么对象都可以传递进来，如果不看文档， 根本不知道这个 saveStrToFile 还需要调用方提供 onResult 方法。”

“怪不得咱们的应用层代码不用这种方式，而是强制实现接口呢” 小张感慨到。

“像这种根据名称来调用方法， 框架中用的很多， 是一个非常基础的技术，好好学学吧” 。