Dune Core Modules (2.8.0)
Dune::Std Namespace Reference
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.
|
Legal Statements / Impressum |
Hosted by TU Dresden |
generated with Hugo v0.111.3
(Dec 22, 23:30, 2024)