26 Mar
2017
26 Mar
'17
6:27 p.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