Re: GCC 4.0 Ada.Containers Cursor danger.

[Jeffrey Carter <spam@spam.com>]

Randy Brukardt wrote:
> 
> Yes, and I agree that is too much overhead. I'm planning to use a serial
> number scheme. It won't detect every possible error (if the memory for the
> element or container as a whole is reused, there would be a very small
> chance that it would fail to detect an error), but it would catch the vast
> majority of them.

Is that like the scheme used by the PragmARC lists? Each list has a 
unique ID, each node contains the ID of the list it's in, and each 
Position has the ID of the list it's a Position for. All three IDs must 
match for an operation to be valid. On deletion, the ID in the node and 
in the Position are made invalid. It won't catch everything, but it 
catches most errors.

-- 
Jeff Carter
"Crucifixion's a doddle."
Monty Python's Life of Brian
82