Google发布了一个单实例模式检测工具,通过执行字节代码检查以定位和报告字节代码中存在的单实例对象。尽管单实例模式是一种常用的软件模式,但许多人对其存有争议,需要小心地使用:这些争论可以分为支持和反对两个方面。如一个项目的 wiki 上所写:
单实例模式的问题在于,它的状态对于程序来讲是全局性的,允许任何人随时存取而忽略了范围。更糟糕的是,单实例模式是现今被过分使用的一种设计模式,许多人在完全不必要的情况下就在实例中使用了这种可能带来不利的全局状态。
程序使用全局状态时是很难进行测试的……当一个类使用单实例模式时(我是在谈论类的单实例模式,即通过强制使用静态的 getInstance() 方法得到单实例的类),单实例模式的使用者和此单实例的类会无可避免地耦合在一起。
依赖于静态实例意味着这些方法的声明无法显示出它们的依赖关系,因为这些方法会让单一模式的使用难上加难,也就是说用户必须了解其内在的工作代码才能正确地使用它,这让使用和测试它变得很困难。
当测试人员测试一些方法时,如果它们依赖于单实例的类,那么它们的依赖关系就变得很不明确,测试人员就可能在不知情的情况下写出由于修改共享资源而造成相互依赖的两个测试类。
Google 单实例模式检查工具可以检查出那些强制使用自身的单实例的类(单实例, singleton ),或是帮助另外一个类强制实现其单实例化的类(帮助者单实例,或称之为“ hingleton ”),或是通过一个不带参数的静态方法返回其状态(方法单实例,或称之为“ mingleton ”)的,或是有一个公开的静态字段(字段单实例,或称之为“ fingletone ”)的类,以及那些依赖于以上任一种单实例类的代码。你可以隐藏掉那些你不关心的行为。
这个工具目前还处在早期阶段,有如下一些限制:
- 在没有解开多 JAR 包以前,它无法读取字节码。
- 它需要一个外部工具显示图形结果。
- 它并不能发现所有的单实例对象,尤其是那些存储在 final 型字段和封装于内部类中的单实例对象。
继续关注 InfoQ,将会得到更多关于代码分析、构件和工具和 Google 的信息。查看英文原文: Google Singleton Detector
评论