Re: Funny (so to say...) interaction of "not null" and Vectors?

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

On 2019-10-08 17:46, mockturtle wrote:

> My suspect is that the dynamically created array can have some null access value, causing the error.
> Does this make any sense?

No it cannot, this is why you get the exception. Logically the default 
initialization of any non-empty array of not null pointers is equivalent 
to raising Constraint_Error.

> If yes, I'll remove the "not null" requirement.

There is a trick to keep "not null" in place. Given you are sure you 
will eventually overwrite all array elements:

    type Target is ...;
    type Pointer is access Target;
    Stock : aliased Target; -- Never ever used anywhere
    type Element is record
       Ptr : not null Pointer := Stock'Access;
    end record;
    type Some_Elements is array (...) of Element;

P.S. Ada needs proper constructors and static checks enforcing these. 
Declarations like of Element must be illegal with checked exception 
contracts.

P.P.S. In the sense that Element requires an initialization, it is an 
unconstrained subtype and should be declared/treated as type

    Element (<>) is ...

That validity cannot be separated from constraint is another problem in Ada.

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