Re: GCC 4.0 Ada.Containers Cursor danger.

["MMM" <terekhov@emc.com>]

Georg Bauhaus wrote:
>
>  From the link you have given I can see that there are zillions
> of meanings of "order". AI 302 adds clarity by selecting no more than
Ok, try this one http://www.nist.gov/dads/HTML/totalorder.html

> two I think. A meaning in the very first sentences:
>
> "The library
> comprises sequence containers (vectors and lists), for inserting
> elements at
> specified positions, and associative containers (sets and maps), which
> position
> elements in order by key."
>
> That is, positioning (a necessary implementation mechanism) is by key.
Why this mechanism is necessay? From mathematical (as well as
computer science) point of view ordered set and ordered map is a
special case. From implementation point of view ordering by key is
just one possible solution.

> Later, the text introduces a sort order, and ordered associative
> containers. So perhaps "order" is overloaded in the AI to mean
> sorting and positioning depending on contenxt?
As I understand it, in mathematics "sorted" is a synonym for "ordered".
Fortunately, according to Simon, my understanding is in agreement
with English this time ;)

Mikhail