Boost C++ 库

interval_set<int> mySet;
mySet.insert(42);
bool has_answer = contains(mySet, 42);

第二个方面，称为 ***分段*** ***方面***，允许利用 区间集 和 区间映射 的元素聚集在 ***区间*** 或 ***段*** 中的事实，我们可以对其进行迭代。

// Switch on my favorite telecasts using an interval_set
interval<seconds>::type news(make_seconds("20:00:00"), make_seconds("20:15:00"));
interval<seconds>::type talk_show(make_seconds("22:45:30"), make_seconds("23:30:50"));
interval_set<seconds> myTvProgram;
myTvProgram.add(news).add(talk_show);

// Iterating over elements (seconds) would be silly ...
for(interval_set<seconds>::iterator telecast = myTvProgram.begin();
    telecast != myTvProgram.end(); ++telecast)
    //...so this iterates over intervals
   TV.switch_on(*telecast);

当集合的元素以连续块的形式出现时，使用 区间集 和 区间映射 可能是有益的：区间。这在许多问题域中显然是这种情况，尤其是在处理与日期和时间相关的计算的领域中。

可加性和可减性

与 std::sets 和 maps 不同，区间集 (interval_sets) 和 区间映射 (interval_maps) 实现了 Addable（可加性）和 Subtractable（可减性）概念。因此，区间集 定义了一个 operator += 运算符，它自然地实现为**_集合并集_**，以及一个 operator -= 运算符，它相应地实现为**_集合差集_**。在 **Icl** 中，区间映射 也是可加和可减的。当向 区间映射 中插入一个区间值对导致该区间值对与 区间映射 中已有的区间值对发生冲突时，将加法或减法传播到 区间映射 的关联值的概念被证明是非常有效的。这种运算传播称为**_重叠聚合_**。

重叠聚合

这是一个关于小型聚会的第一个示例，它演示了 区间映射 上的**_重叠聚合_**原则。

在示例中，Mary 首先进入派对。她在时间间隔 [20:00,22:00) 内参加。Harry 稍后进入。他在 [21:00,23:00) 内停留。

typedef std::set<string> guests;
interval_map<time, guests> party;
party += make_pair(interval<time>::right_open(time("20:00"), time("22:00")), guests("Mary"));
party += make_pair(interval<time>::right_open(time("21:00"), time("23:00")), guests("Harry"));
// party now contains
[20:00, 21:00)->{"Mary"}
[21:00, 22:00)->{"Harry","Mary"} //guest sets aggregated on overlap
[22:00, 23:00)->{"Harry"}

**_在区间重叠时_**，相应的名称集合会被**_累加_**。在**_重叠点_**处，区间会被**_分割_**。区间重叠时的内容累加是通过 operator += 运算符完成的，该运算符必须为 区间映射 的关联值实现。在本例中，关联值是 guest sets（客人集合）。因此，guest set 必须将 operator += 实现为集合并集。

从示例中可以看出，区间映射 既具有**_分解行为_**（在时间维度上），也具有**_累加行为_**（在关联值上）。

可加性和重叠聚合是 区间映射 上的有用特性，它们通过函数 add 和 operator += 实现。但您也可以将它们与_传统的_ 插入语义一起使用，其行为类似于针对区间插入进行泛化的 std::map::insert。