为什么 Java 不提供默认的复制构造函数？

Question

注意：我知道这个问题：Why doesn't Java have a copy constructor?。这个问题略有不同。

我知道下面的 sn-p 只会创建一个对某处存在的对象的新引用：

MyClass obj = new MyClass();
MyClass copy = obj;

但为什么 Java 在以下情况下不提供默认的复制构造函数：

MyClass obj = new MyClass();
MyClass copy = new MyClass(obj);

我相信隐式复制构造函数可以做与 C++ 类似的事情，即在每个成员上调用复制构造函数。这将导致对象的深拷贝，假设所有管理资源的类都正确实现了它们的拷贝构造函数。

添加这样的特性也应该是向后兼容的，因为现在第二个 sn-p 不会在没有明确的类复制构造函数的情况下编译。

所以，为了让我的问题更准确：

• 是否有什么阻止 Java 创建隐式复制构造函数，它会调用所有成员的复制构造函数？
• 现在添加隐式复制构造函数是否会破坏任何现有程序？

Answer 1

是否有什么阻止 Java 创建隐式复制构造函数，它会在所有成员上调用复制构造函数？

主要是因为这显然不是它应该做的。

在这种情况下，您可能想要一个深层副本；在这种情况下，也许你想要一个浅拷贝；也许您根本不希望在另一种情况下复制实例；也许您希望以这些方式混合复制特定类的字段。

此外，添加此构造函数是另一种方法：在方法数量很重要的环境中（例如 Android 的 64k Dex 限制），您需要为不需要的东西付费。

如果你需要它，最好让你这样做，通过明确说明。

---

但是是什么阻止 Java 拥有这个？

鉴于您可以手动定义复制构造函数，因此自动添加它们在技术上显然是可行的。

我认为你不能这样做的一个原因是没有语言机制可以“删除”你不想被复制的类的构造函数。

很容易表明您不需要默认 ctor：只需定义您自己的 ctor，并带有任何签名。但是你不能对默认的复制 ctor 做同样的事情：根据定义，复制 ctor 将永远只有签名 YourClass(YourClass instance);所以你不能要求，比如说，你定义一个抛出的显式复制ctor，因为你已经将编译时错误（不存在这样的ctor）更改为运行时错误（它存在，但抛出）。

所以你必须开始发明额外的机制来删除构造函数——比如一个特殊的注释。但这需要更改工具来支持它。

从绝对意义上说，这并非不可能 - 但需要大量工作来更改语言以添加可以在现有语言中实现的功能。

Answer 2

但确实如此。它是名为clone() 的方法，在Object 类中实现。

所以你想要做的，可以通过以下方式实现：

MyClass obj = new MyClass(); 
MyClass copy = (MyClass) obj.clone();