5#ifndef DUNE_COMMON_RESERVEDVECTOR_HH
6#define DUNE_COMMON_RESERVEDVECTOR_HH
18#include <initializer_list>
22#ifdef CHECK_RESERVEDVECTOR
23#define CHECKSIZE(X) assert(X)
25#define CHECKSIZE(X) {}
45 template<
class T,
int n>
48 using storage_type = std::array<T,n>;
57 typedef typename storage_type::pointer
pointer;
69 typedef typename storage_type::iterator
iterator;
90 noexcept(std::is_nothrow_default_constructible_v<value_type>)
99 noexcept(std::is_nothrow_copy_assignable_v<value_type> &&
108 template<
class InputIt,
109 std::enable_if_t<std::is_convertible_v<typename std::iterator_traits<InputIt>::value_type,
value_type>,
int> = 0>
111 noexcept(std::is_nothrow_copy_assignable_v<value_type> &&
115 for (
size_type i=0; i<n && first!=last; ++i,++size_)
116 storage_[i] = *first++;
117 assert(first == last);
122 noexcept(std::is_nothrow_copy_assignable_v<value_type> &&
134 if (
size() != that.size())
137 if (!(storage_[i]==that.storage_[i]))
145 return !(*
this == that);
152 if (storage_[i] < that.storage_[i])
return true;
153 if (that.storage_[i] < storage_[i])
return false;
155 return size() < that.size();
167 return !(*
this > that);
173 return !(*
this < that);
195 noexcept(std::is_nothrow_copy_assignable_v<value_type>)
198 storage_[size_++] = t;
203 noexcept(std::is_nothrow_move_assignable_v<value_type>)
206 storage_[size_++] = std::move(t);
210 template<
class... Args>
212 noexcept(std::is_nothrow_constructible_v<
value_type,
decltype(args)...>)
221 ::new (
const_cast<void*
>(
static_cast<const volatile void*
>(p)))
229 if (!
empty()) size_--;
239 return storage_.begin();
245 return storage_.begin();
251 return storage_.cbegin();
275 return storage_.begin()+
size();
281 return storage_.begin()+
size();
287 return storage_.cbegin()+
size();
316 throw std::out_of_range(
"Index out of range");
324 throw std::out_of_range(
"Index out of range");
360 return storage_[size_-1];
367 return storage_[size_-1];
373 return storage_.data();
379 return storage_.data();
393 constexpr bool empty() const noexcept
416 noexcept(std::is_nothrow_copy_assignable_v<value_type>)
424 noexcept(std::is_nothrow_swappable_v<value_type>)
427 swap(storage_, other.storage_);
428 swap(size_, other.size_);
443 return hash_range(v.storage_.data(),v.storage_.data()+v.size_);
447 storage_type storage_;
Support for calculating hash values of objects.
#define DUNE_DEFINE_HASH(template_args, type)
Defines the required struct specialization to make type hashable via Dune::hash.
Definition hash.hh:100
#define DUNE_HASH_TYPE(...)
Wrapper macro for the type to be hashed in DUNE_DEFINE_HASH.
Definition hash.hh:117
#define DUNE_HASH_TEMPLATE_ARGS(...)
Wrapper macro for the template arguments in DUNE_DEFINE_HASH.
Definition hash.hh:109
#define CHECKSIZE(X)
Definition reservedvector.hh:25
Dune namespace.
Definition alignedallocator.hh:13
std::size_t hash_range(It first, It last)
Hashes all elements in the range [first,last) and returns the combined hash.
Definition hash.hh:322
A Vector class with statically reserved memory.
Definition reservedvector.hh:47
constexpr const_reference front() const noexcept
Returns const reference to first element of vector.
Definition reservedvector.hh:350
constexpr const_reverse_iterator crend() const noexcept
Returns a const reverse-iterator pointing to the begin of the vector.
Definition reservedvector.hh:303
constexpr ReservedVector(size_type count) noexcept(std::is_nothrow_default_constructible_v< value_type >)
Constructs the vector with count elements that will be default-initialized.
Definition reservedvector.hh:89
constexpr void fill(const value_type &value) noexcept(std::is_nothrow_copy_assignable_v< value_type >)
Fill the container with the value.
Definition reservedvector.hh:415
storage_type::pointer pointer
Pointer to T.
Definition reservedvector.hh:57
constexpr reverse_iterator rbegin() noexcept
Returns a const reverse-iterator pointing to the end of the vector.
Definition reservedvector.hh:255
constexpr bool operator<=(const ReservedVector &that) const noexcept
Lexicographically compares the values in the vector this with that
Definition reservedvector.hh:165
constexpr bool operator>(const ReservedVector &that) const noexcept
Lexicographically compares the values in the vector this with that
Definition reservedvector.hh:159
constexpr const_reverse_iterator rend() const noexcept
Returns a const reverse-iterator pointing to the begin of the vector.
Definition reservedvector.hh:297
static constexpr size_type max_size() noexcept
Returns the maximum length of the vector.
Definition reservedvector.hh:405
constexpr const_reference at(size_type i) const
Returns a const reference to the i'th element.
Definition reservedvector.hh:321
std::reverse_iterator< iterator > reverse_iterator
Reverse iterator.
Definition reservedvector.hh:73
constexpr iterator end() noexcept
Returns an iterator pointing to the end of the vector.
Definition reservedvector.hh:273
constexpr bool operator<(const ReservedVector &that) const noexcept
Lexicographically compares the values in the vector this with that
Definition reservedvector.hh:149
constexpr size_type size() const noexcept
Returns number of elements in the vector.
Definition reservedvector.hh:387
constexpr bool empty() const noexcept
Returns true if vector has no elements.
Definition reservedvector.hh:393
constexpr iterator begin() noexcept
Returns a iterator pointing to the beginning of the vector.
Definition reservedvector.hh:237
constexpr void push_back(const value_type &t) noexcept(std::is_nothrow_copy_assignable_v< value_type >)
Appends an element to the end of a vector, up to the maximum size n, O(1) time.
Definition reservedvector.hh:194
constexpr reverse_iterator rend() noexcept
Returns a const reverse-iterator pointing to the begin of the vector.
Definition reservedvector.hh:291
storage_type::iterator iterator
Iterator used to iterate through a vector.
Definition reservedvector.hh:69
constexpr const_iterator cbegin() const noexcept
Returns a const_iterator pointing to the beginning of the vector.
Definition reservedvector.hh:249
std::reverse_iterator< const_iterator > const_reverse_iterator
Const reverse iterator.
Definition reservedvector.hh:75
constexpr pointer data() noexcept
Returns pointer to the underlying memory.
Definition reservedvector.hh:371
constexpr const_reference back() const noexcept
Returns const reference to last element of vector.
Definition reservedvector.hh:364
friend std::ostream & operator<<(std::ostream &s, const ReservedVector &v)
Send ReservedVector to an output stream.
Definition reservedvector.hh:434
constexpr bool operator==(const ReservedVector &that) const noexcept
Compares the values in the vector this with that for equality.
Definition reservedvector.hh:132
constexpr void pop_back() noexcept
Erases the last element of the vector, O(1) time.
Definition reservedvector.hh:227
friend std::size_t hash_value(const ReservedVector &v) noexcept
Definition reservedvector.hh:441
storage_type::difference_type difference_type
A signed integral type.
Definition reservedvector.hh:67
constexpr const_iterator end() const noexcept
Returns a const_iterator pointing to the end of the vector.
Definition reservedvector.hh:279
constexpr void clear() noexcept
Erases all elements.
Definition reservedvector.hh:181
constexpr ReservedVector() noexcept(std::is_nothrow_default_constructible_v< value_type >)
Constructs an empty vector.
Definition reservedvector.hh:82
storage_type::const_iterator const_iterator
Const iterator used to iterate through a vector.
Definition reservedvector.hh:71
reference emplace_back(Args &&... args) noexcept(std::is_nothrow_constructible_v< value_type, decltype(args)... >)
Appends an element to the end of a vector by constructing it in place.
Definition reservedvector.hh:211
storage_type::size_type size_type
An unsigned integral type.
Definition reservedvector.hh:65
constexpr bool operator>=(const ReservedVector &that) const noexcept
Lexicographically compares the values in the vector this with that
Definition reservedvector.hh:171
storage_type::const_reference const_reference
Const reference to T.
Definition reservedvector.hh:63
void swap(ReservedVector &other) noexcept(std::is_nothrow_swappable_v< value_type >)
Swap the content with another vector.
Definition reservedvector.hh:423
constexpr ReservedVector(InputIt first, InputIt last) noexcept(std::is_nothrow_copy_assignable_v< value_type > &&noexcept(ReservedVector()))
Constructs the vector from an iterator range [first,last)
Definition reservedvector.hh:110
constexpr const_pointer data() const noexcept
Returns const pointer to the underlying memory.
Definition reservedvector.hh:377
constexpr reference at(size_type i)
Returns reference to the i'th element.
Definition reservedvector.hh:313
constexpr const_iterator cend() const noexcept
Returns a const_iterator pointing to the end of the vector.
Definition reservedvector.hh:285
constexpr reference back() noexcept
Returns reference to last element of vector.
Definition reservedvector.hh:357
constexpr const_reverse_iterator rbegin() const noexcept
Returns a const reverse-iterator pointing to the end of the vector.
Definition reservedvector.hh:261
storage_type::value_type value_type
The type of object, T, stored in the vector.
Definition reservedvector.hh:55
constexpr const_iterator begin() const noexcept
Returns a const_iterator pointing to the beginning of the vector.
Definition reservedvector.hh:243
constexpr ReservedVector(size_type count, const value_type &value) noexcept(std::is_nothrow_copy_assignable_v< value_type > &&noexcept(ReservedVector(count)))
Constructs the vector with count copies of elements with value value.
Definition reservedvector.hh:98
constexpr reference operator[](size_type i) noexcept
Returns reference to the i'th element.
Definition reservedvector.hh:329
constexpr reference front() noexcept
Returns reference to first element of vector.
Definition reservedvector.hh:343
storage_type::const_pointer const_pointer
Const pointer to T.
Definition reservedvector.hh:59
constexpr ReservedVector(std::initializer_list< value_type > const &l) noexcept(std::is_nothrow_copy_assignable_v< value_type > &&noexcept(ReservedVector(l.begin(), l.end())))
Constructs the vector from an initializer list.
Definition reservedvector.hh:121
constexpr bool operator!=(const ReservedVector &that) const noexcept
Compares the values in the vector this with that for not equality.
Definition reservedvector.hh:143
constexpr void resize(size_type s) noexcept
Specifies a new size for the vector.
Definition reservedvector.hh:187
static constexpr size_type capacity() noexcept
Returns current capacity (allocated memory) of the vector.
Definition reservedvector.hh:399
storage_type::reference reference
Reference to T.
Definition reservedvector.hh:61
constexpr const_reverse_iterator crbegin() const noexcept
Returns a const reverse-iterator pointing to the end of the vector.
Definition reservedvector.hh:267
constexpr void push_back(value_type &&t) noexcept(std::is_nothrow_move_assignable_v< value_type >)
Appends an element to the end of a vector by moving the value, up to the maximum size n,...
Definition reservedvector.hh:202