#include <alpaqa/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 197 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.

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.

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.

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

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

using allocator_type = Allocator

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

◆ allocator_traits

using allocator_traits = std::allocator_traits<allocator_type>

private

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

◆ buffer_type

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

private

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

Constructor & Destructor Documentation

◆ TypeErased() [1/10]

TypeErased ( )

defaultnoexcept

Default constructor.

◆ TypeErased() [2/10]

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

inline

Default constructor (allocator aware).

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

◆ TypeErased() [3/10]

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

inline

Copy constructor.

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

◆ TypeErased() [4/10]

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

inline

Copy constructor (allocator aware).

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

◆ TypeErased() [5/10]

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

inlinenoexcept

Move constructor.

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

◆ TypeErased() [6/10]

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

inlinenoexcept

Move constructor (allocator aware).

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

◆ ~TypeErased()

~TypeErased ( )

inline

Destructor.

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

Here is the call graph for this function:

◆ TypeErased() [7/10]

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

inlineexplicit

Main constructor that type-erases the given argument.

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

◆ TypeErased() [8/10]

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 362 of file type-erasure.hpp.

◆ TypeErased() [9/10]

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 372 of file type-erasure.hpp.

◆ TypeErased() [10/10]

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

inlineexplicit

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

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

Member Function Documentation

◆ operator=() [1/2]

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

inline

Copy assignment.

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

Here is the call graph for this function:

◆ operator=() [2/2]

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

inlinenoexcept

Move assignment.

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

Here is the call graph for this function:

◆ make() [1/2]

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 386 of file type-erasure.hpp.

◆ make() [2/2]

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 396 of file type-erasure.hpp.

◆ operator bool()

operator bool ( ) const

inlineexplicitnoexcept

Check if this wrapper wraps an object.

False for default-constructed objects.

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

◆ get_allocator()

allocator_type get_allocator ( ) const

inlinenoexcept

Get a copy of the allocator.

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

◆ type()

const std::type_info & type ( ) const

inlinenoexcept

Query the contained type.

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

Here is the caller graph for this function:

◆ as() [1/3]

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 416 of file type-erasure.hpp.

Here is the call graph for this function:

Here is the caller graph for this function:

◆ as() [2/3]

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 423 of file type-erasure.hpp.

Here is the call graph for this function:

◆ as() [3/3]

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 430 of file type-erasure.hpp.

Here is the call graph for this function:

◆ allocate()

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 453 of file type-erasure.hpp.

Here is the caller graph for this function:

◆ deallocate()

void deallocate ( )

inlineprivate

Deallocate the memory without invoking the destructor.

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

Here is the caller graph for this function:

◆ cleanup()

void cleanup ( )

inlineprivate

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

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ do_copy_assign()

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

inlineprivate

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

Here is the call graph for this function:

◆ construct_inplace()

void construct_inplace ( Args &&... args )

inlineprotected

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

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

Here is the call graph for this function:

◆ call() [1/6]

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 517 of file type-erasure.hpp.

◆ call() [2/6]

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 529 of file type-erasure.hpp.

◆ call() [3/6]

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 541 of file type-erasure.hpp.

◆ call() [4/6]

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 548 of file type-erasure.hpp.

◆ call() [5/6]

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 555 of file type-erasure.hpp.

◆ call() [6/6]

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 563 of file type-erasure.hpp.

Member Data Documentation

◆ small_buffer_size

constexpr size_t small_buffer_size = SmallBufferSize

staticconstexpr

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

◆ small_buffer

buffer_type small_buffer

private

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

◆ allocator

allocator_type allocator

private

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

◆ no_child_of_ours

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 211 of file type-erasure.hpp.

◆ invalid_size

constexpr size_t invalid_size

staticconstexprprotected

Initial value:

=

static_cast<size_t>(0xDEADBEEFDEADBEEF)

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

◆ self

void* self = nullptr

protected

Pointer to the stored object.

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

◆ size

size_t size = invalid_size

protected

Size required to store the object.

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

◆ vtable

VTable vtable

protected

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

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

type-erasure.hpp

Detailed Description

Classes

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

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

◆ operator=() [1/2]

◆ operator=() [2/2]

◆ make() [1/2]

◆ make() [2/2]

◆ operator bool()

◆ get_allocator()

◆ type()

◆ as() [1/3]

◆ as() [2/3]

◆ as() [3/3]

◆ 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

◆ self

◆ size

◆ vtable