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.