C++: Maps on Chains

10 months ago

C++ maps with interval keys require a strict weak ordering for proper functioning.
The interval order is not a strict weak order, leading to undefined behavior when inserting overlapping intervals.
A workaround involves throwing an exception when overlapping intervals are detected to maintain order.
Heterogeneous lookup allows for searching with integers within intervals, enhancing functionality.
The solution involves defining a strict weak order on a combination of natural numbers and disjoint intervals.

Hasty Briefsbeta