(j3.2006) Parent component of extension of abstract type
Cohen Malcolm
malcolm
Thu Nov 12 19:56:05 EST 2015
>Maybe we should allow to instantiate nonpolymorphic objects of abstract
>type,
Not being able to instantiate objects is a fundamental point of abstract
types. If you can instantiate them, the whole abstract edifice falls to the
ground - there can be no compiler protection against mistakes (that being
the only reason it was worth adding abstract types in the first place). If
abstract were limited to a gentle reminder that you're supposed to do
something with the deferred type-bound procedures when extending, it would
not have been anywhere near valuable enough to be an actual language
feature.
If you need to instantiate them, then just don't make it abstract. It's as
simple as that.
Cheers,
--
........................Malcolm Cohen, Nihon NAG, Tokyo.
More information about the J3
mailing list