#include <alpaqa/util/type-erasure.hpp>

Detailed Description

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>
class alpaqa::util::TypeErased< VTable, Allocator, SmallBufferSize >

Class for polymorphism through type erasure.

Saves the entire vtable, and uses small buffer optimization.

Definition at line 193 of file type-erasure.hpp.

Inheritance diagram for TypeErased< VTable, Allocator, SmallBufferSize >:

Collaboration diagram for TypeErased< VTable, Allocator, SmallBufferSize >:

Classes
struct	Deallocator
	Deallocates the storage when destroyed. More...

Public Types
using	allocator_type = Allocator

Public Member Functions
	TypeErased () noexcept(noexcept(allocator_type()))=default
	Default constructor.

template<class Alloc >
	TypeErased (std::allocator_arg_t, const Alloc &alloc)
	Default constructor (allocator aware).

	TypeErased (const TypeErased &other)
	Copy constructor.

	TypeErased (const TypeErased &other, allocator_type alloc)
	Copy constructor (allocator aware).

TypeErased &	operator= (const TypeErased &other)
	Copy assignment.

	TypeErased (TypeErased &&other) noexcept
	Move constructor.

	TypeErased (TypeErased &&other, const allocator_type &alloc) noexcept
	Move constructor (allocator aware).

TypeErased &	operator= (TypeErased &&other) noexcept
	Move assignment.

	~TypeErased ()
	Destructor.

template<class T , class Alloc >
	TypeErased (std::allocator_arg_t, const Alloc &alloc, T &&d)
	Main constructor that type-erases the given argument.

template<class T , class Alloc , class... Args>
	TypeErased (std::allocator_arg_t, const Alloc &alloc, te_in_place_t< T >, Args &&...args)
	Main constructor that type-erases the object constructed from the given argument.

template<class T > requires no_child_of_ours<T>
	TypeErased (T &&d)
	Main constructor that type-erases the given argument.

template<class T , class... Args>
	TypeErased (te_in_place_t< T >, Args &&...args)
	Main constructor that type-erases the object constructed from the given argument.

	operator bool () const noexcept
	Check if this wrapper wraps an object.

bool	owns_referenced_object () const noexcept
	Check if this wrapper owns the storage of the wrapped object, or whether it simply stores a reference to an object that was allocated elsewhere.

bool	referenced_object_is_const () const noexcept
	Check if the wrapped object is const.

allocator_type	get_allocator () const noexcept
	Get a copy of the allocator.

const std::type_info &	type () const noexcept
	Query the contained type.

template<class T >
T &	as () &
	Convert the type-erased object to the given type.

template<class T >
const T &	as () const &
	Convert the type-erased object to the given type.

template<class T >
const T &&	as () &&
	Convert the type-erased object to the given type.

void *	get_pointer () const
	Get a type-erased pointer to the wrapped object.

const void *	get_const_pointer () const
	Get a type-erased pointer to the wrapped object.

Static Public Member Functions
template<class Ret , class T , class Alloc , class... Args> requires std::is_base_of_v<TypeErased, Ret>
static Ret	make (std::allocator_arg_t tag, const Alloc &alloc, Args &&...args)
	Construct a type-erased wrapper of type Ret for an object of type T, initialized in-place with the given arguments.

template<class Ret , class T , class... Args> requires no_leading_allocator<Args...>
static Ret	make (Args &&...args)
	Construct a type-erased wrapper of type Ret for an object of type T, initialized in-place with the given arguments.

Static Public Attributes
static constexpr size_t	small_buffer_size = SmallBufferSize

Protected Member Functions
template<class T , class... Args>
void	construct_inplace (Args &&...args)
	Ensure storage and construct the type-erased object of type T in-place.

template<class Ret , class... FArgs, class... Args>
decltype(auto)	call (Ret(f)(const void , FArgs...), Args &&...args) const
	Call the vtable function `f` with the given arguments `args`, implicitly passing the self pointer and vtable reference if necessary.

