prevector< N, T, Size, Diff > Class Template Reference

Implements a drop-in replacement for std::vector<T> which stores up to N elements directly (without heap allocation). More...

#include <prevector.h>

Inheritance diagram for prevector< N, T, Size, Diff >:

Collaboration diagram for prevector< N, T, Size, Diff >:

Classes
class	const_iterator
class	const_reverse_iterator
union	direct_or_indirect
class	iterator
class	reverse_iterator

Public Types
typedef Size	size_type
typedef Diff	difference_type
typedef T	value_type
typedef value_type &	reference
typedef const value_type &	const_reference
typedef value_type *	pointer
typedef const value_type *	const_pointer

Public Member Functions
void	assign (size_type n, const T &val)
template<typename InputIterator >
void	assign (InputIterator first, InputIterator last)
	prevector ()
	prevector (size_type n)
	prevector (size_type n, const T &val)
template<typename InputIterator >
	prevector (InputIterator first, InputIterator last)
	prevector (const prevector< N, T, Size, Diff > &other)
	prevector (prevector< N, T, Size, Diff > &&other) noexcept
prevector &	operator= (const prevector< N, T, Size, Diff > &other)
prevector &	operator= (prevector< N, T, Size, Diff > &&other) noexcept
size_type	size () const
bool	empty () const
iterator	begin ()
const_iterator	begin () const
iterator	end ()
const_iterator	end () const
reverse_iterator	rbegin ()
const_reverse_iterator	rbegin () const
reverse_iterator	rend ()
const_reverse_iterator	rend () const
size_t	capacity () const
T &	operator[] (size_type pos)
const T &	operator[] (size_type pos) const
void	resize (size_type new_size)
void	reserve (size_type new_capacity)
void	shrink_to_fit ()
void	clear ()
iterator	insert (iterator pos, const T &value)
void	insert (iterator pos, size_type count, const T &value)
template<typename InputIterator >
void	insert (iterator pos, InputIterator first, InputIterator last)
void	resize_uninitialized (size_type new_size)
iterator	erase (iterator pos)
iterator	erase (iterator first, iterator last)
template<typename... Args>
void	emplace_back (Args &&... args)
void	push_back (const T &value)
void	pop_back ()
T &	front ()
const T &	front () const
T &	back ()
const T &	back () const
void	swap (prevector< N, T, Size, Diff > &other) noexcept
	~prevector ()
bool	operator== (const prevector< N, T, Size, Diff > &other) const
bool	operator!= (const prevector< N, T, Size, Diff > &other) const
bool	operator< (const prevector< N, T, Size, Diff > &other) const
size_t	allocated_memory () const
value_type *	data ()
const value_type *	data () const

Private Member Functions
T *	direct_ptr (difference_type pos)
const T *	direct_ptr (difference_type pos) const
T *	indirect_ptr (difference_type pos)
const T *	indirect_ptr (difference_type pos) const
bool	is_direct () const
void	change_capacity (size_type new_capacity)
T *	item_ptr (difference_type pos)
const T *	item_ptr (difference_type pos) const
void	fill (T *dst, ptrdiff_t count, const T &value=T{})
template<typename InputIterator >
void	fill (T *dst, InputIterator first, InputIterator last)

Private Attributes
direct_or_indirect	_union = {}
size_type	_size = 0

Detailed Description

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>
class prevector< N, T, Size, Diff >

Implements a drop-in replacement for std::vector<T> which stores up to N elements directly (without heap allocation).

The types Size and Diff are used to store element counts, and can be any unsigned + signed type.

Storage layout is either:

• Direct allocation:
  • Size _size: the number of used elements (between 0 and N)
  • T direct[N]: an array of N elements of type T (only the first _size are initialized).
• Indirect allocation:
  • Size _size: the number of used elements plus N + 1
  • Size capacity: the number of allocated elements
  • T* indirect: a pointer to an array of capacity elements of type T (only the first _size are initialized).

The data type T must be movable by memmove/realloc(). Once we switch to C++, move constructors can be used instead.

Definition at line 37 of file prevector.h.

Member Typedef Documentation

const_pointer

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

typedef const value_type* prevector< N, T, Size, Diff >::const_pointer

Definition at line 47 of file prevector.h.

const_reference

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

typedef const value_type& prevector< N, T, Size, Diff >::const_reference

Definition at line 45 of file prevector.h.

difference_type

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

typedef Diff prevector< N, T, Size, Diff >::difference_type

Definition at line 42 of file prevector.h.

pointer

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

typedef value_type* prevector< N, T, Size, Diff >::pointer

Definition at line 46 of file prevector.h.

reference

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

typedef value_type& prevector< N, T, Size, Diff >::reference

Definition at line 44 of file prevector.h.

size_type

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

typedef Size prevector< N, T, Size, Diff >::size_type

Definition at line 38 of file prevector.h.

value_type

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

typedef T prevector< N, T, Size, Diff >::value_type

Definition at line 43 of file prevector.h.

Constructor & Destructor Documentation

