Re: Specialization

[Simon Wright <simon@pushface.org>]

dennison@telepath.com (Ted Dennison) writes:

> Why wouldn't that happen automaticly? If you want to *manually*
> control finalization, you probably shouldn't be using controlled
> types.

I _knew_ there was a problem in the Booch Containers around here
... if you use a bounded container it places the elements in an array,
so if they need finalization it may well happen long after you were
expecting it to. I guess I'd need to add something to the generic ..

   generic
      type Item is private;
      with function "=" (L, R : Item) return Boolean is <>;
      Null_Value : Item;                                    --  new
   package BC.Containers is

which means yet another non-defaultable generic parameter, people are
fed up enough with instantiating all these nested generics as it is. I
suppose this could be deferred to the forms that need it, clearly
Unbounded doesn't:

   generic
      type Item is private;
      with function "=" (L, R : Item) return Boolean is <>;
   package BC.Containers is

   generic
      Maximum_Size : Positive;
      Null_Value : Item;                                     -- new
   package BC.Containers.Collections.Bounded is

   generic
      Storage : in out System.Storage_Pools.Root_Storage_Pool'Class;
   package BC.Containers.Collections.Unbounded is