第13条:谨慎地覆盖clone
The Cloneable interface was intended as a mixin interface(Item 20) for classes to advertise that they permit cloning. Unfortunately, it fails to serve this purpose. Its primary flaw is that it lacks a clone method, and Object’s clone method is protected. You cannot, without resorting to reflection(Item 65), invoke clone on an object merely because it implements Cloneable. Even a reflective invocation may fail, because there is no guarantee that the object has an accessible clone method. Despite this flaw and many others, the facility is in reasonably wide use, so it pays to understand it. This item tells you how to implement a well-behaved clone method, discusses when it is appropriate to do so, and presents alternatives.
Clonable接口的目的是为类提供mixin接口(mixin interface,条目20),表明它们是允许克隆的。但不幸的是,它并没有成功地达到这个目的。它的主要缺陷是,它缺少一个clone方法,而且Object的clone方法是受保护的。如果不借助于反射(reflection,条目65),我们无法仅仅是因为一个对象实现了Clonable接口就调用它的clone方法。即使是采用反射的调用方式也会失败,因为谁也不能保证这个对象有可访问的clone方法。但抛开这样那样的缺陷,这种办法仍被广泛使用着,所以还是值得我们进一步去了解它。本条目将会告诉我们如何实现一个行为良好的clone方法,讨论什么时候适合这么做,并展示一些替代性的做法。
So what does Cloneable do, given that it contains no methods? It determines the behavior of Object’s protected clone implementation: if a class implements Cloneable, Object’s clone method returns a field-by-field copy of the object; otherwise it throws CloneNotSupportedException. This is a highly a typical use of interfaces and not one to be emulated. Normally, implementing an interface says something about what a class can do for its clients. In this case, it modifies the behavior of a protected method on a superclass.
所以既然Cloneable接口不包含任何方法,那么它是拿来干嘛的?它决定了Object中受保护的clone方法的实现的行为:如果一个类实现了Cloneable接口,Object的clone方法将返回一个属性逐一拷贝的对象,否则它就抛出一个CloneNotSupportedException异常。这是接口一种及其典型的用法,也不值得被效仿。通常情况下,实现一个接口意味着这个类能为客户端做某些事情。但对于Cloenable的情况,它改变了父类受保护方法的行为。
Though the specification doesn’t say it, in practice, a class implementing Cloneable is expected to provide a properly functioning public clone method. In order to achieve this, the class and all of its superclasses must obey a complex, unenforceable, thinly documented protocol. The resulting mechanism is fragile, dangerous, and extralinguistic: it creates objects without calling a constructor.
虽然在规范中没有明说,但实际中,一个实现了Cloneable的类通常被期望能提供一个运转良好的公有clone方法。为了做到这一点,该类和它所有的父类都必须遵守一个复杂,不可实施的,并且基本没有文档说明的协议。由此产生的机制是脆弱,危险而且不受语言影响的:它不用调用构造器就创建了对象。
The general contract for the clone method is weak. Here it is, copied from the Object specification :
clone方法的通用约定是非常弱的,下面是来自Object规范的约定内容:
Creates and returns a copy of this object. The precise meaning of “copy” may depend on the class of the object. The general intent is that, for any object x, the expression x.clone() != x _will be true, and the expression _x.clone().getClass() == x.getClass() will be true, but these are not absolute requirements. While it is typically the case that x.clone().equals(x) will be true, this is not an absolute requirement.
创建和返回对象的一个拷贝。“拷贝”的精确含义依赖于对象所属的类。一般的含义是,对于任意对象x,表达式x.clone() != x将会是true,表达式x.clone().getClass() == x.getClass()也将会是true,但这些并不是绝对的要求。虽然通常情况下,x.clone().equals(x)将会是true,但在也不是个绝对的要求。
By convention, the object returned by this method should be obtained by calling super.clone. If a class and all of its superclasses (except Object) obey this convention, it will be the case that x.clone().getClass() == x.getClass().
按照惯例,clone方法返回的对象应该通过调用super.clone获得。如果一个类及其所有的父类(除了Object)都遵循了这个惯例,那么就可以做到x.clone().getClass() == x.getClass()。
By convention, the returned object should be independent of the object being cloned. To achieve this independence, it may be necessary to modify one or more fields of the object returned by super.clone before returning it.
按照惯例,clone方法返回的对象应该独立于被克隆的对象。为了得到这个独立性,在方法返回之前,可能需要对super.clone返回对象的一个或多个属性进行修改。
This mechanism is vaguely similar to constructor chaining, except that it isn’t enforced: if a class’s clone method returns an instance that is not obtained by calling super.clone but by calling a constructor, the compiler won’t complain, but if a subclass of that class calls super.clone, the resulting object will have the wrong class, preventing the subclass from clone method from working properly. If a class that overrides clone is final, this convention may be safely ignored, as there are no subclasses to worry about. But if a final class has a clone method that does not invoke super.clone, there is no reason for the class to implement Cloneable, as it doesn’t rely on the behavior of Object’s clone implementation.
这种机制有点类似于构造器的调用链,只是这种机制不是强制执行的:如果一个类的clone方法返回了一个实例,但这个实例不是通过调用super.clone获得而是通过调用构造器获得,编译器也不会抱怨,但如果这个类的一个子类调用了super.clone,那么返回的对象将包含错误的类,使得通过clone方法获得的子类不能正常运转。如果一个覆盖了clone方法的类是final型的,这个惯例可以安全地被忽视,因为这个类不会有子类。但如果一个final型的类有一个并不调用super.clone的clone方法时,那么也没有理由为这个类实现Cloneable接口,因为它并不依赖于Object的clone实现的行为。
Suppose you want to implement Cloneable in a class whose superclass provides a well-behaved clone method. First call super.clone. The object you get back will be a fully functional replica of the original. Any fields declared in your class will have values identical to those of the original. If every field contains a primitive value or a reference to an immutable object, the returned object may be exactly what you need, in which case no further processing is necessary. This is the case, for example, for the PhoneNumber class in Item 11, but note that immutable classes should never provide a clone method because it would merely encourage wasteful copying. With that caveat, here’s how a clone method for PhoneNumber would look:
假设我们需要为一个类实现Cloneable接口,这个类的父类提供了一个良好的clone方法。我们从super.clone中得到的对象将会是原始对象的一个完整克隆。类中声明的任一属性的值将会和原始类对应的属性的值相等。如果每个属性包含了基本类型值或者不过变对象的引用,那么返回的对象可能正是我们要的,在这种情况下,不需要进一步的处理。在某些情况下,如条目11中的PhoneNumber类,我们要注意的是,不可变的类应该永远都不提供clone方法,因为它只会造成无意义的拷贝。根据这个警告,PhoneNumber的clone方法应该是下面那样子的:
// Clone method for class with no references to mutable state
@Override
public PhoneNumber clone() {
try {
return (PhoneNumber) super.clone();
} catch (CloneNotSupportedException e) {
throw new AssertionError(); // Can't happen
}
}
In order for this method to work, the class declaration for PhoneNumber would have to be modified to indicate that it implements Cloneable. Though Object’s clone method returns Object, this clone method returns PhoneNumber. It is legal and desirable to do this because Java supports covariant return types. In other words, an overriding method’s return type can be a subclass of the overridden method’s return type. This eliminates the need for casting in the client. We must cast the result of super.clone from Object to PhoneNumber before returning it, but the cast is guaranteed to succeed.
为了让这个方法运转,PhoneNumber的类声明必须得做点修改,即声明其实现了Cloneable接口。虽然Object的clone方法返回的结果是Object类型,但这里的clone方法返回的是PhoneNumber类型。这么做是合法并且也是我们期待的,因为Java支持协变返回类型(covariant return types)。换句话说,一个覆盖方法的返回类型可以是被覆盖方法返回类型的子类。这样,客户端就不必进行强转了。在返回之前,我们必须将super.clone的结果转成PhoneNumber,但这个转型要保证是成功的。
The call to super.clone is contained in a try-catch block. This is because Object declares its clone method to throw CloneNotSupportedException, which is a checked exception. Because PhoneNumber implements Cloneable, we know the call to super.clone will succeed. The need for this boilerplate indicates that CloneNotSupportedException should have been unchecked (Item 71).
例子中的super.clone调用被包含在一个try-catch代码块里。这是因为,Object声明了它的clone方法会抛出CloneNotSupportedException异常,而这是个检查时异常。由于PhoneNumber实现了Cloneable接口,所以我们知道super.clone调用将会是成功的。但例子中还是需要这个样板,这表明CloneNotSupportedException异常不应该是要检查的(条目71)。
If an object contains fields that refer to mutable objects, the simple clone implementation shown earlier can be disastrous. For example, consider the Stack class in Item 7:
如果一个对象包含了应用可变对象的属性,那么如果继续采用前面提到的简单的clone方法实现将会导致灾难性的后果。例如,考虑条目7的Stack类:
public class Stack {
private Object[] elements;
private int size = 0;
private static final int DEFAULT_INITIAL_CAPACITY = 16;
public Stack() {
this.elements = new Object[DEFAULT_INITIAL_CAPACITY];
}
public void push(Object e) {
ensureCapacity();
elements[size++] = e;
}
public Object pop() {
if (size == 0)
throw new EmptyStackException();
Object result = elements[--size];
elements[size] = null; // Eliminate obsolete reference return result;
}
// Ensure space for at least one more element.
private void ensureCapacity() {
if (elements.length == size)
elements = Arrays.copyOf(elements, 2 * size + 1);
}
}
Suppose you want to make this class cloneable. If the clone method merely returns super.clone(), the resulting Stack instance will have the correct value in its size field, but its elements field will refer to the same array as the original Stack instance. Modifying the original will destroy the invariants in the clone and vice versa. You will quickly find that your program produces nonsensical results or throws a NullPointerException.
假设我们要让这个类可以被克隆。如果clone方法仅仅是返回super.clone(),那么其返回的Stack对象将会有个相同的size属性值,但它的elements属性却将引用原始Stack实例的数组。修改原始实例将会破坏clone方法里的约束条件,反之亦然。很快你就会发现,你的程序会产生荒谬的结果,或者抛出NullPointerException异常。
This situation could never occur as a result of calling the sole constructor in the Stack class. In effect, the clone method functions as a constructor; you must ensure that it does no harm to the original object and that it properly establishes invariants on the clone. In order for the clone method on Stack to work properly, it must copy the internals of the stack. The easiest way to do this is to call clone recursively on the elements array:
如果调用Stack类唯一的构造器,则这种情况将永远不会发生。实际上,clone方法就是另一个构造器,我们必须保证它不会破坏原始对象而且能恰当创建被克隆对象的约束条件。为了让Stack上的clone方法能正常工作,它必须复制Stack的内部信息。最简单的办法是,在elements数组中递归地调用clone方法。
// Clone method for class with references to mutable state
@Override
public Stack clone() {
try {
Stack result = (Stack) super.clone();
result.elements = elements.clone();
return result;
} catch (CloneNotSupportedException e) {
throw new AssertionError();
}
}
Note that we do not have to cast the result of elements.clone to Object[]. Calling clone on an array returns an array whose runtime and compile-time types are identical to those of the array being cloned. This is the preferred idiom to duplicate an array. In fact, arrays are the sole compelling use of the clone facility.
现在我们不用将elements.clone返回的结果转成Object[]。在一个数组上调用clone方法而返回的数组,其运行时和编译时的类型都和被克隆的数组一致。这是复制数组首选的手法。事实上,数组复制是克隆机制唯一有用的地方。
Note also that the earlier solution would not work if the elements field were final because clone would be prohibited from assigning a new value to the field. This is a fundamental problem: like serialization, the Cloneable architecture is incompatible with normal use of final fields referring to mutable objects, except in cases where the mutable objects may be safely shared between an object and its clone. In order to make a class cloneable, it may be necessary to remove final modifiers from some fields.
要注意的是,如果elements数组是final型的,那么上述方式也将不起作用,因为克隆将被禁止向这个属性赋值。