Dune Core Modules (2.3.1)

Dune::FirstPredicateIndex< Tuple, Predicate, start, size > Class Template Reference

Finding the index of a certain type in a tuple. More...

#include <dune/common/tupleutility.hh>

Public Types

typedef T value_type
 type of value
 
typedef integral_constant< T, v > type
 type of this class itself
 

Public Member Functions

 operator value_type ()
 conversion to value_type/T
 

Static Public Attributes

static const T value = v
 value this type was generated for
 

Detailed Description

template<class Tuple, template< class > class Predicate, std::size_t start = 0, std::size_t size = tuple_size<Tuple>::value>
class Dune::FirstPredicateIndex< Tuple, Predicate, start, size >

Finding the index of a certain type in a tuple.

Template Parameters
TupleThe tuple type to search in.
PredicatePredicate which tells FirstPredicateIndex which types in Tuple to accept. This should be a class template taking a single type template argument. When instantiated, it should contain a static member constant value which should be convertible to bool. A type is accepted if value is true, otherwise it is rejected and the next type is tried. Look at IsType for a sample implementation.
startFirst index to try. This can be adjusted to skip leading tuple elements.
sizeThis parameter is an implementation detail and should not be adjusted by the users of this class. It should always be equal to the size of the tuple.

This class can search for a type in tuple. It will apply the predicate to each type in tuple in turn, and set its member constant value to the index of the first type that was accepted by the predicate. If none of the types are accepted by the predicate, a static_assert is triggered.


The documentation for this class was generated from the following file:
Creative Commons License   |  Legal Statements / Impressum  |  Hosted by TU Dresden  |  generated with Hugo v0.111.3 (Nov 13, 23:29, 2024)