前言
这篇讲设计模式的部分相对较少。Prototype设计模式,它提供一种复制对象的思路。使用Prototype就可以在不需要了解类结构的前提下,复制一个现有对象。写了一个代码片段,讲解使用Object.clone()要注意浅拷贝,深拷贝的问题。最后,去找到clone实现的native代码,大致了解一下复制的过程,知道了底层实现是浅拷贝。
Java中的clone()
Java中,有一个Cloneable接口。如果去查看它的代码,会发现这个接口里面什么都没有。这种什么都没有的接口被称之为Marker Interface,实现这个接口的类,使用instanceof关键字可以检查它是否为Cloneable。真正的clone函数在Object.java中,当调用Object的clone方法的时候,它会去检查是否显式地指定实现Cloneable接口,否则会抛出异常。
public interface Cloneable {
}
// Object.java
protected native Object clone() throws CloneNotSupportedException;
在Android中clone的实现,先用java代码去检查是否显式指定实现了Cloneable接口,然后调用native代码。
protected Object clone() throws CloneNotSupportedException {
if (!(this instanceof Cloneable)) {
throw new CloneNotSupportedException("Class " + getClass().getName() +
" doesn't implement Cloneable");
}
return internalClone();
}
/*
* Native helper method for cloning.
*/
@FastNative
private native Object internalClone();
探索clone()
下面举个使用clone的例子,这里涉及所谓的深拷贝,浅拷贝的问题。浅拷贝,拷贝的仅仅是对象的地址;深拷贝则会新建一个对象,将对象的成员复制到新建的对象里。
为了精简代码,这里去掉了getter和setter,以及一个show方法,show方法做的事情仅仅是打印出成员。
class Desk implements Cloneable {
private int dollar;
public Desk(int dollar) {
this.dollar = dollar;
}
@Override
public Desk clone() throws CloneNotSupportedException {
return (Desk) super.clone();
}
}
class House implements Cloneable {
private Desk desk;
private int rooms;
public House(int rooms) {
this.rooms = rooms;
}
@Override
public House clone() throws CloneNotSupportedException {
return (House) super.clone();
}
}
浅拷贝
注意到,以上代码,直接调用super.clone()来复制House。在main函数中,调用以下代码,观察打印出来的信息。
main函数的代码:
- 初始化房子A和桌子X
- 以房子A为模板,复制房子B
- 获取B的桌子Y
- 设置Y的价格
经过以上步骤,打印信息显示A房子的桌子X价格也更改了。这说明房子B的桌子Y,这个对象的地址指向了房子A的桌子X的地址。XY是同一个对象,使用同一个地址。这说明调用super.clone()的时候,类的成员是通过复制出来的。
// 打印的信息:
This House has 5 rooms, The Desk is $2333
This House has 5 rooms, The Desk is $2333
This House has 5 rooms, The Desk is $1111
This House has 5 rooms, The Desk is $1111
// Initialize
House house = new House(5);
Desk desk = new Desk(2333);
house.setDesk(desk);
// Clone
House cloneHouse = null;
try {
cloneHouse = house.clone();
}
catch (CloneNotSupportedException e) {
e.printStackTrace();
return;
}
// Show
house.show();
cloneHouse.show();
// setDesk
Desk deskOfCloneHouse = cloneHouse.getDesk();
deskOfCloneHouse.setDollar(1111);
// Show again
house.show();
cloneHouse.show();
深拷贝
将House下面的clone改为以下代码,新House下的桌子,不再和原House下的桌子相同。
@Override
public House clone() throws CloneNotSupportedException {
House house = (House) super.clone();
house.setDesk(desk.clone());
return house;
}
clone的实现
Object下面的clone,调用本地(native)代码来实现对象的clone,那么它是如何实现的呢?让我们来把这个黑箱打开吧!
protected native Object clone() throws CloneNotSupportedException;
通过链接[3],可以找到clone()实现的代码片段。这里使用[2]看到的片段,第539行开始。这里为了节省篇幅,用"..."去掉部分代码。
这段代码的工作流程大致为:
- 检查这个类是否显式指定了实现Cloneable接口。如果没有,那么抛出异常
- 注释可以看到"Make shallow object copy",进行浅拷贝。
- 在栈中分配要复制对象的空间大小
- 进行内容的复制。去掉的注释部分,讲的大概是要保证复制的线程安全。使用atomic操作,因为在复制内容的过程中,可能有另一个线程在操作被复制对象的成员。
- make_local,将这个新建的对象加入到运行环境中。
关于finalize的实现,还不甚了解。这里纯属猜想:如果一个类声明了finalize方法,那么在会给他注册绑定一个finalizer。clone一个对象,如果被复制对象的类有finalize方法,那么新对象要注册一个finalizer。
JVM_ENTRY(jobject, JVM_Clone(JNIEnv* env, jobject handle))
...
// Check if class of obj supports the Cloneable interface.
// All arrays are considered to be cloneable (See JLS 20.1.5)
if (!klass->is_cloneable()) {
ResourceMark rm(THREAD);
THROW_MSG_0(vmSymbols::java_lang_CloneNotSupportedException(), klass->external_name());
}
// Make shallow object copy
const int size = obj->size();
oop new_obj = NULL;
if (obj->is_javaArray()) {
const int length = ((arrayOop)obj())->length();
new_obj = CollectedHeap::array_allocate(klass, size, length, CHECK_NULL);
} else {
new_obj = CollectedHeap::obj_allocate(klass, size, CHECK_NULL);
}
...
Copy::conjoint_jlongs_atomic((jlong*)obj(), (jlong*)new_obj,
(size_t)align_object_size(size) / HeapWordsPerLong);
...
// Caution: this involves a java upcall, so the clone should be
// "gc-robust" by this stage.
if (klass->has_finalizer()) {
assert(obj->is_instance(), "should be instanceOop");
new_obj = InstanceKlass::register_finalizer(instanceOop(new_obj), CHECK_NULL);
}
return JNIHandles::make_local(env, oop(new_obj));
JVM_END