BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

试着发挥静态类型语言的最大功效

| 作者 Sadek Drobi 关注 0 他的粉丝 ,译者 王丽娟 关注 0 他的粉丝 发布于 2008年4月18日. 估计阅读时间: 3 分钟 | Google、Facebook、Pinterest、阿里、腾讯 等顶尖技术团队的上百个可供参考的架构实例!

Debasish Ghosh对一场动态VS.静态语言的讨论做出了回应,提出了用静态语言编程时动态类型检查的使用问题。他回忆了Greenspun第十编程法则:“任何使用静态类型检查语言编写的、足够复杂的程序都包含一个特定、非正式定义、容易引入Bug且缓慢的动态检查语言实现。”

Ghosh认为如今不一定要这样。他主张,Java泛型(比如Guice和EasyMock)能避免那些为了强制执行运行时类型检查而采取的权宜之计:

原先在有些情况下不得不模拟运行时类型检查,既缓慢又容易引入Bug,而利用Java泛型,这些框架就可以通过编译时类型检查来达到同样的效果。Guice和EasyMock是我用过的比较优秀的两个框架,它们利用泛型实现了突出的类型安全。[……]

看一下下面这段代码,它用Guice Binder把实现SpecialServiceImpl绑定到接口Service上。

public class MyModule implements Module {
    public void configure(Binder binder) {
            binder.bind(Service.class)
                         .to(SpecialServiceImpl.class)
                         .in(Scopes.SINGLETON);
    }
}

尽管“ServiceSpecialServiceImpl之间的“实现”关系看起来是在运行时完成的”,但所有的类型检查实际上是在编译时进行的:

快速看一下Guice的源码,可以看到BinderImpl.bind()方法返回BindingBuilderImpl……

public BindingBuilderImpl bind(Class clazz) {
    return bind(Key.get(clazz));

BindingBuilderImpl.to()方法则把Class作为输入——加在类型通配符上的限制使对参数的编译时类型检查实际上起到检查“实现”关系的作用……

public ScopedBindingBuilder to(Class extends T> implementation) {
    return to(TypeLiteral.get(implementation));
}

Debasish Ghosh提倡使用这种解决方法,而不是试图实现动态类型检查。这种方法不仅能避免Greenspun第十编程法则,还能充分利用静态类型,因为它能保证强大的类型安全:

在你用静态类型语言编程的时候,利用适当的语言特性让大部分的类型检查在编译时进行。这样,在你点击运行按钮之前,你就能确信你的代码符合类型系统的规则。你还能够对你的代码集进行更为简单的重构和更加清晰的改进。

查看英文原文:Try to get the best of your Statically Typed Language

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT