Re: Missing in Booch: range operations

[mheaney@on2.com (Matthew Heaney)]

porton@ex-code.com (Victor Porton) wrote in message news:<3dcb8eec$0$307$bed64819@news.gradwell.net>...
> 
> BTW, these should throw an exception if the begin and the end of the 
> range are from different containers.

Here's an analogy.  Suppose we have this:

   type T1 is access Integer;
   for T1'Storage_Pool use P1;

   type T2 is access Integer;
   for T2'Storage_Pool use P2;

   function Free2 is 
     new Unchecked_Deallocation (Integer, T2);

and now we do this:

   declare
     O1 : T1 := new Integer;
     O2 : T2 := T2 (O1);
   begin
     Free2 (O2);
   end;

Here, we allocate an object from the storage pool (P1) associated with
access type T1, but we deallocate that some object to the storage pool
(P2) associated with access type T2.

What should happen?

If your answer is "The behavior isn't defined by the language,
therefore you shouldn't do it.", then that same argument should apply
to iterator types (which are simply access types in disguise).