5#ifndef DUNE_COMMON_STD_TYPE_TRAITS_HH
6#define DUNE_COMMON_STD_TYPE_TRAITS_HH
9#include <dune-common-config.hh>
13#if DUNE_HAVE_CXX_EXPERIMENTAL_IS_DETECTED
14#include <experimental/type_traits>
35 using std::bool_constant;
37#if DUNE_HAVE_CXX_EXPERIMENTAL_IS_DETECTED
39 using std::experimental::nonesuch;
40 using std::experimental::detected_or;
41 using std::experimental::is_detected;
42 using std::experimental::detected_t;
43 using std::experimental::is_detected_v;
44 using std::experimental::detected_or_t;
45 using std::experimental::is_detected_exact;
46 using std::experimental::is_detected_exact_v;
47 using std::experimental::is_detected_convertible;
48 using std::experimental::is_detected_convertible_v;
60 template<
typename Default,
typename Void,
template<
typename...>
class Op,
typename... Args>
63 using value_t = std::false_type;
68 template<
typename Default,
template<
typename...>
class Op,
typename... Args>
69 struct detector<Default,
std::
void_t<Op<Args...>>, Op, Args...>
71 using value_t = std::true_type;
72 using type = Op<Args...>;
131 template<
typename Default,
template<
typename...>
class Op,
typename... Args>
144 template<
template<
typename...>
class Op,
typename... Args>
147#ifdef __cpp_variable_templates
158 template<
template<
typename...>
class Op,
typename... Args>
159 constexpr bool is_detected_v =
is_detected<Op,Args...>::value;
173 template<
template<
typename...>
class Op,
typename... Args>
188 template<
typename Default,
template<
typename...>
class Op,
typename... Args>
198 template<
typename Expected,
template<
typename...>
class Op,
typename... Args>
201#ifdef __cpp_variable_templates
209 template<
typename Expected,
template<
typename...>
class Op,
typename... Args>
210 constexpr bool is_detected_exact_v =
is_detected_exact<Expected,Op,Args...>::value;
220 template<
typename Target,
template<
typename...>
class Op,
typename... Args>
223#ifdef __cpp_variable_templates
231 template<
typename Target,
template<
typename...>
class Op,
typename... Args>
242 template <
class Type>
243 [[deprecated(
"Type extraction of `TargetType` has failed. Inspect the code calling `detected_or_fallback_t` for getting the source of this warning!")]]
246 template <
class Type,
class T>
247 Type warningIfNotDefined(
const T*);
251template <
template<
typename...>
class Fallback,
252 template<
typename...>
class TargetType,
typename... Args>
255 TargetType, Args...>;
Traits for type conversions and type information.
Utilities for type computations, constraining overloads, ...
typename detected_or< Default, Op, Args... >::type detected_or_t
Returns Op<Args...> if that is valid; otherwise returns the fallback type Default.
Definition type_traits.hh:189
std::is_same< Expected, detected_t< Op, Args... > > is_detected_exact
Checks whether Op<Args...> is Expected without causing an error if Op<Args...> is invalid.
Definition type_traits.hh:199
typename detected_or< nonesuch, Op, Args... >::type detected_t
Returns Op<Args...> if that is valid; otherwise returns nonesuch.
Definition type_traits.hh:174
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
typename detected_or< nonesuch, Op, Args... >::value_t is_detected
Detects whether Op<Args...> is valid.
Definition type_traits.hh:145
Impl::detector< Default, void, Op, Args... > detected_or
Detects whether Op<Args...> is valid and makes the result available.
Definition type_traits.hh:132
std::is_convertible< Target, detected_t< Op, Args... > > is_detected_convertible
Checks whether Op<Args...> is convertible to Target without causing an error if Op<Args....
Definition type_traits.hh:221
Dune namespace.
Definition alignedallocator.hh:13
Std::detected_or_t< decltype(detail::warningIfNotDefined< Std::detected_t< Fallback, Args... > >(std::declval< const Std::detected_t< TargetType, Args... > * >())), TargetType, Args... > detected_or_fallback_t
This type will be either TargetType<Args...> if it exists, or the Fallback<Args......
Definition type_traits.hh:255
Type representing a lookup failure by std::detected_or and friends.
Definition type_traits.hh:89
nonesuch(const nonesuch &)=delete
void operator=(const nonesuch &)=delete