prevector() [1/6]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

prevector< N, T, Size, Diff >::prevector ( )

inline

Definition at line 240 of file prevector.h.

prevector() [2/6]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

prevector< N, T, Size, Diff >::prevector ( size_type  n )

inlineexplicit

Definition at line 242 of file prevector.h.

prevector() [3/6]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

prevector< N, T, Size, Diff >::prevector ( size_type  n, const T &  val  )

inlineexplicit

Definition at line 246 of file prevector.h.

prevector() [4/6]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

template<typename InputIterator >

prevector< N, T, Size, Diff >::prevector ( InputIterator  first, InputIterator  last  )

inline

Definition at line 253 of file prevector.h.

prevector() [5/6]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

prevector< N, T, Size, Diff >::prevector ( const prevector< N, T, Size, Diff > &  other )

inline

Definition at line 260 of file prevector.h.

prevector() [6/6]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

prevector< N, T, Size, Diff >::prevector ( prevector< N, T, Size, Diff > &&  other )

inlinenoexcept

Definition at line 267 of file prevector.h.

~prevector()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

prevector< N, T, Size, Diff >::~prevector ( )

inline

Definition at line 468 of file prevector.h.

Member Function Documentation

allocated_memory()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

size_t prevector< N, T, Size, Diff >::allocated_memory ( ) const

inline

Definition at line 519 of file prevector.h.

Here is the caller graph for this function:

assign() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::assign ( size_type  n, const T &  val  )

inline

Definition at line 220 of file prevector.h.

Here is the caller graph for this function:

assign() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

template<typename InputIterator >

void prevector< N, T, Size, Diff >::assign ( InputIterator  first, InputIterator  last  )

inline

Definition at line 230 of file prevector.h.

back() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

T& prevector< N, T, Size, Diff >::back ( )

inline

Definition at line 454 of file prevector.h.

Here is the caller graph for this function:

back() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const T& prevector< N, T, Size, Diff >::back ( ) const

inline

Definition at line 458 of file prevector.h.

begin() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

iterator prevector< N, T, Size, Diff >::begin ( )

inline

Definition at line 299 of file prevector.h.

Here is the caller graph for this function:

begin() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const_iterator prevector< N, T, Size, Diff >::begin ( ) const

inline

Definition at line 300 of file prevector.h.

capacity()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

size_t prevector< N, T, Size, Diff >::capacity ( ) const

inline

Definition at line 309 of file prevector.h.

Here is the caller graph for this function:

change_capacity()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::change_capacity ( size_type  new_capacity )

inlineprivate

Definition at line 172 of file prevector.h.

Here is the caller graph for this function:

clear()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::clear ( )

inline

Definition at line 352 of file prevector.h.

Here is the caller graph for this function:

data() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

value_type* prevector< N, T, Size, Diff >::data ( )

inline

Definition at line 527 of file prevector.h.

Here is the caller graph for this function:

data() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const value_type* prevector< N, T, Size, Diff >::data ( ) const

inline

Definition at line 531 of file prevector.h.

direct_ptr() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

T* prevector< N, T, Size, Diff >::direct_ptr ( difference_type  pos )

inlineprivate

Definition at line 166 of file prevector.h.

Here is the caller graph for this function:

direct_ptr() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const T* prevector< N, T, Size, Diff >::direct_ptr ( difference_type  pos ) const

inlineprivate

Definition at line 167 of file prevector.h.

emplace_back()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

template<typename... Args>

void prevector< N, T, Size, Diff >::emplace_back ( Args &&...  args )

inline

Definition at line 429 of file prevector.h.

Here is the caller graph for this function:

empty()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

bool prevector< N, T, Size, Diff >::empty ( ) const

inline

Definition at line 295 of file prevector.h.

Here is the caller graph for this function:

end() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

iterator prevector< N, T, Size, Diff >::end ( )

inline

Definition at line 301 of file prevector.h.

Here is the caller graph for this function:

end() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const_iterator prevector< N, T, Size, Diff >::end ( ) const

inline

Definition at line 302 of file prevector.h.

erase() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

iterator prevector< N, T, Size, Diff >::erase ( iterator  pos )

inline

Definition at line 410 of file prevector.h.

Here is the caller graph for this function:

erase() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

iterator prevector< N, T, Size, Diff >::erase ( iterator  first, iterator  last  )

inline

Definition at line 414 of file prevector.h.

fill() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::fill ( T *  dst, ptrdiff_t  count, const T &  value = T{}  )

inlineprivate

Definition at line 206 of file prevector.h.

Here is the caller graph for this function:

fill() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

template<typename InputIterator >

void prevector< N, T, Size, Diff >::fill ( T *  dst, InputIterator  first, InputIterator  last  )

inlineprivate

Definition at line 211 of file prevector.h.

front() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

T& prevector< N, T, Size, Diff >::front ( )

inline

Definition at line 446 of file prevector.h.

Here is the caller graph for this function:

front() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const T& prevector< N, T, Size, Diff >::front ( ) const

