静态工厂方法VS构造器

阅读更多

原文链接 作者：Jose Luis 译者：yxiaomou

我之前已经介绍过关于构建者模式 (Builder Pattern)的一些内容，它是一种很有用的模式用于实例化包含几个属性（可选的）的类，带来的好处是更容易读、写及维护客户端代码。今天，我将继续介绍对象创建技术。
在我看来，下面这个类是非常有用的例子。有一个RandomIntGenerator 类，产生随机的int类型的整数。如下所示：

1 public class RandomIntGenerator {
2 private final int min;
3 private final int max;
4
5 public int next() {...}
6 }

这个生成器接收最大值和最小值两个参数并且生成介于两者之间的随机数。注意到两个属性min和max被final修饰，所以必须初始化它们。可以在定义它们时就初始化或者通过构造器来初始化。通过构造器初始如下：

1 public RandomIntGenerator(int min, int max) {
2     this.min = min;
3     this.max = max;
4 }

现在，我们要提供给这样一个功能，客户端仅设置一个最小值然后产生一个介于此值和Integer.MAX_VALUE之间的整数。所以我们添加了第二个构造器：

1 public RandomIntGenerator(int min) {
2     this.min = min;
3     this.max = Integer.MAX_VALUE;
4 }

到目前为止，一切正常。但是，我们同样要提供一个构造器设置一个最大值，然后产生一个介于Integer.MIN_VALUE和最大值的整数。我们添加第三个构造器如下：

1 public RandomIntGenerator(int max) {
2     this.min = Integer.MIN_VALUE;
3     this.max = max;
4 }

如果你这样做了，将会出现编译错误：Duplicate method RandomIntGenerator(int) in type RandomIntGenerator。那里出错了？毫无疑问，问题在于构造器没有名字。因此，一个类仅有一个特定方法签名的构造器。同样的，你不能定义方法签名相同的（返回值、名称、参数类型及个数均相同）两个方法。这就是为什么当我们试着添加构造器RandomIntGenerator(int max) 时，会得到上述的编译错误，原因是我们已经有一个构造器 RandomIntGenerator(int min)。

像这样的情况我们该如何处理呢？幸好有其他方式可以使用：静态工厂方法，通过使用简单的公共静态方法返回一个类的实例。你可能在无意识中已经使用过这种技术。你有没有写过Boolean.valueOf?，就像下面这样：

1 public static Boolean valueOf(boolean b) {
2     return (b ? TRUE : FALSE);
3 }

将静态工厂应用到RandomIntGenerator类，得到

01 public class RandomIntGenerator {
02     private final int min;
03     private final int max;
04
05     private RandomIntGenerator(int min, int max) {
06         this.min = min;
07         this.max = max;
08     }
09
10     public static RandomIntGenerator between(int max, int min) {
11         return new RandomIntGenerator(min, max);
12     }
13
14     public static RandomIntGenerator biggerThan(int min) {
15         return new RandomIntGenerator(min, Integer.MAX_VALUE);
16     }
17
18     public static RandomIntGenerator smallerThan(int max) {
19         return new RandomIntGenerator(Integer.MIN_VALUE, max);
20     }
21
22     public int next() {...}
23 }

注意到构造器被private修饰确保类仅能通过静态工厂方法来初始化。并且当你使用RandomIntGenerator.between(10,20)而不是new RandomIntGenerator(10,20)来产生整数时你的意图被清晰的表达了。值得注意的是，这个技术和 Gang of Four的工厂设计模式不同。此外，任何类可以提供静态工厂方法替代构造器。那么此种技术的优点和缺点是什么呢？我们已经提到过静态工厂方法的第一个优点：静态工厂方法拥有名字。这有两个直接的好处:
1.我们可以给静态方法提供一个有意义的名字
2.我们可以给静态方法提供参数类型、参数个数相同的几个构造器，在传统构造器中是不能这样做的
另一个优点是:不像构造器，静态工厂方法不需要每次在调用时创建一个新的对象。当使用不可变类（immutable class）产生常量对象用于常用值且避免了不必要的重复对象是非常有用的。上面的列子Boolean.valueOf完美的表明了这一点。注意到这个静态方法返回均为不可变Boolean对象TRUE或者FALSE。
第三个优点是静态工厂方法的返回对象的类型可以是返回类型的任意子类型。这使你随意更改返回类型而不用担心影响到客户端代码成为了可能。此外，你可以隐藏实现类并且构建基于接口的API（Interface-based API）。通过一个例子来说明。
记得刚开始的RandomIntGenerator类吗？我们让他复杂一点。假设我们现在想提供不仅能产生整型，而且能产生其他数据类型如String, Double或者Long的随机生成器。这些生成器将有一个next()方法返回一个特定类型的随机对象，所以我们可以先定义一个接口如：

