type_traits.hh

// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
#ifndef DUNE_FUNCTIONS_COMMON_TYPE_TRAITS_HH
#define DUNE_FUNCTIONS_COMMON_TYPE_TRAITS_HH
 
#include <type_traits>
 
#include <dune/common/hybridutilities.hh>
#include <dune/common/typeutilities.hh>
 
namespace Dune {
namespace Functions {
 
 
template<class T, class... Args>
using enableIfConstructible = std::enable_if_t<
  std::is_constructible_v<T, Args...>, int>;
 
 
 
template<class T>
struct HasStaticSize :
  public IsIntegralConstant<decltype(Dune::Hybrid::size(std::declval<T>()))>
{};
 
template<class T>
inline constexpr bool HasStaticSize_v = HasStaticSize<T>::value;
 
 
template<class T>
struct StaticSizeOrZero :
  public std::conditional_t<HasStaticSize_v<T>,
    decltype(Dune::Hybrid::size(std::declval<T>())),
    std::integral_constant<std::size_t,0>>
{};
 
template<class T>
using StaticSize = std::enable_if_t<HasStaticSize_v<T>,
  decltype(Dune::Hybrid::size(std::declval<T>()))>;
 
 
}} // namespace Dune::Functions
 
#endif // DUNE_FUNCTIONS_COMMON_TYPE_TRAITS_HH