Implements the class variant_storage. More...

#include <cassert>
#include <type_traits>
#include <utility>
#include "relational.hpp"

Classes
class	variant_storage< Args >
	A templated generalized union. More...

struct	variant_storage_element< I, VariantStorage >
	Defines the member type `type` to the `I-th` type of the variant_storage. More...

struct	variant_storage_size< VariantStorage >
	Provides access to the number of elements in a variant_storage as a compile-time constant expression. More...

class	variant_storage< Args >
	A templated generalized union. More...

Functions
template<class VariantStorage , class Callable >
decltype(auto)	invoke (Callable &&c, VariantStorage &&v, std::size_t which) noexcept(noexcept(invoke_variant_storage_t{}(std::forward< Callable >(c), std::forward< VariantStorage >(v), which)))
	Calls the provided `Callable` with an element of the supplied variant storage. More...

Detailed Description

Implements the class variant_storage.

Function Documentation

template<class VariantStorage , class Callable >

noexcept

Calls the provided Callable with an element of the supplied variant storage.

Template Parameters

Callable A model of UnaryFunction.

Parameters

c	a `Callable` object, that provides a set of overloaded `operator()` that can accept any type in the storage
v	a variant_storage
which	The index used to interpret the value in the storage