专栏名称: 码农翻身

工作15年的前IBM架构师分享好玩有趣的编程知识和职场的经验教训，不容错过。

小张的Duck Typing

码农翻身 · 公众号 · 程序员 · 2017-01-16 20:02

正文

前言：本文是《Java帝国之拨云见日识回调》的续集，想了解背景的同学不妨先看看那篇文章。

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方法。”

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

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

（完）

码农翻身相关历史文章推荐：

操作系统

Java EE

Spring本质系列(1) -- 依赖注入

Spring本质系列(2) -- AOP

Http 历险记（上）

Http 历险记（下）—Struts的秘密

计算机网络

数据库

你看到的只是冰山一角，更多精彩文章，尽在“码农翻身” 微信公众号，回复消息"m"或"目录" 查看更多文章

有心得想和大家分享？欢迎投稿！我的联系方式：微信：liuxinlehan QQ: 3340792577

公众号：码农翻身

“码农翻身”公众号由工作15年的前IBM架构师创建，分享编程和职场的经验教训。