Не каждый шаблон класса работает со всеми типами доменов. Используйте шаблоны интервального класса согласно следующей таблице.

С прагматической точки зрения, наиболее важным шаблоном интервального класса статически ограниченной является right_open_interval. Для отдельных типов доменов также могут быть удобными замкнутые интервалы. Асимметричные интервалы могут использоваться с непрерывными типами доменов, но continuous_interval - единственный шаблон класса, который позволяет представлять одиночный интервал, содержащий только один элемент.

Используйте непрерывный_интервал, если вы работаете с интервальными контейнерами созерцательных типов доменов и хотите иметь возможность обрабатывать одиночные значения:

typedef interval_set<std::string, std::less, continuous_interval<std::string> > IdentifiersT;
IdentifiersT identifiers, excluded;
identifiers += continuous_interval<std::string>::right_open("a", "c");
// special identifiers shall be excluded
identifiers -= std::string("boost");
cout << "identifiers: " << identifiers << endl;
excluded = IdentifiersT(icl::hull(identifiers)) - identifiers;
cout << "excluded   : " << excluded << endl;
//------ Program output: --------
identifiers: {[a,boost)(boost,c)}
excluded   : {[boost,boost]}

Library defaults and class template interval

Как показано в приведенном выше примере, вы можете выбрать тип интервала, обобщая шаблон интервала контейнера с желаемым типом.

typedef interval_set<std::string, std::less, continuous_interval<std::string> > IdentifiersT;

Но вы можете работать с библиотекой по умолчанию для параметров интервальных шаблонов, что является interval<DomainT,Compare>::type.

Итак, если вы всегда довольны по умолчанию библиотеки для интервального типа, просто используйте

icl::interval<MyDomainT>::type myInterval;

как стандартный способ объявления интервалов и параметров по умолчанию для интервальных контейнеров:

typedef interval_set<std::string> IdentifiersT;
IdentifiersT identifiers, excluded;
identifiers += interval<std::string>::right_open("a", "c");
. . .

Таким образом, шаблон класса interval предоставляет стандартный способ работы с библиотекой по умолчанию для интервалов. Via interval<D,C>::type можно объявить интервал по умолчанию. Кроме четырех статических функций

T interval<D,C>::right_open(const D&, const D&);
T interval<D,C>::left_open(const D&, const D&);
T interval<D,C>::closed(const D&, const D&);
T interval<D,C>::open(const D&, const D&);

T = interval<D,C>::type.

Если вы

#define BOOST_ICL_USE_STATIC_BOUNDED_INTERVALS

библиотека использует только статически ограниченную right_open_interval как тип интервала по умолчанию. В этом случае четыре статических функции выше также доступны, но они только перемещают интервальные границы последовательно, если их тип домена дискретен, и создают соответствующие right_open_interval, наконец:

interval<D,C>::right_open(a,b) == [a, b)  ->  [a  , b  )
interval<D,C>:: left_open(a,b) == (a, b]  ->  [a++, b++)
interval<D,C>::    closed(a,b) == [a, b]  ->  [a  , b++)
interval<D,C>::      open(a,b) == (a, b)  ->  [a++, b  )

Для непрерывных типов доменов применима только первая из четырех функций, которая соответствует стандарту библиотеки для статически ограниченных интервалов: right_open_interval. Остальные три функции не могут выполнять соответствующую трансформацию и не будут компилироваться.