Карта сайта Kansoftware
НОВОСТИУСЛУГИРЕШЕНИЯКОНТАКТЫ
Разработка программного обеспечения

Class template avltree

Boost , The Boost C++ Libraries BoostBook Documentation Subset , Reference

Boost C++ Libraries

...one of the most highly regarded and expertly designed C++ library projects in the world. Herb Sutter and Andrei Alexandrescu, C++ Coding Standards

PrevUpHomeNext

Class template avltree

boost::intrusive::avltree

Synopsis

// In header: <boost/intrusive/avltree.hpp>
template<typename T, class... Options> 
class avltree {
public:
  // types
  typedef ValueTraits                                    value_traits;          
  typedef implementation_defined::pointer                pointer;               
  typedef implementation_defined::const_pointer          const_pointer;         
  typedef implementation_defined::value_type             value_type;            
  typedef implementation_defined::key_type               key_type;              
  typedef implementation_defined::key_of_value           key_of_value;          
  typedef implementation_defined::reference              reference;             
  typedef implementation_defined::const_reference        const_reference;       
  typedef implementation_defined::difference_type        difference_type;       
  typedef implementation_defined::size_type              size_type;             
  typedef implementation_defined::value_compare          value_compare;         
  typedef implementation_defined::key_compare            key_compare;           
  typedef implementation_defined::iterator               iterator;              
  typedef implementation_defined::const_iterator         const_iterator;        
  typedef implementation_defined::reverse_iterator       reverse_iterator;      
  typedef implementation_defined::const_reverse_iterator const_reverse_iterator;
  typedef implementation_defined::node_traits            node_traits;           
  typedef implementation_defined::node                   node;                  
  typedef implementation_defined::node_ptr               node_ptr;              
  typedef implementation_defined::const_node_ptr         const_node_ptr;        
  typedef implementation_defined::node_algorithms        node_algorithms;       
  typedef implementation_defined::insert_commit_data     insert_commit_data;    
  // construct/copy/destruct
  avltree();
  explicit avltree(const key_compare &, const value_traits & = value_traits());
  template<typename Iterator> 
    avltree(bool, Iterator, Iterator, const key_compare & = key_compare(), 
            const value_traits & = value_traits());
  avltree(avltree &&);
  avltree & operator=(avltree &&);
  ~avltree();
  // public member functions
  iterator begin();
  const_iterator begin() const;
  const_iterator cbegin() const;
  iterator end();
  const_iterator end() const;
  const_iterator cend() const;
  reverse_iterator rbegin();
  const_reverse_iterator rbegin() const;
  const_reverse_iterator crbegin() const;
  reverse_iterator rend();
  const_reverse_iterator rend() const;
  const_reverse_iterator crend() const;
  iterator root();
  const_iterator root() const;
  const_iterator croot() const;
  key_compare key_comp() const;
  value_compare value_comp() const;
  bool empty() const;
  size_type size() const;
  void swap(avltree &);
  template<typename Cloner, typename Disposer> 
    void clone_from(const avltree &, Cloner, Disposer);
  template<typename Cloner, typename Disposer> 
    void clone_from(avltree &&, Cloner, Disposer);
  iterator insert_equal(reference);
  iterator insert_equal(const_iterator, reference);
  template<typename Iterator> void insert_equal(Iterator, Iterator);
  std::pair< iterator, bool > insert_unique(reference);
  iterator insert_unique(const_iterator, reference);
  template<typename KeyType, typename KeyTypeKeyCompare> 
    std::pair< iterator, bool > 
    insert_unique_check(const KeyType &, KeyTypeKeyCompare, 
                        insert_commit_data &);
  template<typename KeyType, typename KeyTypeKeyCompare> 
    std::pair< iterator, bool > 
    insert_unique_check(const_iterator, const KeyType &, KeyTypeKeyCompare, 
                        insert_commit_data &);
  std::pair< iterator, bool > 
  insert_unique_check(const key_type &, insert_commit_data &);
  std::pair< iterator, bool > 
  insert_unique_check(const_iterator, const key_type &, insert_commit_data &);
  iterator insert_unique_commit(reference, const insert_commit_data &);
  template<typename Iterator> void insert_unique(Iterator, Iterator);
  iterator insert_before(const_iterator, reference);
  void push_back(reference);
  void push_front(reference);
  iterator erase(const_iterator);
  iterator erase(const_iterator, const_iterator);
  size_type erase(const key_type &);
  template<typename KeyType, typename KeyTypeKeyCompare> 
    size_type erase(const KeyType &, KeyTypeKeyCompare);
  template<typename Disposer> 
    iterator erase_and_dispose(const_iterator, Disposer);
  template<typename Disposer> 
    iterator erase_and_dispose(const_iterator, const_iterator, Disposer);
  template<typename Disposer> 
    size_type erase_and_dispose(const key_type &, Disposer);
  template<typename KeyType, typename KeyTypeKeyCompare, typename Disposer> 
    size_type erase_and_dispose(const KeyType &, KeyTypeKeyCompare, Disposer);
  void clear();
  template<typename Disposer> void clear_and_dispose(Disposer);
  size_type count(const key_type &) const;
  template<typename KeyType, typename KeyTypeKeyCompare> 
    size_type count(const KeyType &, KeyTypeKeyCompare) const;
  iterator lower_bound(const key_type &);
  template<typename KeyType, typename KeyTypeKeyCompare> 
    iterator lower_bound(const KeyType &, KeyTypeKeyCompare);
  const_iterator lower_bound(const key_type &) const;
  template<typename KeyType, typename KeyTypeKeyCompare> 
    const_iterator lower_bound(const KeyType &, KeyTypeKeyCompare) const;
  iterator upper_bound(const key_type &);
  template<typename KeyType, typename KeyTypeKeyCompare> 
    iterator upper_bound(const KeyType &, KeyTypeKeyCompare);
  const_iterator upper_bound(const key_type &) const;
  template<typename KeyType, typename KeyTypeKeyCompare> 
    const_iterator upper_bound(const KeyType &, KeyTypeKeyCompare) const;
  iterator find(const key_type &);
  template<typename KeyType, typename KeyTypeKeyCompare> 
    iterator find(const KeyType &, KeyTypeKeyCompare);
  const_iterator find(const key_type &) const;
  template<typename KeyType, typename KeyTypeKeyCompare> 
    const_iterator find(const KeyType &, KeyTypeKeyCompare) const;
  std::pair< iterator, iterator > equal_range(const key_type &);
  template<typename KeyType, typename KeyTypeKeyCompare> 
    std::pair< iterator, iterator > 
    equal_range(const KeyType &, KeyTypeKeyCompare);
  std::pair< const_iterator, const_iterator > 
  equal_range(const key_type &) const;
  template<typename KeyType, typename KeyTypeKeyCompare> 
    std::pair< const_iterator, const_iterator > 
    equal_range(const KeyType &, KeyTypeKeyCompare) const;
  std::pair< iterator, iterator > 
  bounded_range(const key_type &, const key_type &, bool, bool);
  template<typename KeyType, typename KeyTypeKeyCompare> 
    std::pair< iterator, iterator > 
    bounded_range(const KeyType &, const KeyType &, KeyTypeKeyCompare, bool, 
                  bool);
  std::pair< const_iterator, const_iterator > 
  bounded_range(const key_type &, const key_type &, bool, bool) const;
  template<typename KeyType, typename KeyTypeKeyCompare> 
    std::pair< const_iterator, const_iterator > 
    bounded_range(const KeyType &, const KeyType &, KeyTypeKeyCompare, bool, 
                  bool) const;
  iterator iterator_to(reference);
  const_iterator iterator_to(const_reference) const;
  pointer unlink_leftmost_without_rebalance();
  void replace_node(iterator, reference);
  void remove_node(reference);
  template<typename T, class... Options2> 
    void merge_unique(avltree< T, Options2...> &);
  template<typename T, class... Options2> 
    void merge_equal(avltree< T, Options2...> &);
  // public static functions
  static avltree & container_from_end_iterator(iterator);
  static const avltree & container_from_end_iterator(const_iterator);
  static avltree & container_from_iterator(iterator);
  static const avltree & container_from_iterator(const_iterator);
  static iterator s_iterator_to(reference);
  static const_iterator s_iterator_to(const_reference);
  static void init_node(reference);
  // public data members
  static const bool constant_time_size;
};

Description

Шаблон класса avltree представляет собой назойливый контейнер дерева AVL, который используется для создания назойливогоavl_setиavl_multiset.контейнеры. Гарантия «без броска» действует только в том случае, если объект key_compare не бросает.

Параметр шаблонаT— тип, которым должен управлять контейнер. Пользователь может указать дополнительные опции и, если опции не предусмотрены, используются опции по умолчанию.

Контейнер поддерживает следующие опции:base_hook<>/member_hook<>/value_traits<>,constant_time_size<>,size_type<>иCompare<>.

avltree public construct/copy/destruct

  1. avltree;

    Эффекты: Построить пустой контейнер.

    Сложность: Постоянная.

    Бросает: Если value_traits::node_traits::node constructor throws (это не происходит с заранее заданными Boost.Intrusive крючками) или копи-конструктор key_compare object throws. Базовая гарантия.

  2. явноavltreeconstkey_compare&cmp,constvalue_traits&v_traits=value_traits];

    Эффекты: Постраивает пустой контейнер с заданными сравнениями и чертами.

    Сложность: Постоянная.

    Броски: Если value_traits::node_traits::node constructor throws (это не происходит с заранее заданными Boost.Intrusive крючками) или копи-конструктор key_compare object throws. Базовая гарантия.

  3. шаблон<имя типаИтератор>avltreeуникальны,Итератор,Итераторe,const&cmp=

    Требует: Отклоняющий итератор должен давать значение l типа value_type. cmp должна быть функцией сравнения, которая вызывает строгий слабый порядок.

    Эффекты: Конструирует пустой контейнер и вставляет элементы из [b, e]

    Сложность: Линейный в N, если [b, e] уже отсортирован с использованием comp и иначе N * log N, где N — расстояние между первым и последним.

    Бросает: Если value_traits::node_traits::node constructor throws (это не происходит с предопределенным Boost). Навязчивые крючки или конструктор/оператор() копий бросков объекта key_compare. Базовая гарантия.

  4. avltreeavltree&&x];

    Эффекты:-do

  5. avltree&оператор=avltree&&x];

    Эффекты:-do

  6. ~avltree;

    : Отделяет от этого все элементы. Объекты в наборе не удаляются (т.е. не называются деструкторы), но узлы в соответствии с параметром шаблонаvalue_traitsперезапускаются и, таким образом, могут быть повторно использованы.

    Сложность: Линейный к элементам, содержащимся в *это.

    Броски: Ничего.

avltree public member functions

  1. итераторначинают;

    Эффекты: Возвращает итератор, указывающий на начало контейнера.

    Сложность: Постоянная.

    Броски: Ничего.

  2. const_iteratorначинают;

    Эффекты: Возвращает const_iterator, указывающий на начало контейнера.

    Сложность: Постоянная.

    Бросает: Ничего.

  3. const_iteratorcbegin;

    Эффекты: Возвращает const_iterator, указывающий на начало контейнера.

    Сложность: Постоянная.

    Бросает: Ничего.

  4. итераторконец;

    Эффекты: Возвращает итератор, указывающий на конец контейнера.

    Сложность: Постоянная.

    Броски: Ничего.

  5. const_iteratorendconst;

    Эффекты: Возвращает const_iterator, указывающий на конец контейнера.

    Сложность: Постоянная.

    Бросает: Ничего.

  6. const_iteratorcendconst;

    : Возвращает const_iterator, указывающий на конец контейнера.

    Сложность: Постоянная.

    Броски: Ничего.

  7. reverse_iteratorrbegin;

    Эффекты: Возвращает обратный_iterator, указывающий на начало обратного контейнера.

    Сложность: Постоянная.

    Броски: Ничего.

  8. const_reverse_iteratorrbeginconst;

    Эффекты: Возвращает const_reverse_iterator, указывающий на начало обратного контейнера.

    Сложность: Постоянная.

    Броски: Ничего.

  9. const_reverse_iteratorcrbeginconst;

    Эффекты: Возвращает const_reverse_iterator, указывающий на начало обратного контейнера.

    Сложность: Постоянная.

    Броски: Ничего.

  10. reverse_iteratorrend;

    Эффекты: Возвращает обратный_iterator, указывающий на конец обратного контейнера.

    Сложность: Константа.

    Броски: Ничего.

  11. const_reverse_iteratorrendconst;

    : Возвращает const_reverse_iterator, указывающий на конец обратного контейнера.

    Сложность: Постоянная.

    Броски: Ничего.

  12. const_reverse_iteratorcrendconst;

    Эффекты: Возвращает const_reverse_iterator, указывающий на конец обратного контейнера.

    Сложность: Постоянная.

    Броски: Ничего.

  13. итераторкорень;

    Эффекты: Возвращает итератор, указывающий на корневой узел контейнера или конец(), если он не присутствует.

    Сложность: Константа.

    Броски: Ничего.

  14. const_iteratorrootconst;

    Эффекты: Возвращает const_iterator, указывающий на корневой узел контейнера или кенд(), если он отсутствует.

    Сложность: Константа.

    Броски: Ничего.

  15. const_iteratorcrootconst;

    Эффекты: Возвращает const_iterator, указывающий на корневой узел контейнера или кенд(), если он отсутствует.

    Сложность: Постоянная.

    Броски: Ничего.

  16. key_comparekey_compconst;

    Эффекты: Возвращает объект key_compare, используемый контейнером.

    Сложность: Константа.

    Броски: Если бросит key_compare копи-конструктор.

  17. value_comparevalue_compconst;

    : Возвращает значение_сравнительный объект, используемый контейнером.

    Сложность: Постоянная.

    Бросает: Если value_compare копи-конструктор бросает.

  18. boolemptyconst;

    : Возвращается, если контейнер пуст.

    Сложность: Постоянная.

    Броски: Ничего.

  19. size_typesizeconst;

    Эффекты: Возвращает количество элементов, хранящихся в контейнере.

    Сложность: Линейный к элементам, содержащимся в *это, если опция постоянного размера отключена. Постоянное время иначе.

    Бросает: Ничего.

  20. voidswapavltree&other;

    Эффекты: Изменить содержимое двух контейнеров.

    Сложность: Постоянная.

    Броски: Если сравнительный своп функтора бросает вызов.

  21. шаблон<имя типаКлонер,имя типаДиспозитор>пустотаклон_ отпротивavltree&src,Клонерклонер,Диспозитор

    : Диспозитор::оператор()(указатель) не должен бросать. Клонер должен уступить узлам, эквивалентным исходным узлам.

    Эффекты: Стирает все элементы из *этого вызывающего Диспозитора::оператор()(указатель), клонирует все элементы из src, вызывающего Клонера::оператор()(const_reference) и вставляет их на *это. Копирует предикат из исходного контейнера.

    Если клонер бросает, все клонированные элементы несвязаны и расположены, вызывая Диспозитор::оператор()(указатель).

    Сложность: Линейный стертый плюс вставленные элементы.

    Бросок: Если клонер бросает или предикат копирования, задание бросает. Базовая гарантия.

  22. шаблон<имя типа,имя типа>пустотаклон_ отavltree&&src,

    Требует: Диспетчер::оператор()(указатель) не должен бросать. Клонер должен уступить узлам, эквивалентным исходным узлам.

    Эффекты: Стирает все элементы из *этого вызывающего Диспозитора::оператор()(указатель), клонирует все элементы из src, вызывающего Клонера::оператор()(ссылка) и вставляет их на *это. Копирует предикат из исходного контейнера.

    Если клонер бросает, все клонированные элементы несвязаны и расположены, вызывая Диспозитор::оператор()(указатель).

    Сложность: Линейный стертый плюс вставленные элементы.

    Бросок: Если клонер бросает или предикат копирования, задание бросает. Основная гарантия.

    Примечание: Эта версия может модифицировать исходный контейнер, полезный для реализации семантики перемещения.

  23. итераторвставить_равныйэталонноезначение;

    Требует: значение должно быть lvalue

    Эффекты: Вставляет значение в контейнер перед верхней границей.

    Сложность: Средняя сложность для вставочного элемента является самой логарифмической.

    Броски: Если выполняется внутренняя функция key_compare ordering. Сильная гарантия.

    Примечание: Не влияет на достоверность итераторов и ссылок. Копировальными конструкторами не называются.

  24. итераторвставить_равныйconst_iteratorнамек,ссылказначение;

    Требует: Значение должно быть значением l, а «наконечник» должен быть действительным итератором.

    Эффекты: Вставляет х в контейнер, используя «наконечник» в качестве подсказки, где он будет вставлен. Если «подсказка» находится в верхнем узле, вставка занимает постоянное время (два сравнения в худшем случае)

    Сложность: Логарифмическое вообще, но это амортизированное постоянное время, если t вставлено непосредственно перед намёком.

    Бросает: Если выполняется внутренняя функция key_compare ordering. Сильная гарантия.

    Примечание: Не влияет на достоверность итераторов и ссылок. Копировальными конструкторами не называются.

  25. шаблон<имя типаИтератор>пустотавставка_equalИтераторb,e;

    Требует: Ссылочный итератор должен давать значение l типа value_type.

    Эффекты: Вставляет каждый элемент диапазона в контейнер перед верхней границей ключа каждого элемента.

    Сложность: Диапазон вставки, как правило, O(N * log(N)), где N - размер диапазона. Однако она линейна в N, если диапазон уже отсортирован по значению_comp().

    Бросок: Ничего.

    Примечание: Не влияет на достоверность итераторов и ссылок. Копировальными конструкторами не называются.

  26. std::пара<итератор,bool>вставка_уникальнаяэталонноезначение;

    Требует: Значение должно быть значением l

    Эффекты: Вставляет значение в контейнер, если оно еще не присутствует.

    Сложность: Средняя сложность для вставочного элемента является наиболее логарифмической.

    Броски: Ничего.

    Примечание: Не влияет на достоверность итераторов и ссылок. Копировальными конструкторами не называются.

  27. итераторвставка_уникальнаяconst_iteratorподсказка,ссылказначение;

    Требует: Значение должно быть значением l, а «подсказка» должна быть действительным итератором

    : Пытается вставить x в контейнер, используя «наконечник» в качестве подсказки, где он будет вставлен.

    Сложность: Логарифмический вообще, но это амортизированное постоянное время (два сравнения в худшем случае), если t вставлено непосредственно перед намёком.

    Бросает: Ничего.

    Примечание: Не влияет на достоверность итераторов и ссылок. Копировальными конструкторами не называются.

  28. шаблон<имя типаKeyType,std::пара<итератор,bool>вставка_unique_checkконст&ключKeyTypeKeyCompare,вставка_commit_data&]вставка_comm Comp должен быть функцией сравнения, которая вызывает ту же строгую слабую упорядоченность, что и key_compare. Разница в том, что комп сравнивает произвольный ключ с содержащимися значениями.

    Эффекты: Проверяет, можно ли вставить значение в контейнер, используя предоставленный пользователем ключ вместо самого значения.

    Возвращение: Если существует эквивалентное значение, то пара, содержащая итератор, возвращается к уже существующей стоимости и ложна. Если значение может быть вставлено, возвращается истинное значение в возвращенной паре boolean и заполняет «commit_data», которое предназначено для использования с функцией «insert_commit».

    Сложность: Средняя сложность в лучшем случае логарифмическая.

    Броски: Если выполняется функция заказа. Сильная гарантия.

    Примечания: Эта функция используется для повышения производительности при построении стоимостного типа: при наличии эквивалентного значения построенный объект должен быть отброшен. Часто часть узла, которая используется для наложения заказа, намного дешевле в конструировании, чем значение_тип, и эта функция предлагает возможность использовать эту часть для проверки того, будет ли вставка успешной.

    Если проверка прошла успешно, пользователь может построить значение_тип и использовать «insert_commit» для вставки объекта в постоянное время. Это придает полную логарифмическую сложность вставке: check(O(log(N)) + commit(O(1)).

    «commit_data» остается действительным для последующего «insert_commit» только в том случае, если из контейнера больше не вставляются и не стираются объекты.

  29. шаблон<std::пара<итератор<итераторbool>вставка_unique_checkподсказка

    требует[ Comp должен быть функцией сравнения, которая вызывает ту же строгую слабую упорядоченность, что и key_compare. Разница в том, что комп сравнивает произвольный ключ с содержащимися значениями.

    Эффекты: Проверяет, может ли значение быть вставлено в контейнер, используя предоставленный пользователем ключ вместо самого значения, используя «подсказку» в качестве подсказки к тому, где оно будет вставлено.

    Возвращение: Если существует эквивалентное значение, то пара, содержащая итератор, возвращается к уже существующей стоимости и ложна. Если значение может быть вставлено, возвращается истинное значение в возвращенной паре boolean и заполняет «commit_data», которое предназначено для использования с функцией «insert_commit».

    Сложность: Логарифмическое вообще, но это амортизированное постоянное время, если t вставлено непосредственно перед намёком.

    Броски: Если выполняется функция заказа. Сильная гарантия.

    Примечания: Эта функция используется для повышения производительности при построении стоимостного типа: при наличии эквивалентного значения построенный объект должен быть отброшен. Часто часть конструкции, которая используется для наложения заказа, намного дешевле в конструировании, чем значение_тип, и эта функция предлагает возможность использовать этот ключ, чтобы проверить, будет ли вставка успешной.

    Если проверка прошла успешно, пользователь может построить значение_тип и использовать «insert_commit» для вставки объекта в постоянное время. Это может придать полную сложность с постоянным временем для вставки: check(O(1)) + commit(O(1)).

    «commit_data» остается действительным для последующего «insert_commit» только в том случае, если из контейнера больше не вставляются и не стираются объекты.

  30. std::пара<итератор,bool>вставка_unique_checkконстконстключ_тип&ключ,вставка_commit_data&вставка_commit_data&ввод_data;
    ЭффектыПроверяет, можно ли вставить значение в контейнер, используя предоставленный пользователем ключ вместо самого значения.

    Возвращение: Если существует эквивалентное значение, то пара, содержащая итератор, возвращается к уже существующей стоимости и ложна. Если значение может быть вставлено, возвращается истинное значение в возвращенной паре boolean и заполняет «commit_data», которое предназначено для использования с функцией «insert_commit».

    Сложность: Средняя сложность в большинстве случаев логарифмическая.

    Бросок: Если выполняется функция заказа. Сильная гарантия.

  31. std::пара<итератор,>вставка_unique_checkconst_iteratorподсказка,конст_iteratorнамек,констключ_тип&ключ,вставка_commit_data&вставка_commit_data& [ Проверяет, может ли значение быть вставлено в контейнер, используя предоставленный пользователем ключ вместо самого значения, используя «подсказку» в качестве подсказки к тому, где оно будет вставлено.

    Возвращение: Если существует эквивалентное значение, то пара, содержащая итератор, возвращается к уже существующей стоимости и ложна. Если значение может быть вставлено, возвращается истинное значение в возвращенной паре boolean и заполняет «commit_data», которое предназначено для использования с функцией «insert_commit».

    Сложность: Логарифмическое вообще, но это амортизированное постоянное время, если t вставлено непосредственно перед намёком.

    Броски: Если выполняется функция заказа. Сильная гарантия.

  32. итераторвставить_unique_commitэталонноезначение,constвставить_commit_data&вписать_data;

    Требует: Значение должно быть значением типа value_type. commit_data должны быть получены из предыдущего вызова на «insert_check». Никакие объекты не должны были вставляться или стираться из контейнера между «insert_check», который заполнял «commit_data», и призывом «insert_commit»

    : Вставляет значение в контейнер, используя информацию, полученную из «commit_data», которую заполнил предыдущий «insert_check».

    Возвращение: Итератор вновь вставленного объекта.

    Сложность: Постоянное время.

    Бросок: Ничего.

    Примечания: Эта функция имеет смысл только в том случае, если ранее была выполнена «insert_check» для заполнения «commit_data». Не следует вставлять или стирать значение между вызовами «insert_check» и «insert_commit».

  33. шаблон<имя типаИтератор>пустотавставка_уникальнаяИтераторb,e;

    Требует: Ссылочный итератор должен давать значение l типа value_type.

    Эффекты: Пытается вставить каждый элемент диапазона в контейнер.

    Сложность: Диапазон вставки, как правило, O(N * log(N)), где N - размер диапазона. Однако он является линейным в N, если диапазон уже отсортирован по значению_comp().

    Бросок: Ничего.

    Примечание: Не влияет на достоверность итераторов и ссылок. Копировальными конструкторами не называются.

  34. итераторвставить_доconst_iteratorpos,эталонноезначение;

    Требует: Значение должно быть значением l, "pos" должно быть действительным итератором (или концом) и должно быть датчиком значения после вставки в соответствии с предикатом

    : Вставляет х в контейнер до "по".

    Сложность: Постоянное время.

    Броски: Ничего.

    Примечание: Эта функция не проверяет предварительные условия, поэтому, если «pos» не является преемником инварианта упорядочивания контейнера «value», он будет нарушен. Это низкоуровневая функция, которая используется только для повышения производительности продвинутыми пользователями.

  35. voidpush_backэталонноезначение;

    Требует: Значение должно быть lvalue, и оно должно быть не меньше самого большого вставленного ключа

    Эффекты: Вставьте x в контейнер в последнем положении.

    Сложность: Постоянное время.

    Броски: Ничего.

    Примечание: Эта функция не проверяет предварительные условия, поэтому, если значение меньше наибольшего инварианта упорядочивания вставленного ключа, оно будет нарушено. Эта функция немного более эффективна, чем использование «insert_before». Это низкоуровневая функция, которая используется только для повышения производительности продвинутыми пользователями.

  36. voidpush_frontэталонноезначение;

    Требует: Значение должно быть lvalue, и оно не должно быть больше минимального вставленного ключа

    : Вставьте x в контейнер в первом положении.

    Сложность: Постоянное время.

    Броски: Ничего.

    Примечание: Эта функция не проверяет предварительные условия, поэтому, если значение больше минимального инварианта вставленного ключевого контейнера будет нарушено. Эта функция немного более эффективна, чем использование «insert_before». Это низкоуровневая функция, которая используется только для повышения производительности продвинутыми пользователями.

  37. итераторстираниеconst_iterator;

    Эффекты: Стирает элемент, на который указывает i.

    Сложность: Средняя сложность для элемента стирания — постоянное время.

    Броски: Ничего.

    Примечание: Инвалидирует итераторы (но не ссылки) на стертые элементы. Деструкторы не называются.

  38. итераторстираниеconst_iteratorb,const_iteratore;

    Эффекты: Уничтожает диапазон, указанный к концу b. e.

    Сложность: Средняя сложность для диапазона стирания составляет максимум O(log(size()+N)), где N - число элементов в диапазоне.

    Броски: Ничего.

    Примечание: Инвалидирует итераторы (но не ссылки) на стертые элементы. Деструкторы не называются.

  39. size_typeeraseconstkey_type&ключ]

    Эффекты: Стирает все элементы с заданным значением.

    Возврат: Количество стертых элементов.

    Сложность: O(log(size() + N).

    Бросает: Ничего.

    Примечание: Инвалидирует итераторы (но не ссылки) на стертые элементы. Деструкторы не называются.

  40. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare>размер_типстираетконст&ключ,KeyTypeKeyCompare;

    Требует: Ключ является значением, таким, что*эторазделено относительно comp(nk, key) и !comp(key, nk), с Comp(nk, key), подразумевающим !comp(key, nk), с nk ключ_тип значения_тип вставлен в*это.

    Эффекты: Стирает все элементы заданным ключом. Согласно сравнительным функторам "комп".

    Возвращение: Число стертых элементов.

    Сложность: O(log(size() + N).

    Броски: Ничего.

    Примечание: Инвалидирует итераторы (но не ссылки) на стертые элементы. Деструкторы не называются.

  41. шаблон<имя типаДиспетчер>итераторerase_and_disposeconst_iteratori,диспетчер;

    Требует: Диспетчер::оператор()(указатель) не должен бросать

    Эффекты: Стирает элемент, на который указывает i. Утилизатор::оператор()(указатель) вызывается для удаленного элемента.

    Сложность: Средняя сложность для элемента стирания — постоянное время.

    Броски: Ничего.

    Примечание: Инвалидирует итераторы на стертые элементы.

  42. шаблон<имя типаДиспетчер>итераторerase_and_disposeconst_iteratorb,const_iteratore,;
    Требует: Диспетчер::оператор()(указатель) не должен бросать

    Эффекты: Уничтожает диапазон, указанный на b-конце e. Утилизатор::оператор()(указатель) вызывается для удаленных элементов.

    Сложность: Средняя сложность для диапазона стирания составляет максимум O(log(size() + N)), где N - число элементов в диапазоне.

    Броски: Ничего.

    Примечание: Инвалидирует итераторы на стертые элементы.

  43. шаблон<имя типаДиспетчер>размер_типстирать_и_утилизироватьконстключ_тип&ключ,диспетчер;
    Требует: Диспетчер:

    ЭффектыСтирает все элементы с заданным значением. Диспозитор::оператор()(указатель) вызывается для удаленных элементов.

    Возвращение: Число стертых элементов.

    Сложность: O(log(size() + N).

    Бросает: Ничего.

    Примечание: Инвалидирует итераторы (но не ссылки) на стертые элементы. Деструкторы не называются.

  44. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare,имя типаТип>размер_типстереть_и_утилизироватьКонст&ключ,KeyTypeKeyCompare,Утилизатор;

    Требует[23 Ключ - это такое значение, что*эторазделено по отношению к comp(nk, key) и !comp(key, nk), причем comp(nk, key) подразумевает !comp(key, nk) и nk ключ_тип значения_типа, вставленный в*это.

    Требует: Диспетчер::оператор()(указатель) не должен бросать.

    Эффекты: Стирает все элементы заданным ключом. по сравнению с функтором «комп». Диспозитор::оператор()(указатель) вызывается для удаленных элементов.

    Возвращение: Количество стертых элементов.

    Сложность: O(log(size() + N.]

    Броски: Ничего.

    Примечание: Инвалидирует итераторы на стертые элементы.

  45. пустотаясно;

    Эффекты: Стирает все элементы.

    Сложность: Линейный по количеству элементов на контейнере. Если это безопасный режим или авто-разъединить значение_тип. Постоянное время иначе.

    Бросает: Ничего.

    Примечание: Инвалидирует итераторы (но не ссылки) на стертые элементы. Деструкторы не называются.

  46. шаблон<имя типаУтилизатор>пустотаясно_и_утилизировать;

    : Стирает все элементы, вызывающие диспергатор (p), для каждого узла, который должен быть удален.Сложность: Средняя сложность составляет максимум O(log(size()+N)), где N - количество элементов в контейнере.

    Броски: Ничего.

    Примечание: Инвалидирует итераторы (но не ссылки) на стертые элементы. Звонки N раз для удаления функтора.

  47. size_typecountconstkey_type&key]const;

    Эффекты: Возвращает число содержащихся элементов с заданным значением

    Сложность: Логарифмическое к числу содержащихся элементов плюс линейное к числу объектов с заданным значением.

    Бросок: Еслиключ_сравнитебросок.

  48. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare>размер_типподсчётконстKeyTypeKeyCompareконст

    Требует: Ключ - это такое значение, что*эторазделено по отношению к comp(nk, key) и !comp(key, nk), причем comp(nk, key) подразумевает !comp(key, nk), и nk ключ_тип значения_type вставлен в*это.

    Эффекты: Возвращает число содержащихся элементов с заданным ключом

    Сложность: Логарифмическое к числу содержащихся элементов плюс линейное к числу объектов с заданным ключом.

    Бросок: Еслиброски.

  49. итераторнижний_связанныйконстключ_тип&ключ];

    ЭффектыВозвращает итератор к первому элементу, ключ которого не меньше k или конца (), если этот элемент не существует.

    Сложность: Логарифмический.

    Броски: Еслиключ_сравнитебросок.

  50. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare>итераторнижний_boundconstKeyType&ключ,KeyTypeKeyComparecomp);

    Эффекты: Возвращает итератор к первому элементу, ключ которого не меньше k или конца (), если этот элемент не существует.

    Сложность: Логарифмический.

    Броски: Еслиключ_сравнитебросок.

  51. const_iteratorlower_boundconstkey_type&key]const;

    Эффекты: Возвращает итератор к первому элементу, ключ которого не меньше k или конца (), если этот элемент не существует.

    Сложность: Логарифмический.

    Бросок: Еслиключ_сравнитебросок.

  52. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare>const_iteratorнижний_boundconst&ключ,KeyTypeKeyComparecomp)const;

    : Возвращает итератор к первому элементу, ключ которого не меньше k или конца (), если этот элемент не существует.

    Сложность: Логарифмический.

    Бросает: Еслиключ_сравнитебросок.

  53. итераторверхний_связанныйконстключ_тип&ключ;

    Эффекты: Возвращает итератор к первому элементу, ключ которого больше k или конца(), если этот элемент не существует.

    Сложность: Логарифмическая.

    Броски: Еслиключ_сравнитебросок.

  54. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare>итераторверхний_boundconstKeyType&ключ,KeyTypeKeyComparecomp);

    Требует: Ключ - это такое значение, что*эторазделено относительно !comp(ключ, nk), при этом nk ключ_тип значения_тип вставлен в*это.

    Эффекты: Возвращает итератор к первому элементу, ключ которого больше k согласно компу или концу(), если этот элемент не существует.

    Сложность: Логарифмический.

    Бросает:бросок.

  55. const_iteratorupper_boundconstkey_type&ключ]const;

    Эффекты: Возвращает итератор к первому элементу, ключ которого больше k или конца(), если этот элемент не существует.

    Сложность: Логарифмический.

    Бросок: Еслиключ_сравнитебросок.

  56. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare>const_iteratorверхний_boundconstключKeyTypeKeyCompareconst
    требует: Ключ - это такое значение, что*эторазделено относительно !comp(ключ, nk), при этом nk ключ_тип значения_типа вставлен в*это.

    Эффекты: Возвращает итератор к первому элементу, чей ключ больше k согласно comp или end(), если этот элемент не существует.

    Сложность: Логарифмический.

    Бросок: Есликомпбросок.

  57. итераторнайтиconstключ_тип&ключ];

    Эффекты: Найден итератор к первому элементу, ключ которого k или конец(), если этот элемент не существует.

    Сложность: Логарифмическая.

    Броски: Еслиключ_сравнитебросок.

  58. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare>итераторнайтиconst&ключ,KeyTypeKeyCompareкомп;

    Требует: Ключ является значением, таким, что*эторазделено по отношению к comp(nk, key) и !comp(key, nk), с Comp(nk, key), подразумевающим !comp(key, nk), и nk ключ_тип значения_type вставлен в*это.

    Эффекты: Найден итератор к первому элементу, ключ которого k или конец(), если этот элемент не существует.

    Сложность: Логарифмический.

    Броски: Если, тобросок.

  59. const_iteratorfindconstkey_type&ключconst;

    Эффекты: Найден итератор к первому элементу, ключ которого k или конец(), если этот элемент не существует.

    Сложность: Логарифмический.

    Бросок: Еслиключ_сравнитебросок.

  60. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare>const_iteratorнайтиconst&ключ,KeyTypeKeyComparecomp)const;

    Требует: Ключ - это такое значение, что*эторазделено по отношению к comp(nk, key) и !comp(key, nk), причем comp(nk, key) подразумевает !comp(key, nk), и nk ключ_тип значения_type вставлен в*это.

    Эффекты: Найден итератор к первому элементу, ключ которого k или конец(), если этот элемент не существует.

    Сложность: Логарифмический.

    Броски: Еслибросок.

  61. std::пара<итератор,итератор>равный_диапазонконстключ_тип&ключ;

    Эффекты: Найден диапазон, содержащий все элементы, ключ которых k или пустой диапазон, который указывает положение, в котором эти элементы были бы, если бы у них не было элементов с ключом k.

    Сложность: Логарифмический.

    Броски: Еслиключ_сравнитебросок.

  62. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare>std::пара<итератор,итератор>равный_диапазонконст&ключKeyTypeKeyComparecomp);

    Требует: Ключ является значением, таким, что*эторазделено относительно comp(nk, key) и !comp(key, nk), с Comp(nk, key), подразумевающим !comp(key, nk), с nk ключ_тип значения_type вставлен в*это.

    Эффекты: Найден диапазон, содержащий все элементы, ключ которых k или пустой диапазон, который указывает положение, в котором эти элементы были бы, если бы у них не было элементов с ключом k.

    Сложность: Логарифмический.

    Броски: Еслиброски.

  63. std::pair<const_iterator,const_iterator>equal_rangeconst&const;

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

    Сложность: Логарифмический.

    Бросает: Еслиключ_сравнитебросок.

  64. шаблон<имя типаKeyType,имя типаKeyTypeKeyCompare>std::пара<const_iteratorconst_iterator>equal_rangeconstconst&ключключключKeyTypeKeyComparecomp)const;

    Требует: Ключ - это такое значение, что*эторазделено по отношению к comp(nk, key) и !comp(key, nk), причем comp(nk, key) подразумевает !comp(key, nk), причем nk ключ_тип значения_type вставлен в*это.

    Эффекты: Найден диапазон, содержащий все элементы, ключ которых k или пустой диапазон, который указывает положение, в котором эти элементы были бы, если бы у них не было элементов с ключом k.

    Сложность: Логарифмический.

    Броски: Еслиброски.

  65. std::итераторитераторограниченный_диапазоннижний&нижнийключ_тип&верхний_ключлевый_замкнутыйбулправый_замкнутый]
    :нижний_ключне должен предшествоватьнижний_ключнижний_ключ

    Еслинижний_ключэквивалентенверхний_ключверхний_ключ [35

    Эффекты: Возвращает пару со следующими критериями:

    первый = нижний_связанный (нижний_ключ), если левый_закрытый, верхний_связанный (нижний_ключ) в противном случае

    второй = верхний_связанный (верхний_ключ), если правый_закрытый, нижний_связанный (верхний_ключ) в противном случае

    Сложность: Логарифмический.

    Бросает: Еслиключ_сравнитебросок.

    Примечание: Эта функция может быть более эффективной, чем вызов верхнего и нижнего пределов для нижнего и верхнего значений.

    Примечание: Экспериментальная функция, интерфейс может измениться в будущих выпусках.

  66. шаблон<stdитераторитераторограниченный_диапазон[

    верхний_ключявляется значением, таким, что* этотразделен относительно !comp(upper_key, nk), если право_закрыто истинно, в отношении comp(nk, upper_key) иначе.

    верхний_ключне должен предшествоватьнижний_ключв соответствии с компом [comp(upper_key, lower_key) должен быть ложным]

    Еслинижний_ключэквивалентенверхний_ключ[!comp(upper_key, lower_key) && !comp(lower_key, upper_key)] тогда ['left_closed' | | 'right_closed'] должен быть ложным.

    Эффекты: Возвращает пару со следующими критериями:

    первый = нижний_bound(lower_key, comp) если левый_закрытый, верхний_bound(lower_key, comp) в противном случае

    второй = верхний_bound(upper_key, comp) если правый_закрытый, нижний_bound(upper_key, comp) в противном случае

    : Логарифмический.

    Броски: Еслиброски.

    Примечание: Эта функция может быть более эффективной, чем вызов top_bound и lower_bound для low_key и upper_key.

    Примечание: Экспериментальная функция, интерфейс может измениться в будущих выпусках.

  67. std::const_iteratorconst_iteratorkey_type&key_type&top_keyleft_closed,boolright_closedconst

    :upper_keyдолжен быть ложнымlower_key

    Еслиlower_keyэквивалентенupper_key[!key_comp() [upper_key, lower_key] &

    Эффекты: Возвращает пару со следующими критериями:

    первый = нижний_bound(lower_key) если левый_замкнут, верхний_bound(lower_key) иначе

    второй = верхний_bound(upper_key) если правый_замкнут, нижний_bound(upper_key) иначе

    : Логарифмический.

    Бросает: Еслиkey_comparethrows.

    Примечание: Эта функция может быть более эффективной, чем вызов верхнего и нижнего пределов для нижнего и верхнего значений.

    Примечание: Экспериментальная функция, интерфейс может измениться в будущих выпусках.

  68. шаблон<имя типаKeyType>std::пара<const_iterator>const_iterator>ограниченный_range&]нижний_key&нижний_key&верхний_key&верхний_key,[3849

    верхний_ключявляется значением, таким, что* этотразделен относительно !comp(upper_key, nk), если право_закрыто истинно, в отношении comp(nk, upper_key) иначе.

    верхний_ключне должен предшествоватьнижний_ключв соответствии с компом [комп(верхний_ключ, нижний_ключ) должен быть ложным]

    Еслинижний ключэквивалентенверхний ключ[!comp(upper_key, lower_key) && !comp(lower_key, upper_key)], то ('left_closed' | | 'right_closed') должен быть ложным.

    Эффекты: Возвращает пару со следующими критериями:

    первый = нижний_связанный (lower_key, comp), если левый_закрытый, верхний_связанный (lower_key, comp) в противном случае

    второй = верхний_связанный (upper_key, comp) если правый_закрытый, нижний_связанный (upper_key, comp) в противном случае

    Сложность: Логарифмический.

    Бросает: Есликомпбросает.

    Примечание: Эта функция может быть более эффективной, чем вызов top_bound и lower_bound для low_key и upper_key.

    Примечание: Экспериментальная функция, интерфейс может измениться в будущих выпусках.

  69. итераторитератор_toэталонноезначение;

    Требует: Значение должно быть lvalue и должно быть в наборе соответствующего типа. В противном случае поведение не определено.

    Эффекты: Возвращение: а действительный итератор i, относящийся к набору, который указывает на значение

    Сложность: Постоянная.

    Броски: Ничего.

  70. const_iteratoriterator_toconst_referenceзначение]const;

    Требует: Значение должно быть lvalue и должно быть в наборе соответствующего типа. В противном случае поведение не определено.

    Эффекты: Возврат: действительный const_iterator i, принадлежащий множеству, которое указывает на значение

    Сложность: Постоянная.

    Бросает: Ничего.

  71. указательunlink_leftmost_without_rebalance;

    : Отсоединяет левый узел от контейнера.

    Сложность: Средняя сложность — это постоянное время.

    Броски: Ничего.

    Примечания: Эта функция разрушает контейнер, и контейнер может использоваться только для дополнительных вызовов unlink_leftmost_without_rebalance. Эта функция обычно используется для достижения поэтапного контролируемого разрушения контейнера.

  72. voidreplace_nodeiteratorreplace_this,referencewith_this;

    Требует: Заменить_это должен быть действительный итератор *это и с_это не должно быть вставлено в любой контейнер.

    Эффекты: Заменяет замену_this в своем положении в контейнере с_this. Контейнер не нужно перебалансировать.

    Сложность:

    Бросает: Ничего.

    Примечание: Эта функция будет нарушать инварианты заказа контейнера, если с_это не эквивалентно *заменить_это в соответствии с правилами заказа. Эта функция быстрее, чем стирание и вставка узла, поскольку не требуется перебалансировки или сравнения.

  73. voidremove_nodereferencevalue;

    Effects: removes "value" from the container.

    Броски: Ничего.

    Сложность: Логарифмическое время.

    Примечание: Эта статическая функция может использоваться только в непостоянных контейнерах с размером времени, которые имеют функторы сравнения без состояния.

    Если пользователь называет эту функцию контейнером с постоянным размером времени или функтором сравнения состояния, будет выпущена ошибка компиляции.

  74. шаблон<имя типа,класс...пустотаслияние_уникальноеavltree<>]&;

    требует: Варианты контейнера "источник" могут отличаться только функцией сравнения от *этого.

    Эффекты: Попытки извлечь каждый элемент из источника и вставить его в объект сравнения *это. Если в элементе есть ключ, эквивалентный ключу элемента из источника, то этот элемент не извлекается из источника.

    Посткондиционер: Указатели и ссылки на переданные элементы источника относятся к тем же элементам, но как к членам этого. Итераторы, относящиеся к переданным элементам, будут продолжать ссылаться на их элементы, но теперь они ведут себя как итераторы в это, а не в источник.

    Бросок: Ничего, если объект сравнения не бросит.

    Сложность: N log(a.size() + N) (N имеет значение source.size())

  75. шаблон<класс...Варианты2>пустотаслияние_равноеavltree<>]&&;

    требуетВарианты контейнера "источник" могут отличаться только функцией сравнения от *этого.

    Эффекты: Извлекает каждый элемент в источнике и вставляет его в объект сравнения *это.

    Посткондиция: Указатели и ссылки на переданные элементы источника относятся к тем же элементам, но как к членам этого. Итераторы, относящиеся к переданным элементам, будут продолжать ссылаться на их элементы, но теперь они ведут себя как итераторы в это, а не в источник.

    Бросок: Ничего, если объект сравнения не бросит.

    Сложность: N log(a.size() + N) (N имеет значение source.size())

avltree public static functions

  1. статическийavltree&контейнер_from_end_iteratorитераторконечный_iterator;

    : конечный_iterator должен быть действительным конечным итератором контейнера.

    Эффекты: Возвращает ссылку на контейнер, связанный с конечным итератором

    Бросает: Ничего.

    Сложность: Константа.

  2. constavltree&container_from_end_iteratorconst_iteratorend_iterator];

    : end_iterator должен быть действительным конечным итератором контейнера.

    Эффекты: Возвращает конст-ссылку на контейнер, связанный с конечным итератором

    Бросает: Ничего.

    Сложность: Константа.

  3. статическийavltree&контейнер_from_iteratorитераторон;

    Предварительное условие: он должен быть действительным итератором контейнера.

    Эффекты: Возвращает ссылку на контейнер, связанный с итератором

    Бросает: Ничего.

    Сложность: Логарифмический.

  4. статическийconstavltree&контейнер_from_iteratorconst_iterator;

    Предварительное условие: он должен быть действительным итератором контейнера.

    Эффекты: Возвращает ссылку на контейнер, связанный с итератором

    Бросает: Ничего.

    Сложность: Логарифмический.

  5. статическийитераторs_iterator_toэталонноезначение;

    Требует: Значение должно быть lvalue и должно быть в наборе соответствующего типа. В противном случае поведение не определено.

    Эффекты: Возвращение: a действительный итератор i, относящийся к набору, который указывает на значение

    Сложность: Постоянная.

    Бросает: Ничего.

    Примечание: Эта статическая функция доступна только в том случае, если значенияне имеют состояния.

  6. статическийconst_iterators_iterator_toconst_reference;

    Требует: Значение должно быть lvalue и должно быть в наборе соответствующего типа. В противном случае поведение не определено.

    Последствия: Возврат: действительный итератор i, относящийся к набору, который указывает на значение

    Сложность: Постоянная.

    Бросает: Ничего.

    Примечание: Эта статическая функция доступна только в том случае, если значенияне имеют состояния.

  7. статическийпустойinit_nodeэталонноезначение;

    Требует: Стоимость не должна находиться в контейнере.

    Эффекты: Init_node ставит крючок значения в известное состояние по умолчанию.

    Бросает: Ничего.

    Сложность: Постоянное время.

    Примечание: Эта функция помещает крюк в известное состояние по умолчанию, используемое auto_unlink и безопасными крючками.


PrevUpHomeNext

Статья Class template avltree раздела The Boost C++ Libraries BoostBook Documentation Subset Reference может быть полезна для разработчиков на c++ и boost.




Материалы статей собраны из открытых источников, владелец сайта не претендует на авторство. Там где авторство установить не удалось, материал подаётся без имени автора. В случае если Вы считаете, что Ваши права нарушены, пожалуйста, свяжитесь с владельцем сайта.



:: Главная :: Reference ::


реклама


©KANSoftWare (разработка программного обеспечения, создание программ, создание интерактивных сайтов), 2007
Top.Mail.Ru

Время компиляции файла: 2024-08-30 11:47:00
2025-07-05 01:06:45/0.015235900878906/0