27 Mar
2017
27 Mar
'17
12:27 a.m.
On 26 March 2017 at 15:49, Vladimir Batov via Boost <boost@lists.boost.org> wrote:
That feels quite complex... what is wrong with my (seemingly) simple suggestion of sorting on when-needed basis?
Use one <https://github.com/yruslan/flat_map> that does instead. degski