template<class Ret , class... FArgs, class... Args>
decltype(auto)	call (Ret(f)(void , FArgs...), Args &&...args)
	Call the vtable function `f` with the given arguments `args`, implicitly passing the self pointer and vtable reference if necessary.

template<class Ret >
decltype(auto)	call (Ret(f)(const void )) const
	Call the vtable function `f` with the given arguments `args`, implicitly passing the self pointer and vtable reference if necessary.

template<class Ret >
decltype(auto)	call (Ret(f)(void ))
	Call the vtable function `f` with the given arguments `args`, implicitly passing the self pointer and vtable reference if necessary.

template<class Ret >
decltype(auto)	call (Ret(f)(const void , const VTable &)) const
	Call the vtable function `f` with the given arguments `args`, implicitly passing the self pointer and vtable reference if necessary.

template<class Ret >
decltype(auto)	call (Ret(f)(void , const VTable &))
	Call the vtable function `f` with the given arguments `args`, implicitly passing the self pointer and vtable reference if necessary.

Static Protected Member Functions
static bool	size_indicates_ownership (size_t size)

static bool	size_indicates_const (size_t size)

Protected Attributes
void *	self = nullptr
	Pointer to the stored object.

size_t	size = invalid_size
	Size required to store the object.

VTable	vtable

Static Protected Attributes
static constexpr size_t	invalid_size

static constexpr size_t	mut_ref_size

static constexpr size_t	const_ref_size

Private Types
using	allocator_traits = std::allocator_traits< allocator_type >

using	buffer_type = std::array< std::byte, small_buffer_size >

Private Member Functions
Deallocator	allocate (size_t size)
	Ensure that storage is available, either by using the small buffer if it is large enough, or by calling the allocator.

void	deallocate ()
	Deallocate the memory without invoking the destructor.

void	cleanup ()
	Destroy the type-erased object (if not empty), and deallocate the memory if necessary.

template<bool CopyAllocator>
void	do_copy_assign (const TypeErased &other)

Private Attributes
buffer_type	small_buffer

allocator_type	allocator

Static Private Attributes
template<class T >
static constexpr auto	no_child_of_ours
	True if `T` is not a child class of TypeErased.

Member Typedef Documentation

◆ allocator_type

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

using allocator_type = Allocator

Definition at line 196 of file type-erasure.hpp.

◆ allocator_traits

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

using allocator_traits = std::allocator_traits<allocator_type>

private

Definition at line 199 of file type-erasure.hpp.

◆ buffer_type

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

using buffer_type = std::array<std::byte, small_buffer_size>

private

Definition at line 200 of file type-erasure.hpp.

Constructor & Destructor Documentation

◆ TypeErased() [1/10]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

TypeErased ( )

defaultnoexcept

Default constructor.

◆ TypeErased() [2/10]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class Alloc >

TypeErased	(	std::allocator_arg_t	,
		const Alloc &	alloc
	)

inline

Default constructor (allocator aware).

Definition at line 235 of file type-erasure.hpp.

◆ TypeErased() [3/10]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

TypeErased ( const TypeErased< VTable, Allocator, SmallBufferSize > & other )

inline

Copy constructor.

Definition at line 237 of file type-erasure.hpp.

◆ TypeErased() [4/10]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

TypeErased	(	const TypeErased< VTable, Allocator, SmallBufferSize > &	other,
		allocator_type	alloc
	)

inline

Copy constructor (allocator aware).

Definition at line 243 of file type-erasure.hpp.

◆ TypeErased() [5/10]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

TypeErased ( TypeErased< VTable, Allocator, SmallBufferSize > && other )

inlinenoexcept

Move constructor.

Definition at line 259 of file type-erasure.hpp.

◆ TypeErased() [6/10]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

TypeErased	(	TypeErased< VTable, Allocator, SmallBufferSize > &&	other,
		const allocator_type &	alloc
	)

inlinenoexcept

Move constructor (allocator aware).

Definition at line 278 of file type-erasure.hpp.

