Polygon Sponsor

Interval Concept

Интервал концептуальный тег интервал_концепция

Чтобы зарегистрировать определенный пользователем тип в качестве модели интервальной концепции, специализируйте для этого типа метафункцию концепции геометрии.   В приведенном ниже примере CInterval зарегистрирован как модель интервала концепции.

template <>
struct geometry_concept { typedef interval_concept type; };

Семантика интервала заключается в том, что он имеет низкую и высокую координату, и есть инвариант, что низкий меньше или равен высокому.   Этот инвариант обеспечивается общими библиотечными функциями, которые работают на интервалах, и не ожидается от самого типа данных или отображения концепции этого типа данных на концепцию интервала через ее признаки.   Таким образом, std::pair, boost::tuple или boost::array можно сделать моделями интервала, просто предоставляя косвенный доступ к их элементам через черты.

Ниже показаны характеристики интервала по умолчанию. Специализация этих признаков требуется для типов, которые не соответствуют по умолчанию.

template
struct interval_traits {
  typedef typename T::coordinate_type coordinate_type;

  static inline coordinate_type get(const T& interval, direction_1d dir) {
    return interval.get(dir);
  }
};

template <typename T>
struct interval_mutable_traits {
  typedef typename T::coordinate_type coordinate_type;

  static inline void set(T& interval, direction_1d dir,
                         typename interval_traits<T>::coordinate_type value) {
    interval.set(dir, value);
  }
  static inline T construct(typename interval_traits<T>::coordinate_type low_value,
                            typename interval_traits<T>::coordinate_type high_value) {
    return T(low_value, high_value);
  }
};[ORIG_END] -->

Functions

Interval Data

Библиотека предоставляет модель интервальной концепции, объявленной template interval_data где T - тип координат.

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

Members