Re: Constructing an object

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sat, 24 Sep 2005 00:23:01 -0500, Randy Brukardt wrote:

> In Ada 200Y, access discriminants are allowed on nonlimited
> types, but they then cannot have defaults (such discriminants cannot change
> after object creation, and we needed to disallow changing them via
> assignment).

How? The type should be then abstract or unconstrained and the user should
have rather its subtype with the discriminant limited to the value.

> You also failed to mention that the object factory can be implemented
> (probably *ought* to be implemented) with the Ada 200Y
> Generic_Dispatching_Constructor. That takes a tag value and a dispatching
> function and creates an appropriate object for the tag, initialized by the
> dispatching function.

That is a good news, though it still looks like hack. Generics is used to
pass the parameters, instead of providing some native mechanism for
determining the tag, discriminants, bounds and other constraints. One
possibility could be to have for each type a predefined null-record type
having the same discriminants (tag and bounds are mapped to discriminants).
Then the object of this type could be passed to the allocator.

IMO there should be proper constructors for all types. Constructing
functions are too error-prone. Further, Ada needs extensible primitive and
class-wide operations, that could finally solve the construction /
assignment problem.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de