Dune Core Modules (2.9.0)

Various helper classes and functions. More...

Modules

 Utilities for type-erasure
 Helper classes for implementing type-erased interfaces.
 

Classes

class  Dune::Functions::PolymorphicType< Interface >
 Base class with polymorphic type boiler plate code. More...
 
class  Dune::Functions::PolymorphicSmallObject< Base, bufferSize >
 A wrapper providing small object optimization with polymorphic types. More...
 
class  Dune::Functions::ReservedDeque< T, n >
 A double-ended queue (deque) class with statically reserved memory. More...
 
struct  Dune::Functions::UniformNodeVisitor< SimpleNodeVisitorImp, leafOnly >
 Mixin for visitors that should apply the same action on all nodes. More...
 
class  Dune::Functions::TreeData< T, ND, LO >
 Container allowing to attach data to each node of a tree. More...
 
struct  Dune::Functions::HasStaticSize< T >
 Check if type is a statically sized container. More...
 
struct  Dune::Functions::StaticSize< T >
 Obtain size of statically sized container. More...
 
struct  Dune::Functions::LastType< T >
 Get last entry of type list. More...
 
struct  Dune::Functions::RotateTuple< T >
 Rotate type list by one, such that last entry is moved to first position. More...
 

Typedefs

template<class T >
using Dune::ResolveRef_t = std::remove_reference_t< decltype(Dune::resolveRef(std::declval< T & >()))>
 Type trait to resolve std::reference_wrapper. More...
 
template<class T , class... Args>
using Dune::Functions::enableIfConstructible = typename std::enable_if< std::is_constructible< T, Args... >::value, int >::type
 Helper to constrain forwarding constructors. More...
 
template<template< class... > class T, class ArgTuple >
using Dune::Functions::ExpandTuple = typename Imp::ExpandTupleHelper< T, ArgTuple >::Type
 Expand tuple arguments as template arguments. More...
 
template<template< class... > class F, class... Tuples>
using Dune::Functions::TransformTuple = typename Imp::TransformTupleHelper< F, Tuples... >::Type
 Transform tuple types argument using type-functor. More...
 

Functions

template<class F , class ArgTuple , class I , I... i>
decltype(auto) Dune::applyPartial (F &&f, ArgTuple &&args, std::integer_sequence< I, i... >)
 Apply function with arguments from a given tuple. More...
 
template<class F , class... Args>
static constexpr auto Dune::Functions::Concept::isCallable ()
 Check if f is callable with given argument list.
 
template<class F , class... Args>
static constexpr auto Dune::Functions::Concept::isCallable (F &&, Args &&...)
 Check if f is callable with given argument list.
 
template<class C , class I , class F , typename std::enable_if< Dune::models< Imp::Concept::HasDynamicIndexAccess< I >, C >(), int >::type = 0>
auto Dune::Functions::hybridIndexAccess (C &&c, const I &i, F &&f) -> decltype(f(c[i]))
 Provide operator[] index-access for containers. More...
 
template<class Result , class C , class MultiIndex >
Result Dune::Functions::hybridMultiIndexAccess (C &&c, const MultiIndex &index)
 Provide multi-index access by chaining operator[]. More...
 
template<class C , class MultiIndex , class IsFinal >
constexpr decltype(auto) Dune::Functions::resolveDynamicMultiIndex (C &&c, const MultiIndex &multiIndex, const IsFinal &isFinal)
 Provide multi-index access by chaining operator[]. More...
 
template<class C , class MultiIndex >
constexpr decltype(auto) Dune::Functions::resolveDynamicMultiIndex (C &&c, const MultiIndex &multiIndex)
 Provide multi-index access by chaining operator[]. More...
 
template<class C , class MultiIndex >
constexpr decltype(auto) Dune::Functions::resolveStaticMultiIndex (C &&c, const MultiIndex &multiIndex)
 Provide multi-index access by chaining operator[]. More...
 
template<std::size_t begin_t, std::size_t end_t, class F , class... Args>
void Dune::Functions::staticFindInRange (F &&f, Args &&... args)
 Static find loop. More...
 
template<std::size_t end, class F , class size_type , class... Args>
auto Dune::Functions::forwardAsStaticIndex (const size_type &i, F &&f, Args &&... args) -> decltype(f(Dune::Indices::_0, std::forward< Args >(args)...))
 Transform dynamic index to static index_constant. More...
 
template<class F , class... T>
auto Dune::Functions::transformTuple (F &&f, const std::tuple< T... > &tuple) -> decltype(Imp::transformTupleHelper(std::forward< F >(f), tuple, std::index_sequence_for< T... >{}))
 Transform tuple value using a functor. More...
 
template<class F , class... T1, class... T2>
auto Dune::Functions::transformTuple (F &&f, const std::tuple< T1... > &tuple1, const std::tuple< T2... > &tuple2) -> decltype(Imp::transformTupleHelper(std::forward< F >(f), tuple1, tuple2, std::index_sequence_for< T1... >{}))
 Transform tuple value using a binary functor. More...
 
template<class Expression >
auto Dune::Functions::callableCheck (Expression f)
 Create a predicate for checking validity of expressions. More...
 
