Re: GCC 4.0 Ada.Containers Cursor danger.

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

"Dmitriy Anisimkov" <anisimkov@yahoo.com> wrote in message
news:1120583470.429264.325450@g43g2000cwa.googlegroups.com...
> I know that code have an error. I'm saying that the errors like this is
> easy to create, and hard to find. Neither compiler not runtime check
> for this errors.

Then, you're using the wrong implementation of Containers. IMHO, all
implementations of containers should at least do minimal checks to detect
the obvious cases like the one in your example.

At this point, Containers implementations are immature, so it's really
incorrect to draw any conclusions from them. And, Matt seems to have a
strong aversion to checks of any kind. Every check that we mandated in the
containers library was over his objections. So I don't find it surprising
that his implementation of the containers doesn't include much checking.

This state isn't surprising; we're still polishing the words and the
specifications of the containers libraries. So no one is putting a lot of
effort into implementations yet. It's unfortunate that the initial
implementation has minimal checking, but I expect other implementations to
be available that have more checking.

One of the advantages of GNAT is that it is relatively easy to replace parts
of the provided libraries. So using a debug Containers library instead of a
mostly unchecked one is something that should be easy to do.

                             Randy.