Re: [bug-gawk] How awk keys are ordered?

[Peng Yu]

> Quite right. Gawk has additional optimizations for arrays
> indexed only by integers.  Running the program with another
> awk will definitely give different results.

I only care about gawk for now. In gawk, if the keys are numeric, does
it guarantee to be ordered by default (at least with the current
version of gawk).

How does gawk treat numbers and strings differently? What if strings
are numbers?

> And please note that the awk spec says that array indexes are handled as
> strings. So [i] and ["" i] refer to the same element.

I don't find where it says so in the gawk doc. Would you please let me know?

-- 
Regards,
Peng