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	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	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<bool value>
using	bool_constant = std::integral_constant< bool, value >
	A template alias for std::integral_constant<bool, value> More...
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...
template<typename... T>
using	index_sequence_for = make_index_sequence< typename Dune::SizeOf< T... >{}>
	Create index_sequence from 0 to sizeof...(T)-1. More...

Functions
template<class F , class ArgTuple >
decltype(auto)	apply (F &&f, ArgTuple &&args)
	Apply function with arguments given as tuple. More...
template<typename... Args>
std::array< typename std::common_type< Args... >::type, sizeof...(Args)>	make_array (const Args &... args)
	Create and initialize an array. More...
template<typename T , typename... Args>
Impl::MakeUniqueHelper< T >::NonArrayUniquePtr	make_unique (Args &&... args)
	Implementation of std::make_unique to be introduced in C++14. More...
template<typename T >
Impl::MakeUniqueHelper< T >::UnknownBoundArrayUniquePtr	make_unique (size_t n)
	Implementation of std::make_unique to be introduced in C++14. More...
template<typename T , typename ... Args>
Impl::MakeUniqueHelper< T >::KnownBoundArrayUniquePtr	make_unique (Args &&... args)=delete
	Implementation of std::make_unique to be introduced in C++14. 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.

Typedef Documentation

index_sequence_for

template<typename... T>

using Dune::Std::index_sequence_for = typedef make_index_sequence<typename Dune::SizeOf<T...>{}>

Create index_sequence from 0 to sizeof...(T)-1.

This should do the same as std::index_sequence_for. But due to a bug in the sizeof... operator this may produce wrong results with clang<3.8.

As a workaround we provide our own implementation that avoids this bug even if the std:: version exists.

This implemenation can be dropped, once we require a minimum clang version that has this bug fixed (i.e. >=3.8).