📄 sharevector.java
字号:
class ShareVector extends Vector
{
ShareVector(int size)
{
super(size);
}
public Object clone()
{
ShareVector v = (ShareVector)super.clone();
int size = size(); //Create a new Vector.
for (int i=0; i<size; i++) //Replace each element
{ //in the Vector with a
User u = (User)(this.get(i)); //clone of that
v.setElementAt((User)(u.clone()), i); //element.
}
return v;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -