sfl::segmented_vector

Table of Contents

Summary
Template Parameters
Public Member Types
Public Data Members
- segment_capacity
Public Member Functions
- (constructor)
- (destructor)
- assign
- assign_range
- operator=
- get_allocator
- begin, cbegin
- end, cend
- rbegin, crbegin
- rend, crend
- nth
- index_of
- empty
- size
- max_size
- capacity
- available
- reserve
- shrink_to_fit
- at
- operator[]
- front
- back
- clear
- emplace
- insert
- insert_range
- emplace_back
- push_back
- append_range
- pop_back
- erase
- resize
- swap
Non-member Functions
- operator==
- operator!=
- operator<
- operator>
- operator<=
- operator>=
- swap
- erase
- erase_if

Summary

Defined in header sfl/segmented_vector.hpp:

namespace sfl
{
    template < typename T,
               std::size_t N,
               typename Allocator = std::allocator<T> >
    class segmented_vector;
}

sfl::segmented_vector is a sequence container similar to std::vector that allows fast insertion and deletion at its end.

The storage of segmented vector consists of a sequence of individually allocated arrays of size N which are referred to as segments. Elements of segmented vector are not stored contiguously in the memory, but they are stored contiguously within a segment. Size N is specified at the compile time as a template parameter.

Iterators to elements are random access iterators and they meet the requirements of LegacyRandomAccessIterator.

Indexed access to elements (operator[] and at) must perform two pointer dereferences.

sfl::segmented_vector is not specialized for bool.

sfl::segmented_vector meets the requirements of Container, AllocatorAwareContainer, ReversibleContainer and SequenceContainer.

sfl::segmented_vector can be used in C++20 constant expressions. However, sfl::segmented_vector objects generally cannot be constexpr, because any dynamically allocated storage must be released in the same evaluation of constant expression.

Key differences between segmented_vector and segmented_devector:

segmented_vector allows fast insertion and deletion only at its end and segmented_devector allows fast insertion and deletion at both its beginning and its end.
segmented_vector has much faster random access (nth, operator[] and at) than segmented_devector.

Template Parameters

```
typename T
```
The type of the elements.
```
std::size_t N
```
Segment size, i.e. the maximal number of elements that can fit into a segment.

This parameter must be greater than zero.
```
typename Allocator
```
Allocator used for memory allocation/deallocation and construction/destruction of elements.

This type must meet the requirements of Allocator.

The program is ill-formed if Allocator::value_type is not the same as T.

Public Member Types

Member Type	Definition
`allocator_type`	`Allocator`
`value_type`	`T`
`size_type`	Unsigned integer type
`difference_type`	Signed integer type
`reference`	`T&`
`const_reference`	`const T&`
`pointer`	Pointer to `value_type`
`const_pointer`	Pointer to `const value_type`
`iterator`	LegacyRandomAccessIterator to `value_type`
`const_iterator`	LegacyRandomAccessIterator to `const value_type`
`reverse_iterator`	`std::reverse_iterator<iterator>`
`const_reverse_iterator`	`std::reverse_iterator<const_iterator>`

Public Data Members

segment_capacity

static constexpr size_type segment_capacity = N;

Public Member Functions

(constructor)

```
segmented_vector();
```
```
explicit segmented_vector(const Allocator& alloc);
```
Effects: Constructs an empty container.

Complexity: Constant.
```
segmented_vector(size_type n);
```
```
explicit segmented_vector(size_type n, const Allocator& alloc);
```
Effects: Constructs the container with n default-constructed elements.

Complexity: Linear in n.

segmented_vector(size_type n, const T& value);

```
segmented_vector(size_type n, const T& value, const Allocator& alloc);
```
Effects: Constructs the container with n copies of elements with value value.

Complexity: Linear in n.

template <typename InputIt>
segmented_vector(InputIt first, InputIt last);

```
template <typename InputIt>
segmented_vector(InputIt first, InputIt last, const Allocator& alloc);
```
Effects: Constructs the container with the contents of the range [first, last).

Note: This overload participates in overload resolution only if InputIt satisfies requirements of LegacyInputIterator.

Complexity: Linear in std::distance(first, last).

segmented_vector(std::initializer_list<T> ilist);

```
segmented_vector(std::initializer_list<T> ilist, const Allocator& alloc);
```
Effects: Constructs the container with the contents of the initializer list ilist.

Complexity: Linear in ilist.size().

segmented_vector(const segmented_vector& other);

```
segmented_vector(const segmented_vector& other, const Allocator& alloc);
```
Effects: Copy constructor. Constructs the container with the copy of the contents of other.

Complexity: Linear in other.size().

segmented_vector(segmented_vector&& other);

```
segmented_vector(segmented_vector&& other, const Allocator& alloc);
```
Effects: Move constructor. Constructs the container with the contents of other using move semantics.
- Overload (13):
  - other is guaranteed to be empty after the move.
- Overload (14):
  - other is not guaranteed to be empty after the move.
  - other is in a valid but unspecified state after the move.
Complexity:
- Overload (13): Constant.
- Overload (14): Constant if alloc == other.get_alloc(), otherwise linear.

template <typename Range>
segmented_vector(sfl::from_range_t, Range&& range);

```
template <typename Range>
segmented_vector(sfl::from_range_t, Range&& range, const Allocator& alloc);
```
Effects: Constructs the container with the contents of range.

Note: It is available in C++11. In C++20 are used proper C++20 range concepts.

(destructor)

```
~segmented_vector();
```
Effects: Destructs the container. The destructors of the elements are called and the used storage is deallocated.

Complexity: Linear in size().

assign

```
void assign(size_type n, const T& value);
```
Effects: Replaces the contents of the container with n copies of value value.

Complexity: Linear in n.
```
template <typename InputIt>
void assign(InputIt first, InputIt last);
```
Effects: Replaces the contents of the container with the contents of the range [first, last).

Note: This overload participates in overload resolution only if InputIt satisfies requirements of LegacyInputIterator.

Note: The behavior is undefined if either first or last is an iterator into *this.

Complexity: Linear in std::distance(first, last).
```
void assign(std::initializer_list<T> ilist);
```
Effects: Replaces the contents of the container with the contents of the initializer list ilist.

Complexity: Linear in ilist.size().

assign_range

```
template <typename Range>
void assign_range(Range&& range);
```
Effects: Replaces the contents of the container with the contents of range.

Note: It is available in C++11. In C++20 are used proper C++20 range concepts.

operator=

```
segmented_vector& operator=(const segmented_vector& other);
```
Effects: Copy assignment operator. Replaces the contents with a copy of the contents of other.

Returns: *this.
```
segmented_vector& operator=(segmented_vector&& other);
```
Effects: Move assignment operator. Replaces the contents with those of other using move semantics.

other is not guaranteed to be empty after the move.

other is in a valid but unspecified state after the move.

Returns: *this.
```
segmented_vector& operator=(std::initializer_list<T> ilist);
```
Effects: Replaces the contents with those identified by initializer list ilist.

Returns: *this.

get_allocator

```
allocator_type get_allocator() const noexcept;
```
Effects: Returns the allocator associated with the container.

Complexity: Constant.

begin, cbegin

```
iterator begin() noexcept;
```
```
const_iterator begin() const noexcept;
```
```
const_iterator cbegin() const noexcept;
```
Effects: Returns an iterator to the first element of the container. If the container is empty, the returned iterator will be equal to end().

Complexity: Constant.

end, cend

```
iterator end() noexcept;
```
```
const_iterator end() const noexcept;
```
```
const_iterator cend() const noexcept;
```
Effects: Returns an iterator to the element following the last element of the container. This element acts as a placeholder; attempting to access it results in undefined behavior.

Complexity: Constant.

rbegin, crbegin

```
reverse_iterator rbegin() noexcept;
```

const_reverse_iterator rbegin() const noexcept;

```
const_reverse_iterator crbegin() const noexcept;
```
Effects: Returns a reverse iterator to the first element of the reversed container. It corresponds to the last element of the non-reversed container. If the container is empty, the returned iterator is equal to rend().

Complexity: Constant.

rend, crend

```
reverse_iterator rend() noexcept;
```

const_reverse_iterator rend() const noexcept;

```
const_reverse_iterator crend() const noexcept;
```
Effects: Returns a reverse iterator to the element following the last element of the reversed container. It corresponds to the element preceding the first element of the non-reversed container. This element acts as a placeholder, attempting to access it results in undefined behavior.

Complexity: Constant.

nth

```
iterator nth(size_type pos) noexcept;
```
```
const_iterator nth(size_type pos) const noexcept;
```
Preconditions: pos <= size()

Effects: Returns an iterator to the element at position pos.

If pos == size(), the returned iterator is equal to end().

Complexity: Constant.

index_of

```
size_type index_of(const_iterator pos) const noexcept;
```
Preconditions: cbegin() <= pos && pos <= cend()

Effects: Returns position of the element pointed by iterator pos, i.e. std::distance(begin(), pos).

If pos == end(), the returned value is equal to size().

Complexity: Constant.

empty

```
bool empty() const noexcept;
```
Effects: Returns true if the container has no elements, i.e. whether begin() == end().

Complexity: Constant.

size

```
size_type size() const noexcept;
```
Effects: Returns the number of elements in the container, i.e. std::distance(begin(), end()).

Complexity: Constant.

max_size

```
size_type max_size() const noexcept;
```
Effects: Returns the maximum number of elements the container is able to hold, i.e. std::distance(begin(), end()) for the largest container.

Complexity: Constant.

capacity

```
size_type capacity() const noexcept;
```
Effects: Returns the number of elements that the container has currently allocated space for.

Complexity: Constant.

available

```
size_type available() const noexcept;
```
Effects: Returns the number of elements that can be inserted into the container without requiring allocation of additional memory.

Complexity: Constant.

reserve

```
void reserve(size_type new_capacity);
```
Effects: Tries to increase capacity by allocating additional memory.

If new_capacity > capacity(), the function allocates additional memory such that capacity becomes greater than or equal to new_capacity. Otherwise, the function does nothing.

This function does not change size of the container.

If the capacity is changed, all iterators to the elements are invalidated, but references and pointers to elements remain valid. Otherwise, no iterators or references are invalidated.

shrink_to_fit

```
void shrink_to_fit();
```
Effects: Tries to reduce memory usage by freeing unused memory.

This function does not change size of the container.

If the capacity is changed, all iterators to the elements are invalidated, but references and pointers to elements remain valid. Otherwise, no iterators or references are invalidated.

at

```
reference at(size_type pos);
```
```
const_reference at(size_type pos) const;
```
Effects: Returns a reference to the element at specified location pos, with bounds checking.

Complexity: Constant.

Exceptions: std::out_of_range if pos >= size().

operator[]

reference operator[](size_type pos) noexcept;

```
const_reference operator[](size_type pos) const noexcept;
```
Preconditions: pos < size()

Effects: Returns a reference to the element at specified location pos. No bounds checking is performed.

Note: This operator never inserts a new element into the container.

Complexity: Constant.

front

```
reference front() noexcept;
```
```
const_reference front() const noexcept;
```
Preconditions: !empty()

Effects: Returns a reference to the first element in the container.

Complexity: Constant.

back

```
reference back() noexcept;
```
```
const_reference back() const noexcept;
```
Preconditions: !empty()

Effects: Returns a reference to the last element in the container.

Complexity: Constant.

clear

```
void clear() noexcept;
```
Effects: Erases all elements from the container. After this call, size() returns zero and capacity() remains unchanged.

Complexity: Linear in size().

emplace

```
template <typename... Args>
iterator emplace(const_iterator pos, Args&&... args);
```
Preconditions: cbegin() <= pos && pos <= cend()

Effects: Inserts a new element into the container at position pos.

New element is constructed as value_type(std::forward<Args>(args)...).

args... may directly or indirectly refer to a value in the container.

Returns: Iterator to the inserted element.

Complexity: Constant plus linear in std::distance(pos, end()).

insert

```
iterator insert(const_iterator pos, const T& value);
```
Preconditions: cbegin() <= pos && pos <= cend()

Effects: Inserts copy of value at position pos.

Returns: Iterator to the inserted element.

Complexity: Constant plus linear in std::distance(pos, end()).
```
iterator insert(const_iterator pos, T&& value);
```
Preconditions: cbegin() <= pos && pos <= cend()

Effects: Inserts value using move semantics at position pos.

Returns: Iterator to the inserted element.

Complexity: Constant plus linear in std::distance(pos, end()).
```
iterator insert(const_iterator pos, size_type n, const T& value);
```
Preconditions: cbegin() <= pos && pos <= cend()

Effects: Inserts n copies of value before position pos.

Returns: Iterator to the first element inserted, or pos if n == 0.

Complexity: Linear in n plus linear in std::distance(pos, end()).
```
template <typename InputIt>
iterator insert(const_iterator pos, InputIt first, InputIt last);
```
Preconditions: cbegin() <= pos && pos <= cend()

Effects: Inserts elements from the range [first, last) before position pos.

Note: This overload participates in overload resolution only if InputIt satisfies requirements of LegacyInputIterator.

Note: The behavior is undefined if either first or last is an iterator into *this.

Returns: Iterator to the first element inserted, or pos if first == last.

Complexity: Linear in std::distance(first, last) plus linear in std::distance(pos, end()).
```
iterator insert(const_iterator pos, std::initializer_list<T> ilist);
```
Preconditions: cbegin() <= pos && pos <= cend()

Effects: Inserts elements from initializer list ilist before position pos.

Returns: Iterator to the first element inserted, or pos if ilist is empty.

Complexity: Linear in ilist.size() plus linear in std::distance(pos, end()).

insert_range

```
template <typename Range>
iterator insert_range(const_iterator pos, Range&& range);
```
Effects: Inserts elements from range before position pos. Elements are inserted in non-reversing order.

range must not overlap with the container. Otherwise, the behavior is undefined.

Returns: Iterator to the first element inserted, or pos if range is empty.

Note: It is available in C++11. In C++20 are used proper C++20 range concepts.

emplace_back

```
template <typename... Args>
reference emplace_back(Args&&... args);
```
Effects: Inserts a new element at the end of container.

New element is constructed as value_type(std::forward<Args>(args)...).

Returns: Reference to the inserted element.

Complexity: Constant.

push_back

```
void push_back(const T& value);
```
Effects: Inserts copy of value at the end of container.

Complexity: Constant.
```
void push_back(T&& value);
```
Effects: Inserts value using move semantics at the end of container.

Complexity: Constant.

append_range

```
template <typename Range>
void append_range(Range&& range);
```
Effects: Inserts elements from range before end(). Elements are inserted in non-reversing order.

Note: It is available in C++11. In C++20 are used proper C++20 range concepts.

pop_back

```
void pop_back();
```
Preconditions: !empty()

Effects: Removes the last element of the container.

Complexity: Constant.

erase

```
iterator erase(const_iterator pos);
```
Preconditions: cbegin() <= pos && pos < cend()

Effects: Removes the element at pos.

Returns: Iterator following the last removed element.

If pos refers to the last element, then the end() iterator is returned.
```
iterator erase(const_iterator first, const_iterator last);
```
Preconditions: cbegin() <= first && first <= last && last <= cend()

Effects: Removes the elements in the range [first, last).

Returns: Iterator following the last removed element.

If last == end() prior to removal, then the updated end() iterator is returned.

If [first, last) is an empty range, then last is returned.

resize

```
void resize(size_type n);
```
Effects: Resizes the container to contain n elements.
1. If the size() > n, the last size() - n elements are removed.
2. If the size() < n, additional default-constructed elements are inserted at the end of container.
```
void resize(size_type n, const T& value);
```
Effects: Resizes the container to contain n elements.
1. If the size() > n, the last size() - n elements are removed.
2. If the size() < n, additional copies of value are inserted at the end of container.

swap

```
void swap(segmented_vector& other) noexcept;
```
Preconditions: std::allocator_traits<allocator_type>::propagate_on_container_swap::value || get_allocator() == other.get_allocator()

Effects: Exchanges the contents of the container with those of other.

Complexity: Constant.

Non-member Functions

operator==

```
template <typename T, std::size_t N, typename A>
bool operator==
(
    const segmented_vector<T, N, A>& x,
    const segmented_vector<T, N, A>& y
);
```
Effects: Checks if the contents of x and y are equal.

The contents of x and y are equal if the following conditions hold:
- x.size() == y.size()
- Each element in x compares equal with the element in y at the same position.
Returns: true if the contents of the x and y are equal, false otherwise.

Complexity: Constant if x and y are of different size, otherwise linear in the size of the container.

operator!=

```
template <typename T, std::size_t N, typename A>
bool operator!=
(
    const segmented_vector<T, N, A>& x,
    const segmented_vector<T, N, A>& y
);
```
Effects: Checks if the contents of x and y are equal.

For details see operator==.

Returns: true if the contents of the x and y are not equal, false otherwise.

Complexity: Constant if x and y are of different size, otherwise linear in the size of the container.

operator<

```
template <typename T, std::size_t N, typename A>
bool operator<
(
    const segmented_vector<T, N, A>& x,
    const segmented_vector<T, N, A>& y
);
```
Effects: Compares the contents of x and y lexicographically. The comparison is performed by a function std::lexicographical_compare.

Returns: true if the contents of the x are lexicographically less than the contents of y, false otherwise.

Complexity: Linear in the size of the container.

operator>

```
template <typename T, std::size_t N, typename A>
bool operator>
(
    const segmented_vector<T, N, A>& x,
    const segmented_vector<T, N, A>& y
);
```
Effects: Compares the contents of x and y lexicographically. The comparison is performed by a function std::lexicographical_compare.

Returns: true if the contents of the x are lexicographically greater than the contents of y, false otherwise.

Complexity: Linear in the size of the container.

operator<=

```
template <typename T, std::size_t N, typename A>
bool operator<=
(
    const segmented_vector<T, N, A>& x,
    const segmented_vector<T, N, A>& y
);
```
Effects: Compares the contents of x and y lexicographically. The comparison is performed by a function std::lexicographical_compare.

Returns: true if the contents of the x are lexicographically less than or equal to the contents of y, false otherwise.

Complexity: Linear in the size of the container.

operator>=

```
template <typename T, std::size_t N, typename A>
bool operator>=
(
    const segmented_vector<T, N, A>& x,
    const segmented_vector<T, N, A>& y
);
```
Effects: Compares the contents of x and y lexicographically. The comparison is performed by a function std::lexicographical_compare.

Returns: true if the contents of the x are lexicographically greater than or equal to the contents of y, false otherwise.

Complexity: Linear in the size of the container.

swap

template <typename T, std::size_t N, typename A>
void swap
(
    segmented_vector<T, N, A>& x,
    segmented_vector<T, N, A>& y
);

Effects: Swaps the contents of x and y. Calls x.swap(y).

erase

template <typename T, std::size_t N, typename A, typename U>
typename segmented_vector<T, N, A>::size_type
    erase(segmented_vector<T, N, A>& c, const U& value);

Effects: Erases all elements that compare equal to value from the container.

Returns: The number of erased elements.

Complexity: Linear.

erase_if

```
template <typename T, std::size_t N, typename A, typename Predicate>
typename segmented_vector<T, N, A>::size_type
    erase_if(segmented_vector<T, N, A>& c, Predicate pred);
```
Effects: Erases all elements that satisfy the predicate pred from the container.

pred is unary predicate which returns true if the element should be removed.

Returns: The number of erased elements.

Complexity: Linear.

End of document.

FilesExpand file tree

segmented_vector.md

Latest commit

History

segmented_vector.md

File metadata and controls

sfl::segmented_vector

Summary

Template Parameters

Public Member Types

Public Data Members

segment_capacity

Public Member Functions

(constructor)

(destructor)

assign

assign_range

operator=

get_allocator

begin, cbegin

end, cend

rbegin, crbegin

rend, crend

nth

index_of

empty

size

max_size

capacity

available

reserve

shrink_to_fit

at

operator[]

front

back

clear

emplace

insert

insert_range

emplace_back

push_back

append_range

pop_back

erase

resize

swap

Non-member Functions

operator==

operator!=

operator<

operator>

operator<=

operator>=

swap

erase

erase_if