В то время какдобавлениеивычитаниена<Sets>реализовано какустановленный союзиустановленная разница, для<Maps>мы хотим реализоватьагрегированиена соответствующие значения для случая столкновения (ключевых элементов) или перекрытия (ключевых интервалов), которое было обозначено какагрегат на перекрытиевыше. Этот вид<Addability>и<Subtractability>позволяет вычислить много полезных результатов агрегирования на<interval_map's>ассоциированных значениях, просто добавляя и вычитая пары значений. Различные примерысовокупного наложенияприведены всекционных примерах. Кроме того, это понятие<Addability>и<Subtractability>содержит классические<Insertability>и<Erasability>пары ключевых значений в качестве особого случая, поэтому оно обеспечивает более широкую новую семантику без потери классической.

Агрегация реализуется для функций<add>и<subtract>путем распространения функтора<Combiner>для объединения связанных значений типа<CodomainT>. Стандарт<Combiner>устанавливается в качестве параметра шаблона по умолчанию<template<class>classCombine=inplace_plus>, который снова в общем виде реализуется<operator+=>для всех типов Addable.

Для<Combine>функторов Icl предоставляет<inverse>функтор.

Метафункция<inverse>взаимно реализована для всех, кроме функтора по умолчанию<Functor>, такого, что, например,<inverse<inplace_minus<T>>::type>дает<inplace_plus<T>>. Не во всех случаях, например<max/min>, функтор<inverse>инвертирует эффект его антетипа. Но по умолчанию он делает:

Как уже упоминалось, агрегирование<Addability>и<Subtractability>на<Maps>содержитклассические<Insertability>и<Erasability>пары ключевых значений в качестве особого случая:

Шаблоны функций агрегирования<_add>и<_subtract>не находятся в публичном интерфейсе<interval_maps>, потому что функтор<Combine>предназначен для того, чтобы быть инвариантом экземпляра шаблона<interval_map's>, чтобы избежать того, что клиенты портят агрегацию, случайно вызывая различные функторы агрегации. Но вы можете создать<interval_map>, чтобы иметь<insert/erase>семантику таким образом:

interval_map<int,int,partial_absorber,
             std::less,
             inplace_identity //Combine parameter specified
            > m;
interval<int>::type itv = interval<int>::rightopen(2,7);
m.add(make_pair(itv,42));      //same as insert
m.subtract(make_pair(itv,42)); //same as erase 

Это, конечно, только уточняющий пример. Функции-члены<insert>и<erase>доступны в интерфейсе<interval_map's>, поэтому их можно вызывать напрямую.