Concept Checking

Каждая из концепций диапазона имеет соответствующий класс проверки концепции в файле <boost/range/concepts.hpp>. Эти классы могут использоваться в сочетании с библиотекой Boost Concept Check для обеспечения совместимости параметра шаблона с концепцией диапазона. Если нет, то создается значительная ошибка времени компиляции. Проверки предусмотрены для концепций диапазона, связанных с категориями обхода итератора. Например, следующая строка проверяет, что тип T моделирует концепцию Forward Range.

BOOST_CONCEPT_ASSERT(( ForwardRangeConcept<T> ));

Требуется дополнительная проверка концепции для свойства доступа к стоимости диапазона на основе типа итератора диапазона. Например, для проверки ForwardReadableRange требуется следующий код.

BOOST_CONCEPT_ASSERT(( ForwardRangeConcept<T> ));
BOOST_CONCEPT_ASSERT(( ReadableIteratorConcept<typename range_iterator<T>::type> ));

Предусмотрены следующие классы проверки концепции диапазона.

See also