Effective Java 读书笔记——43：返回零长度的数组或者集合，而不是null

我们先看一个比较常见的例子：

	private final List<Cheese> cheesesInStock=new ArrayList<>();
	public Cheese[] getCheeses()
	{
		if(cheesesInStock.size()==0)
		{
			return null;
		}
		....
	}

把没有cheese可买当做一种特例，这是不合适的。如果这么做的话，调用该函数的客户端，必须要有额外的代码来处理null的返回值（对于一个null的值来说的话，什么都不能做了，如果是别的值，或许可以用通用的代码来解决问题），像下面这样：

Cheese[] cheeses=shop.getCheeses();
if(cheeses != null && Arrays.asList(cheeses).contains(Cheese.STILTON))
{
System.out.println("Jolly good, just the thing.");
}

否则，我们可以这样写：

if(Arrays.asList(shop.getCheeses()).contains(Cheese.STILTION))
{
System.out.println("Jolly good, just the thing.");
}

事实上，对于第二种代码，我们根本就不需要对null进行处理，只要返回一个零长度的集合就可以了。否则，如果使用上一种方式，每次的返回都需要这样处理，很复杂而且容易出错。甚至，如果一直不返回null值，可能会缺少这一部分处理代码。

有人觉得，null的返回值比零长度数组更好，因为它避免了分配数组所需要的开销，显然这种说法是站不住脚的：

1. 对于这个问题，逻辑出错比性能下降造成的后果更严重，除非有足够多的证据证明确实是在这里造成的性能问题；
2. 零长度的数组，其实并不比null占用太多的额外开销；
3. 如果真的返回次数太多，其实我们可以使用同一个零长度的数组。

对于数组来说，我们可以这样做：

	private final List<Cheese> cheesesInStock = new ArrayList<>();
	private static final Cheese[] EMPTY_CHEESE_ARRAY = new Cheese[0];

	public Cheese[] getCheeses() {
		return cheesesInStock.toArray(EMPTY_CHEESE_ARRAY);
	}

List.toArray(T[])提供了一种重载，将list变成数组。在这种用法中，零长度数组常量被传递给了toArray方法，用来指明期望的返回类型。正常情况下，toArray会分配返回数组。但是如果集合是空的，它会使用零长度的输入数组，Collection.toArray(T[])的规范保证了：如果输入数组大到足够容纳这个集合，它就将返回这个输入数组。

对于集合来说，我们可以这样做：

	public List<Cheese> getCheeseList() {
		if (cheesesInStock.isEmpty()) {
			return Collections.emptyList();
		} else {
			return cheesesInStock;
		}
	}

Collection.emptyList就是你所需要的，同样的，对于set，map也会有相对应的方法。我们可以看到：

    @SuppressWarnings("unchecked")
    public static final <T> List<T> emptyList() {
        return (List<T>) EMPTY_LIST;
    }

    /**
     * The empty list (immutable).  This list is serializable.
     *
     * @see #emptyList()
     */
    @SuppressWarnings("rawtypes")
    public static final List EMPTY_LIST = new EmptyList<>();

总之， 返回类型为数组或者集合的方法，没有理由返回null，而不是返回一个零长度的数组或者集合。这种习惯的做法（返回null）可能来自于C，因为C中，数组和数组的长度是分开计算的（  sizeof(数组名)/sizeof(数组名[0])），如果返回的数组长度为0，再分配一个数组，就没有任何意义了。