template<class Check >
auto Dune::Functions::negatePredicate (Check check)
 Negate given predicate. More...
 

Detailed Description

Various helper classes and functions.

Typedef Documentation

◆ enableIfConstructible

template<class T , class... Args>
using Dune::Functions::enableIfConstructible = typedef typename std::enable_if< std::is_constructible<T, Args...>::value, int>::type

Helper to constrain forwarding constructors.

Helper typedef to remove constructor with forwarding reference from overload set for type is not constructible from argument list. This is useful to avoid failing forwarding constructors for base classes or members.

◆ ExpandTuple

template<template< class... > class T, class ArgTuple >
using Dune::Functions::ExpandTuple = typedef typename Imp::ExpandTupleHelper<T, ArgTuple>::Type

Expand tuple arguments as template arguments.

This template alias refers to T<Args...> if ArgTuple is a std::tuple<Args...>.

Template Parameters
TA variadic template
ArgTupleA tuple of types

◆ ResolveRef_t

template<class T >
using Dune::ResolveRef_t = typedef std::remove_reference_t<decltype(Dune::resolveRef(std::declval<T&>()))>

Type trait to resolve std::reference_wrapper.

This is an alias for result of resolveRef. Plain types T or const T are forwarded while for T=std::reference_wrapper<S> the wrapped type S is returned.

◆ TransformTuple

template<template< class... > class F, class... Tuples>
using Dune::Functions::TransformTuple = typedef typename Imp::TransformTupleHelper<F, Tuples...>::Type

Transform tuple types argument using type-functor.

This is a template alias for a tuple whose i-th type is given by F<T1i,...,TMi> where T1i,...,TMi are the i-th types of the 1,...,M-th tuple of the given tuple list Tuples. Currently only M=1,2 are supported.

Template Parameters
FA template alias mapping 1,...,sizeof...(ArgTuple) types to a new one
TuplesA list of tuples

Function Documentation

◆ applyPartial()

template<class F , class ArgTuple , class I , I... i>
decltype(auto) Dune::applyPartial ( F &&  f,
ArgTuple &&  args,
std::integer_sequence< I, i... >   
)

Apply function with arguments from a given tuple.

Parameters
fA callable object
argsTuple containing the arguments
indicesIndices to arguments in tuple as std::integer_sequence

This will call the function with arguments generated by unpacking those entries of the tuple that show up given integer_sequence.

Referenced by Dune::Functions::BasisFactory::composite().

◆ callableCheck()

template<class Expression >
auto Dune::Functions::callableCheck ( Expression  f)

Create a predicate for checking validity of expressions.

Parameters
fA function involving the expression to check.

This returns a function object that allows to check if the expression encoded in f is valid for the given arguments. To be precise it checks if f can be called using the given arguments. This can be used in the following way: To generate a check if the expression x(a,b) is valid for some a and b use:

auto xIsValid = callableCheck([](auto&& a, auto&& b) -> std::void_t<decltype(x(a,b))> {});
if (xIsValid(a,b))
...
typename Impl::voider< Types... >::type void_t
Is void for all valid input types. The workhorse for C++11 SFINAE-techniques.
Definition: typetraits.hh:40
auto callableCheck(Expression f)
Create a predicate for checking validity of expressions.
Definition: utility.hh:279

Notice that the given function f is stored by value.

References Dune::Functions::Concept::isCallable().

Referenced by Dune::Functions::resolveDynamicMultiIndex().

◆ forwardAsStaticIndex()

template<std::size_t end, class F , class size_type , class... Args>
auto Dune::Functions::forwardAsStaticIndex ( const size_type &  i,
F &&  f,
Args &&...  args 
) -> decltype(f(Dune::Indices::_0, std::forward<Args>(args)...))

Transform dynamic index to static index_constant.

This will call the given function with index_constant where i is the dynamically provided index.

To achieve this the condition i==ii is checked subsequently for al static indices ii in the range 0,...,(end-1). In order to be able to compile this we require for all ii in this range that f(index_constant<ii>()) is well-formed and that the result type of it can be converted to the result type of f(index_constant<0>()). If i is not in this range, the returned value is f(index_constant<n-1>())

Parameters
iDynamic index
fFunction to call (e.g., a generic lambda)
argsAdditional arguments for f
Returns
f(index_constant<i>(), args...)

◆ hybridIndexAccess()

template<class C , class I , class F , typename std::enable_if< Dune::models< Imp::Concept::HasDynamicIndexAccess< I >, C >(), int >::type = 0>
auto Dune::Functions::hybridIndexAccess ( C &&  c,
const I &  i,
F &&  f 
) -> decltype(f(c[i]))

Provide operator[] index-access for containers.

This is the overload for types providing a operator[] for dynamic std::size_t arguments.

Parameters
cContainer to access
iThe index to use for accessing the container
fA functor to call with the result of operator[]

◆ hybridMultiIndexAccess()

template<class Result , class C , class MultiIndex >
Result Dune::Functions::hybridMultiIndexAccess ( C &&  c,
const MultiIndex &  index 
)

Provide multi-index access by chaining operator[].

