Jussi Piitulainen wrote:
Shall we switch, and is a vector good enough for an index object? (I believe somebody asked for such packaging even apart from efficiency.)
A modest but not order-or-magnitude difference on a non-optimizing implementation is not does not IMO justify a less natural api. --Per Bothner