为何boost::icl::interval_map用total_absorber时flip()仅执行clear()？

你遇到的问题是total_absorber组合策略下flip()的特殊行为，这并非逻辑bug，而是由该策略的核心语义和实现取舍决定的，具体原因如下：

1. total_absorber的核心语义 #

total_absorber是Boost.Icl中针对interval_map的一种吸收型组合策略，它的核心规则是：当添加同value的区间时，任何与新区间重叠的现有同value区间会被完全"吸收"（即删除），再插入新区间。这种策略的设计初衷是保证同value的区间不会存在重叠，但允许不重叠的同value区间（正如你手动构造多段区间的例子）。

但flip()操作的语义是"切换目标区间的存在状态：存在则删除，不存在则添加"，这与total_absorber的核心逻辑产生了冲突：

• 若目标区间与现有同value区间重叠，flip()需要删除重叠部分，这会把原本连续的同value区间拆分为离散段——虽然手动添加离散段是允许的，但flip()的实现为了遵循total_absorber的"吸收"设计意图，选择直接清除整个映射（而非拆分区间）。
• 若目标区间与现有区间不重叠，理论上应该执行添加操作，但Boost.Icl对total_absorber下的flip()做了简化实现（正如你看到的源码，直接调用clear()），导致无论什么场景都会清除映射。

2. 手动构造与flip()的区别 #

手动使用+=添加不重叠的同value区间是允许的，因为+=操作仅处理重叠的同value区间（吸收重叠部分），不重叠的情况会直接追加；而flip()是更高层级的操作，其实现并未适配total_absorber下的离散区间场景，而是采用了最简化的清除逻辑来符合策略的核心语义。

3. 文档的歧义 #

官方文档对flip()的描述是通用场景下的行为，并未明确说明不同组合策略下的特殊处理，这导致了你预期与实际行为的差异。total_absorber下的flip()行为是该策略特有的实现选择，而非逻辑错误。

内容的提问来源于stack exchange，提问作者Rabter