Java: Rationale of the Object class not being declared abstract
Ande, I think you are approaching this -- pun NOT intended -- with an unnecessary degree of abstraction. I think this (IMHO) unnecessary level of abstraction is what is causing the "problem" here. You are perhaps approaching this from a mathematical theoretical approach, where many of us are approaching this from a "programmer trying to solve problems" approach. I believe this difference in approach is causing the disagreements.
When programmers look at practicalities and how to actually implement something, there are a number of times when you need some totally arbitrary Object whose actual instance is totally irrelevant. It just cannot be null. The example I gave in a comment to another post is the implementation of *Set
(*
== Hash
or Concurrent
or type of choice), which is commonly done by using a backing *Map
and using the Map
keys as the Set. You often cannot use null
as the Map
value, so what is commonly done is to use a static Object
instance as the value, which will be ignored and never used. However, some non-null placeholder is needed.
Another common use is with the synchronized
keyword where some Object
is needed to synchronize on, and you want to ensure that your synchronizing item is totally private to avoid deadlock where different classes are unintentionally synchronizing on the same lock. A very common idiom is to allocate a private final Object
to use in a class as the lock. To be fair, as of Java 5 and java.util.concurrent.locks.Lock
and related additions, this idiom is measurably less applicable.
Historically, it has been quite useful in Java to have Object
be instantiable. You could make a good point that with small changes in design or with small API changes, this would no longer be necessary. You're probably correct in this.
And yes, the API could have provided a Placeholder
class that extends Object
without adding anything at all, to be used as a placeholder for the purposes described above. But -- if you're extending Object
but adding nothing, what is the value in the class other than allowing Object
to be abstract? Mathematically, theoretically, perhaps one could find a value, but pragmatically, what value would it add to do this?
There are times in programming where you need an object, some object, any concrete object that is not null, something that you can compare via ==
and/or .equals()
, but you just don't need any other feature to this object. It exists only to serve as a unique identifier and otherwise does absolutely nothing. Object
satisfies this role perfectly and (IMHO) very cleanly.
I would guess that this is part of the reason why Object
was not declared abstract: It is directly useful for it not to be.
An Object
is useful even if it does not have any state or behaviour specific to it.
One example would be its use as a generic guard that's used for synchronization:
public class Example {
private final Object o = new Object();
public void doSomething() {
synchronized (o) {
// do possibly dangerous stuff
}
}
}
While this class is a bit simple in its implementation (it isn't evident here why it's useful to have an explicit object, you could just declare the method synchronized
) there are several cases where this is really useful.
Does Object specify methods that classes extending it must implement in order to be useful? No, and therefor it needn't be abstract.
The concept of a class being abstract has a well defined meaning that does not apply to Object.