This provides access to a nested container by given multi-index. Internally this is resolved by recursive operator[]-calls with static or dynamic indices. Because this recursion must be terminated using a compile-time criterion, the result type must explicitly be provided. The recursion will terminate once the result can be converted to this result type.

Template Parameters
ResultType of result
Parameters
cContainer to access
indexMulti-index

◆ negatePredicate()

template<class Check >
auto Dune::Functions::negatePredicate ( Check  check)

Negate given predicate.

Parameters
fA predicate function to negate

This returns a function havin the same parameters as f, but negating the result. Negation here means that std::true_type is converted to std::false_type are vice verse, while other return values are converted to bool values and then the negated value is returned as bool, too.

Notice that the given function f is stored by value.

References Dune::overload().

Referenced by Dune::Functions::resolveDynamicMultiIndex().

◆ resolveDynamicMultiIndex() [1/2]

template<class C , class MultiIndex >
constexpr decltype(auto) Dune::Functions::resolveDynamicMultiIndex ( C &&  c,
const MultiIndex &  multiIndex 
)
constexpr

Provide multi-index access by chaining operator[].

This provides access to a nested container by given dynamically sized multi-index. Internally this is resolved by recursive operator[]-calls with static or dynamic indices. Because this recursion must be terminated, a predicate is used to determine if a type is considered final for the multi-index resolution. This version terminates the recursion on values that neither have a static nor a dynamic operator[].

Parameters
cContainer to access
indexMulti-index

References Dune::Indices::_0, Dune::Functions::callableCheck(), Dune::Functions::negatePredicate(), and Dune::Functions::resolveDynamicMultiIndex().

Referenced by Dune::Functions::resolveDynamicMultiIndex().

◆ resolveDynamicMultiIndex() [2/2]

template<class C , class MultiIndex , class IsFinal >
constexpr decltype(auto) Dune::Functions::resolveDynamicMultiIndex ( C &&  c,
const MultiIndex &  multiIndex,
const IsFinal &  isFinal 
)
constexpr

Provide multi-index access by chaining operator[].

This provides access to a nested container by given dynamically sized multi-index. Internally this is resolved by recursive operator[]-calls with static or dynamic indices. Because this recursion must be terminated, a predicate is used to determine if a type is considered final for the multi-index resolution. Hence multi-index resolution is terminated for values where the criterion matches. In order to do this statically the predicate has to return its result as std::true_type or std::false_type.

If the entries of the multi-index are exhausted, additional [0] entries are used until the termination criterion is satisfied.

Parameters
cContainer to access
indexMulti-index
isFinalA predicate function checking if recursion should be terminated.

References Dune::Functions::resolveDynamicMultiIndex().

◆ resolveStaticMultiIndex()

template<class C , class MultiIndex >
constexpr decltype(auto) Dune::Functions::resolveStaticMultiIndex ( C &&  c,
const MultiIndex &  multiIndex 
)
constexpr

Provide multi-index access by chaining operator[].

This provides access to a nested container by given statically sized multi-index. Internally this is resolved by recursive operator[]-calls with static or dynamic indices. Since the multi-index must have compile-time known size it is possible, that values resolved by different multi-indices have a different size.

Parameters
cContainer to access
indexMulti-index

References Dune::Functions::resolveStaticMultiIndex().

Referenced by Dune::Functions::resolveStaticMultiIndex().

◆ staticFindInRange()

template<std::size_t begin_t, std::size_t end_t, class F , class... Args>
void Dune::Functions::staticFindInRange ( F &&  f,
Args &&...  args 
)

Static find loop.

Run static for-loop from 'begin' to 'end-1' with functor. The functor is called with Dune::index_constant<i> as first argument. All other arguments of this method are forwarded to the functor. If the functor returns true the loop is terminated.

Todo:
Should this be just the StaticForLoop?

◆ transformTuple() [1/2]

template<class F , class... T>
auto Dune::Functions::transformTuple ( F &&  f,
const std::tuple< T... > &  tuple 
) -> decltype(Imp::transformTupleHelper(std::forward<F>(f), tuple, std::index_sequence_for<T...>{}))

Transform tuple value using a functor.

This will apply the given functor to all values in given tuple and return the results in a new tuple.

Parameters
FA functor defined for all tuple entries
tupleThe tuple to transform

◆ transformTuple() [2/2]

template<class F , class... T1, class... T2>
auto Dune::Functions::transformTuple ( F &&  f,
const std::tuple< T1... > &  tuple1,
const std::tuple< T2... > &  tuple2 
) -> decltype(Imp::transformTupleHelper(std::forward<F>(f), tuple1, tuple2, std::index_sequence_for<T1...>{}))

Transform tuple value using a binary functor.

This will apply the given functor to the each corresponding pair of values in the given tuples and return the results in a new tuple.

Parameters
FA functor defined for all tuple entries
tuple1The tuple containing values for the first parameter
tuple2The tuple containing values for the second parameter
Creative Commons License   |  Legal Statements / Impressum  |  Hosted by TU Dresden  |  generated with Hugo v0.111.3 (Dec 20, 23:31, 2024)