◆ ~TypeErased()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

~TypeErased ( )

inline

Destructor.

Definition at line 369 of file type-erasure.hpp.

Here is the call graph for this function:

◆ TypeErased() [7/10]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class T , class Alloc >

TypeErased	(	std::allocator_arg_t	,
		const Alloc &	alloc,
		T &&	d
	)

inlineexplicit

Main constructor that type-erases the given argument.

Definition at line 373 of file type-erasure.hpp.

◆ TypeErased() [8/10]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class T , class Alloc , class... Args>

TypeErased	(	std::allocator_arg_t	,
		const Alloc &	alloc,
		te_in_place_t< T >	,
		Args &&...	args
	)

inlineexplicit

Main constructor that type-erases the object constructed from the given argument.

Definition at line 380 of file type-erasure.hpp.

◆ TypeErased() [9/10]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class T >
requires no_child_of_ours<T>

TypeErased ( T && d )

inlineexplicit

Main constructor that type-erases the given argument.

Requirement prevents this constructor from taking precedence over the copy and move constructors.

Definition at line 390 of file type-erasure.hpp.

◆ TypeErased() [10/10]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class T , class... Args>

TypeErased	(	te_in_place_t< T >	,
		Args &&...	args
	)

inlineexplicit

Main constructor that type-erases the object constructed from the given argument.

Definition at line 396 of file type-erasure.hpp.

Member Function Documentation

◆ size_indicates_ownership()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

static bool size_indicates_ownership ( size_t size )

inlinestaticprotected

Definition at line 217 of file type-erasure.hpp.

Here is the caller graph for this function:

◆ size_indicates_const()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

static bool size_indicates_const ( size_t size )

inlinestaticprotected

Definition at line 220 of file type-erasure.hpp.

Here is the caller graph for this function:

◆ operator=() [1/2]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

TypeErased & operator= ( const TypeErased< VTable, Allocator, SmallBufferSize > & other )

inline

Copy assignment.

Definition at line 248 of file type-erasure.hpp.

◆ operator=() [2/2]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

TypeErased & operator= ( TypeErased< VTable, Allocator, SmallBufferSize > && other )

inlinenoexcept

Move assignment.

Definition at line 316 of file type-erasure.hpp.

Here is the call graph for this function:

◆ make() [1/2]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class Ret , class T , class Alloc , class... Args>
requires std::is_base_of_v<TypeErased, Ret>

static Ret make	(	std::allocator_arg_t	tag,
		const Alloc &	alloc,
		Args &&...	args
	)

inlinestatic

Construct a type-erased wrapper of type Ret for an object of type T, initialized in-place with the given arguments.

Definition at line 404 of file type-erasure.hpp.

◆ make() [2/2]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class Ret , class T , class... Args>
requires no_leading_allocator<Args...>

static Ret make ( Args &&... args )

inlinestatic

Construct a type-erased wrapper of type Ret for an object of type T, initialized in-place with the given arguments.

Definition at line 414 of file type-erasure.hpp.

◆ operator bool()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

operator bool ( ) const

inlineexplicitnoexcept

Check if this wrapper wraps an object.

False for default-constructed objects.

Definition at line 421 of file type-erasure.hpp.

◆ owns_referenced_object()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

bool owns_referenced_object ( ) const

inlinenoexcept

Check if this wrapper owns the storage of the wrapped object, or whether it simply stores a reference to an object that was allocated elsewhere.

Definition at line 426 of file type-erasure.hpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ referenced_object_is_const()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

bool referenced_object_is_const ( ) const

inlinenoexcept

Check if the wrapped object is const.

Definition at line 431 of file type-erasure.hpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ get_allocator()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

allocator_type get_allocator ( ) const

inlinenoexcept

Get a copy of the allocator.

Definition at line 436 of file type-erasure.hpp.

◆ type()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

const std::type_info & type ( ) const

inlinenoexcept

Query the contained type.

Definition at line 439 of file type-erasure.hpp.

Here is the caller graph for this function:

◆ as() [1/3]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class T >

T & as ( ) &

inline

Convert the type-erased object to the given type.

The type is checked in debug builds only, use with caution.

Definition at line 446 of file type-erasure.hpp.

Here is the call graph for this function:

◆ as() [2/3]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class T >

const T & as ( ) const &

inline

Convert the type-erased object to the given type.

The type is checked in debug builds only, use with caution.

Definition at line 453 of file type-erasure.hpp.

Here is the call graph for this function:

◆ as() [3/3]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class T >

const T && as ( ) &&

inline

Convert the type-erased object to the given type.

The type is checked in debug builds only, use with caution.

Definition at line 460 of file type-erasure.hpp.

Here is the call graph for this function:

◆ get_pointer()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

void * get_pointer ( ) const

inline

Get a type-erased pointer to the wrapped object.

Exceptions

alpaqa::util::bad_type_erased_constness If the wrapped object is const.

See also: get_const_pointer()

Definition at line 470 of file type-erasure.hpp.

Here is the call graph for this function:

◆ get_const_pointer()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

const void * get_const_pointer ( ) const

inline

Get a type-erased pointer to the wrapped object.

Definition at line 476 of file type-erasure.hpp.

◆ allocate()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

Deallocator allocate ( size_t size )

inlineprivate

Ensure that storage is available, either by using the small buffer if it is large enough, or by calling the allocator.

Returns a RAII wrapper that deallocates the storage unless released.

Definition at line 502 of file type-erasure.hpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ deallocate()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

void deallocate ( )

inlineprivate

Deallocate the memory without invoking the destructor.

Definition at line 514 of file type-erasure.hpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ cleanup()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

void cleanup ( )

inlineprivate

Destroy the type-erased object (if not empty), and deallocate the memory if necessary.

Definition at line 526 of file type-erasure.hpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ do_copy_assign()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<bool CopyAllocator>

void do_copy_assign ( const TypeErased< VTable, Allocator, SmallBufferSize > & other )

inlineprivate

Definition at line 536 of file type-erasure.hpp.

Here is the call graph for this function:

◆ construct_inplace()

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class T , class... Args>

void construct_inplace ( Args &&... args )

inlineprotected

Ensure storage and construct the type-erased object of type T in-place.

Definition at line 562 of file type-erasure.hpp.

Here is the call graph for this function:

◆ call() [1/6]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class Ret , class... FArgs, class... Args>

decltype(auto) call	(	Ret()(const void , FArgs...)	f,
		Args &&...	args
	)		const

inlineprotected

Call the vtable function f with the given arguments args, implicitly passing the self pointer and vtable reference if necessary.

Definition at line 586 of file type-erasure.hpp.

◆ call() [2/6]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class Ret , class... FArgs, class... Args>

decltype(auto) call	(	Ret()(void , FArgs...)	f,
		Args &&...	args
	)

inlineprotected

Call the vtable function f with the given arguments args, implicitly passing the self pointer and vtable reference if necessary.

Definition at line 598 of file type-erasure.hpp.

Here is the call graph for this function:

◆ call() [3/6]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class Ret >

decltype(auto) call ( Ret(*)(const void *) f ) const

inlineprotected

Call the vtable function f with the given arguments args, implicitly passing the self pointer and vtable reference if necessary.

Definition at line 612 of file type-erasure.hpp.

◆ call() [4/6]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class Ret >

decltype(auto) call ( Ret(*)(void *) f )

inlineprotected

Call the vtable function f with the given arguments args, implicitly passing the self pointer and vtable reference if necessary.

Definition at line 619 of file type-erasure.hpp.

Here is the call graph for this function:

◆ call() [5/6]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class Ret >

decltype(auto) call ( Ret(*)(const void *, const VTable &) f ) const

inlineprotected

Call the vtable function f with the given arguments args, implicitly passing the self pointer and vtable reference if necessary.

Definition at line 628 of file type-erasure.hpp.

◆ call() [6/6]

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class Ret >

