Dune Core Modules (2.8.0)

Namespace for features backported from new C++ standards. More...

Classes

struct  conjunction
 forms the logical conjunction of the type traits B... More...
 
struct  disjunction
 forms the logical disjunction of the type traits B... More...
 
struct  identity
 A function object type whose operator() returns its argument unchanged. More...
 
struct  is_callable
 Traits class to check if function is callable. More...
 
struct  is_callable< F(Args...), R >
 Traits class to check if function is callable. More...
 
struct  is_invocable
 Traits class to check if function is invocable. More...
 
struct  is_invocable_r
 Traits class to check if function is invocable and the return type is compatible. More...
 
struct  negation
 forms the logical negation of the type traits B... More...
 
struct  nonesuch
 Type representing a lookup failure by std::detected_or and friends. More...
 
class  to_false_type
 template mapping a type to std::false_type More...
 
class  to_true_type
 template mapping a type to std::true_type More...
 

Typedefs

template<typename Default , template< typename... > class Op, typename... Args>
using detected_or = Impl::detector< Default, void, Op, Args... >
 Detects whether Op<Args...> is valid and makes the result available. More...
 
template<template< typename... > class Op, typename... Args>
using is_detected = typename detected_or< nonesuch, Op, Args... >::value_t
 Detects whether Op<Args...> is valid. More...
 
template<template< typename... > class Op, typename... Args>
using detected_t = typename detected_or< nonesuch, Op, Args... >::type
 Returns Op<Args...> if that is valid; otherwise returns nonesuch. More...
 
template<typename Default , template< typename... > class Op, typename... Args>
using detected_or_t = typename detected_or< Default, Op, Args... >::type
 Returns Op<Args...> if that is valid; otherwise returns the fallback type Default. More...
 
template<typename Expected , template< typename... > class Op, typename... Args>
using is_detected_exact = std::is_same< Expected, detected_t< Op, Args... > >
 Checks whether Op<Args...> is Expected without causing an error if Op<Args...> is invalid. More...
 
template<typename Target , template< typename... > class Op, typename... Args>
using is_detected_convertible = std::is_convertible< Target, detected_t< Op, Args... > >
 Checks whether Op<Args...> is convertible to Target without causing an error if Op<Args...> is invalid. More...
 

Functions

template<typename... Args>
std::array< typename std::common_type< Args... >::type, sizeof...(Args)> make_array (const Args &... args)
 Create and initialize an array. More...
 

Variables

template<template< typename... > class Op, typename... Args>
constexpr bool is_detected_v = is_detected<Op,Args...>::value
 Detects whether Op<Args...> is valid and makes the result available as a value. More...
 
template<typename Expected , template< typename... > class Op, typename... Args>
constexpr bool is_detected_exact_v = is_detected_exact<Expected,Op,Args...>::value
 Convenient access to the result value of is_detected_exact. More...
 
template<typename Target , template< typename... > class Op, typename... Args>
constexpr bool is_detected_convertible_v = is_detected_convertible<Target,Op,Args...>::value
 Convenient access to the result value of is_detected_convertible. More...
 

Detailed Description

Namespace for features backported from new C++ standards.

The namespace Dune::Std contains library features of new C++ standards and technical specifications backported to older compilers. Most features are detected and pulled into this namespace from the standard library if your compiler has native support. If it doesn't, we provide a fallback implementation on a best-effort basis.

Creative Commons License   |  Legal Statements / Impressum  |  Hosted by TU Dresden  |  generated with Hugo v0.111.3 (Dec 22, 23:30, 2024)