Re: Ada Annoyances

["Randy Brukardt" <randy@rrsoftware.com>]

"Niklas Holsti" <niklas.holsti@tidorum.invalid> wrote in message 
news:erl137Fp39dU1@mid.individual.net...
> On 17-06-27 00:47 , Randy Brukardt wrote:
...
>> And changing the tag via assignment means having to be prepared to
>> change finalization of  objects after the fact as well. Ugh.
>
> Isn't finalization of local objects usually implemented by creating a list 
> of these objects, and then traversing that list on scope exit? It seems to 
> me that changing the tag of an object on the list should not be a problem; 
> the new tag would just lead to a different Finalize, through normal 
> dispatching.

That's not a problem. The case I was thinking about was one where the change 
in tag caused an object which was not previously controlled to become 
controlled. Then the object would have to be added to the finalization list, 
but not to the head, but rather to the exact point where the original object 
was declared. That would be very difficult.

I just spent most of the winter fixing a bug related to that for variant 
records in Janus/Ada, and this case would be worse (because there's no 
enclosing object in which to put helper components).

                                      Randy.
       .