1 public interface RandomGenerator {
2     T next();
3 }

RandomIntGenerator 的第一个实现类如下：

01 class RandomIntGenerator implements RandomGenerator {
02     private final int min;
03     private final int max;
04
05     RandomIntGenerator(int min, int max) {
06         this.min = min;
07         this.max = max;
08     }
09
10     public Integer next() {...}
11 }

String类型的生成器如：

1 class RandomStringGenerator implements RandomGenerator {
2     private final String prefix;
3
4     RandomStringGenerator(String prefix) {
5         this.prefix = prefix;
6     }
7
8     public String next() {...}
9 }

注意到所有的类及类的构造器被定义为包私有范围（默认的可见范围）。这意味着除本包之外的客户端代码无法创建这些生成器的实例。那我们该怎么办？提示：它以“static”开始，以“methods”结束。考虑下面这个类：

01 public final class RandomGenerators {
02     // Suppresses default constructor, ensuring non-instantiability.
03     private RandomGenerators() {}
04
05     public static final RandomGenerator getIntGenerator() {
06         return new RandomIntGenerator(Integer.MIN_VALUE, Integer.MAX_VALUE);
07     }
08
09     public static final RandomGenerator getStringGenerator() {
10         return new RandomStringGenerator('');
11     }
12 }

RandomGenerators类成为了一个不可实例化的工具类，它与静态工厂方法没有什么区别。在同一个包中，不同的生成器类可以高效的获取和实例化这些类。但是，有意思的部分出现了。注意到这些方法仅返回RandomGenerator 接口，这才是客户端代码真正需要的。如果它获得一个RandomGenerator它就知道调用next()然后得到一个随机的整数。
假设下月我们编写了一个新的高效的整数生成器。只要让这个新类实现了RandomGenerator我们更换静态方法中的返回类型，那么所有客户端代码神奇的使用了新的实现。
像RandomGenerators 的类在JDK及第三方类库是相当常见的。你可以在Collections(java.util)及Lists, Sets or Maps(in Guava)看到许多例子。命名习惯是一样的：如果你有一个接口命名为Type，那么在不可实例化类中的静态方法名就是Types。
最后一个优点是静态工厂是实例化参数类很简洁。你曾经见过像这样的代码吗？

1 Map> map = new HashMap>();

你在代码的同一行重复相同的参数两次！如果右边的赋值可以从左边被推断出来，那将是很优雅的做法。使用静态方法就可以。下面的代码取自 Guava’s Maps 类：

1 public static  HashMap newHashMap() {
2   return new HashMap();
3 }

所以现在我们的客户端代码变成如下：

1 Map> map = Maps.newHashMap();

相当的优雅，对吗？这样的能力被成为类型推断（Type interface）。值得一提的是Java7通过使用方括号运算符（diamond operator）引入了类型推断。所以，如果你使用Java7你可以前面的例子如：

1 Map> map = new HashMap<>();

静态工厂的主要缺点是类中没有public或者protected的构造器无法被继承。但事实上，在某种情况下这个一件好事，因为鼓励开发者优先使用组合而不是继承（favor composition over inheritance）。
总的来讲，静态工厂方法提供了许多优点，当你在使用时唯一的不足之处实际上也不会是一个问题。所以，评估一下你的类是否更适合静态工厂，拒绝急切的自动提供公共的构造器。