decltype(auto) call ( Ret(*)(void *, const VTable &) f )

inlineprotected

Call the vtable function f with the given arguments args, implicitly passing the self pointer and vtable reference if necessary.

Definition at line 636 of file type-erasure.hpp.

Here is the call graph for this function:

Member Data Documentation

◆ small_buffer_size

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

constexpr size_t small_buffer_size = SmallBufferSize

staticconstexpr

Definition at line 195 of file type-erasure.hpp.

◆ small_buffer

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

buffer_type small_buffer

private

Definition at line 201 of file type-erasure.hpp.

◆ allocator

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

allocator_type allocator

private

Definition at line 202 of file type-erasure.hpp.

◆ no_child_of_ours

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

template<class T >

constexpr auto no_child_of_ours

staticconstexprprivate

Initial value:

=

!std::is_base_of_v<TypeErased, std::remove_cvref_t<T>>

True if T is not a child class of TypeErased.

Definition at line 207 of file type-erasure.hpp.

◆ invalid_size

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

constexpr size_t invalid_size

staticconstexprprotected

Initial value:

=

static_cast<size_t>(0xDEAD'BEEF'DEAD'BEEF)

Definition at line 211 of file type-erasure.hpp.

◆ mut_ref_size

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

constexpr size_t mut_ref_size

staticconstexprprotected

Initial value:

=

static_cast<size_t>(0xFFFF'FFFF'FFFF'FFFF)

Definition at line 213 of file type-erasure.hpp.

◆ const_ref_size

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

constexpr size_t const_ref_size

staticconstexprprotected

Initial value:

=

static_cast<size_t>(0xFFFF'FFFF'FFFF'FFFE)

Definition at line 215 of file type-erasure.hpp.

◆ self

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

void* self = nullptr

protected

Pointer to the stored object.

Definition at line 225 of file type-erasure.hpp.

◆ size

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

size_t size = invalid_size

protected

Size required to store the object.

Definition at line 227 of file type-erasure.hpp.

◆ vtable

template<class VTable = BasicVTable, class Allocator = std::allocator<std::byte>, size_t SmallBufferSize = default_te_buffer_size<VTable, Allocator>()>

VTable vtable

protected

Definition at line 228 of file type-erasure.hpp.

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

src/alpaqa/include/alpaqa/util/type-erasure.hpp

Detailed Description

Classes

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Member Functions

Static Protected Member Functions

Protected Attributes

Static Protected Attributes

Private Types

Private Member Functions

Private Attributes

Static Private Attributes

Member Typedef Documentation

◆ allocator_type

◆ allocator_traits

◆ buffer_type

Constructor & Destructor Documentation

◆ TypeErased() [1/10]

◆ TypeErased() [2/10]

◆ TypeErased() [3/10]

◆ TypeErased() [4/10]

◆ TypeErased() [5/10]

◆ TypeErased() [6/10]

◆ ~TypeErased()

◆ TypeErased() [7/10]

◆ TypeErased() [8/10]

◆ TypeErased() [9/10]

◆ TypeErased() [10/10]

Member Function Documentation

◆ size_indicates_ownership()

◆ size_indicates_const()

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ make() [1/2]

◆ make() [2/2]

◆ operator bool()

◆ owns_referenced_object()

◆ referenced_object_is_const()

◆ get_allocator()

◆ type()

◆ as() [1/3]

◆ as() [2/3]

◆ as() [3/3]

◆ get_pointer()

◆ get_const_pointer()

◆ allocate()

◆ deallocate()

◆ cleanup()

◆ do_copy_assign()

◆ construct_inplace()

◆ call() [1/6]

◆ call() [2/6]

◆ call() [3/6]

◆ call() [4/6]

◆ call() [5/6]

◆ call() [6/6]

Member Data Documentation

◆ small_buffer_size

◆ small_buffer

◆ allocator

◆ no_child_of_ours

◆ invalid_size

◆ mut_ref_size

◆ const_ref_size

◆ self

◆ size

◆ vtable