inline

Definition at line 450 of file prevector.h.

indirect_ptr() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

T* prevector< N, T, Size, Diff >::indirect_ptr ( difference_type  pos )

inlineprivate

Definition at line 168 of file prevector.h.

Here is the caller graph for this function:

indirect_ptr() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const T* prevector< N, T, Size, Diff >::indirect_ptr ( difference_type  pos ) const

inlineprivate

Definition at line 169 of file prevector.h.

insert() [1/3]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

iterator prevector< N, T, Size, Diff >::insert ( iterator  pos, const T &  value  )

inline

Definition at line 356 of file prevector.h.

Here is the caller graph for this function:

insert() [2/3]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::insert ( iterator  pos, size_type  count, const T &  value  )

inline

Definition at line 369 of file prevector.h.

insert() [3/3]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

template<typename InputIterator >

void prevector< N, T, Size, Diff >::insert ( iterator  pos, InputIterator  first, InputIterator  last  )

inline

Definition at line 382 of file prevector.h.

is_direct()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

bool prevector< N, T, Size, Diff >::is_direct ( ) const

inlineprivate

Definition at line 170 of file prevector.h.

Here is the caller graph for this function:

item_ptr() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

T* prevector< N, T, Size, Diff >::item_ptr ( difference_type  pos )

inlineprivate

Definition at line 203 of file prevector.h.

Here is the caller graph for this function:

item_ptr() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const T* prevector< N, T, Size, Diff >::item_ptr ( difference_type  pos ) const

inlineprivate

Definition at line 204 of file prevector.h.

operator!=()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

bool prevector< N, T, Size, Diff >::operator!= ( const prevector< N, T, Size, Diff > &  other ) const

inline

Definition at line 492 of file prevector.h.

operator<()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

bool prevector< N, T, Size, Diff >::operator< ( const prevector< N, T, Size, Diff > &  other ) const

inline

Definition at line 496 of file prevector.h.

operator=() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

prevector& prevector< N, T, Size, Diff >::operator= ( const prevector< N, T, Size, Diff > &  other )

inline

Definition at line 273 of file prevector.h.

operator=() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

prevector& prevector< N, T, Size, Diff >::operator= ( prevector< N, T, Size, Diff > &&  other )

inlinenoexcept

Definition at line 281 of file prevector.h.

operator==()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

bool prevector< N, T, Size, Diff >::operator== ( const prevector< N, T, Size, Diff > &  other ) const

inline

Definition at line 475 of file prevector.h.

operator[]() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

T& prevector< N, T, Size, Diff >::operator[] ( size_type  pos )

inline

Definition at line 317 of file prevector.h.

operator[]() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const T& prevector< N, T, Size, Diff >::operator[] ( size_type  pos ) const

inline

Definition at line 321 of file prevector.h.

pop_back()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::pop_back ( )

inline

Definition at line 442 of file prevector.h.

Here is the caller graph for this function:

push_back()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::push_back ( const T &  value )

inline

Definition at line 438 of file prevector.h.

Here is the caller graph for this function:

rbegin() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

reverse_iterator prevector< N, T, Size, Diff >::rbegin ( )

inline

Definition at line 304 of file prevector.h.

rbegin() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const_reverse_iterator prevector< N, T, Size, Diff >::rbegin ( ) const

inline

Definition at line 305 of file prevector.h.

rend() [1/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

reverse_iterator prevector< N, T, Size, Diff >::rend ( )

inline

Definition at line 306 of file prevector.h.

rend() [2/2]

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

const_reverse_iterator prevector< N, T, Size, Diff >::rend ( ) const

inline

Definition at line 307 of file prevector.h.

reserve()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::reserve ( size_type  new_capacity )

inline

Definition at line 342 of file prevector.h.

Here is the caller graph for this function:

resize()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::resize ( size_type  new_size )

inline

Definition at line 325 of file prevector.h.

Here is the caller graph for this function:

resize_uninitialized()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::resize_uninitialized ( size_type  new_size )

inline

Definition at line 395 of file prevector.h.

Here is the caller graph for this function:

shrink_to_fit()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::shrink_to_fit ( )

inline

Definition at line 348 of file prevector.h.

Here is the caller graph for this function:

size()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

size_type prevector< N, T, Size, Diff >::size ( ) const

inline

Definition at line 291 of file prevector.h.

swap()

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

void prevector< N, T, Size, Diff >::swap ( prevector< N, T, Size, Diff > &  other )

inlinenoexcept

Definition at line 462 of file prevector.h.

Here is the caller graph for this function:

Member Data Documentation

_size

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

size_type prevector< N, T, Size, Diff >::_size = 0

private

Definition at line 161 of file prevector.h.

_union

template<unsigned int N, typename T, typename Size = uint32_t, typename Diff = int32_t>

direct_or_indirect prevector< N, T, Size, Diff >::_union = {}

private

Definition at line 160 of file prevector.h.

---

The documentation for this class was generated from the following file:

• src/prevector.h