Cloneable
in Java is inherently broken. Specifically, my biggest problem with the interface is it expects a method behavior that doesn't define the method itself. So if traversing through a Cloneable
list you must use reflection to access its defined behavior. However, in Java 8, we now have default methods and now I ask why there isn't a default clone()
method in Cloneable
.
I understand why interfaces cannot default Object methods, however, this was an explicit design decision and so exceptions can be made.
I sort of envision deprecating Object.clone()
and changing its interior code to something like:
if(this instanceof Cloneable) {
return ((Cloneable) this).clone();
}
else {
throw new CloneNotSupportedException();
}
And moving on whatever magic makes clone()
do its thing as a default method in Cloneable
. This doesn't really fix that clone()
can still easily be implemented incorrectly, but that's another discussion in of itself.
As far as I can still this change would be completely backwards compatible:
- Classes that currently override
clone()
but didn't implementCloneable
(WHY?!) would still be technically okay (even if functionally impossible, but this is no different then it was before). - Classes that currently override
clone()
, but did implementCloneable
would still function the same on its implementation. - Classes that don't currently override
clone()
, but did implementCloneable
(WHY?!) would now follow a specification, even if it's not completely functionally correct. - Those that used reflection and referred to
Object.clone()
would still functionally work. super.clone()
would still be functionally the same even if it's referencingObject.clone()
.
Not to mention this would solve a huge problem that Cloneable
is. While tedious and still easy to implement incorrectly, it would solve a huge object oriented problem with the interface.
The only problem I can see with this is those that implement Cloneable
aren't obligated to override clone()
, but this is no different than it was before.
Has this been discussed internally, but never came to fruition? If so, why? If it's for the reason that interfaces cannot default Object methods, wouldn't it make sense to make an exception in this case since all objects inheriting Cloneable
are expecting clone()
anyway?
My experience is probably far from being mainstream, but I use
clone()
and support the current design ofCloneable
. Probably it would be better to have it as annotation instead, butCloneable
appeared long before the annotations. My opinion is thatCloneable
is a low-level thing and nobody should do something likeobj instanceof Cloneable
. If you are usingCloneable
in some business-logic, it's much better to declare your own interface or abstract class which exposesclone()
to public and implement it in all of your business-logic objects. Sometimes you will probably want not to exposeclone()
actually, but create your own method which usesclone()
internally.For example, consider that you have an hierarchy of named objects where name cannot be changed after construction, but you want to allow cloning them with new name. You can create some abstract class like this:
Here even though you implement
Cloneable
, you want to useclone()
, but don't want to expose it publicly. Instead you provide another method which allows to clone with another name. So having publicclone()
inCloneable
would unnecessarily pollute the public interface of your classes.Another case where I use
Cloneable
is the implementation ofSpliterator.trySplit()
. See the implementation of simple spliterator which returns given number of constant objects. It has four specializations (for Objects, ints, longs and doubles), but thanks toclone()
I can implementtrySplit()
only once in the superclass. Again, I don't want to exposeclone()
, I just want to use it by myself.So to conclude, not having
clone()
method inCloneable
interface is actually more flexible as it allows me to decide whether I want to have it public or not.Your question is somewhat broad and more of a discussion, but I can shed some light on this matter.
In Effective Java™, Joshua Bloch gives quite the rundown on the situation. He opens with a bit of history behind
Cloneable
and continues with the reasoning
and
There are a lot of details that go into this, but to note just one problem:
I think this is enough to reason against having a
default
method in the interface do the cloning. It would be extremely complicated to implement it correctly.