sfinae_helpers.hpp

Go to the documentation of this file.

/*
 * SPDX-FileCopyrightText: © 2025 Larry Chips <larry@larrychips.net>
 * SPDX-Licence-Identifier: MIT
 */
#ifndef UGMISC_SFINAE_HELPERS_HPP
#define UGMISC_SFINAE_HELPERS_HPP

 
#include <limits>
#include <type_traits>
#include <utility>
 
#include "ugmisc/features.hpp"
 
 
 
 
namespace ugmisc {
 
 
 
 
template<class T>
using remove_cvref_t = std::remove_cv_t<std::remove_reference_t<T>>;
 
 
 
 
template<class T>
using plain_ref_t = std::remove_cv_t<T>&;
 
 
 
 
template<class T> plain_ref_t<T> decl_plain_ref();
 
 
 
 
namespace _sfinae {
 
template<class T, class=void>
struct get_is_bitwise : std::false_type {};
 
 
 
 
template<class T>
struct get_is_bitwise<
    T,
    std::void_t<
        decltype(decl_plain_ref<T>() = std::declval<T>() | std::declval<T>()),
        decltype(decl_plain_ref<T>() = std::declval<T>() & std::declval<T>()),
        decltype(decl_plain_ref<T>() = std::declval<T>() ^ std::declval<T>()),
        decltype(decl_plain_ref<T>() = ~ std::declval<T>())
        >
    >
    : public std::true_type {};
 
} /* _sfinae (::ugmisc::_sfinae) */
 
 
 

template<class T>
static constexpr bool is_bitwise = _sfinae::get_is_bitwise<T>::value;
#ifdef UGMISC_USE_CONCEPT_DECLS
template<class T>
concept Bitwise = is_bitwise<T>;
#endif
 
 
 

template<class T, class R=T> using uint_only = std::enable_if_t<
    std::numeric_limits<T>::is_integer
    && ( ! std::numeric_limits<T>::is_signed ),
 
    R
    >;
#ifdef UGMISC_USE_CONCEPT_DECLS
template<class T>
concept Uint =
    std::numeric_limits<T>::is_integer
    && ! std::numeric_limits<T>::is_signed
    ;

# define UGMISC_UINT_RETURN(T, R) R requires ::ugmisc::Uint<T>
#else
# define UGMISC_UINT_RETURN(T, R) ::ugmisc::uint_only<T, R>
#endif
 
 
 

template<class T, class R=T> using modulo_uint_only = std::enable_if_t<
    std::numeric_limits<T>::is_integer
    && ( ! std::numeric_limits<T>::is_signed )
    && std::numeric_limits<T>::is_modulo,
 
    R
    >;
#ifdef UGMISC_USE_CONCEPT_DECLS
template<class T>
concept ModuloUint =
    Uint<T> && std::numeric_limits<T>::is_modulo;
#endif
 
 
 
 
/*
 * See below.
 */
template<class T> static constexpr bool is_bitwise_uint =
    std::numeric_limits<T>::is_integer
    && ( ! std::numeric_limits<T>::is_signed )
    && ( std::numeric_limits<T>::radix == 2 )
    && std::numeric_limits<T>::is_modulo
    && is_bitwise<T>
    ;

template<class T, class R=T> using bitwise_uint_only = std::enable_if_t<
    is_bitwise_uint<T>,
    R
    >;
#ifdef UGMISC_USE_CONCEPT_DECLS
template<class T> concept BitwiseUint = Bitwise<T> && ModuloUint<T>;

# define UGMISC_BITWISE_UINT_RETURN(T, R) R requires ::ugmisc::BitwiseUint<T>
#else
# define UGMISC_BITWISE_UINT_RETURN(T, R) ::ugmisc::bitwise_uint_only<T, R>
#endif
 
 
 

template<class T, class R=T> using int_only = std::enable_if_t<
    std::numeric_limits<T>::is_integer,
 
    R
    >;
#ifdef UGMISC_USE_CONCEPT_DECLS
template<class T> concept Int = std::numeric_limits<T>::is_integer;
#endif
} /* ugmisc */
 
#endif /* UGMISC_SFINAE_HELPERS_HPP */