Utils.h

Go to the documentation of this file.

// Copyright Onix Solutions Limited [OnixS]. All rights reserved.
//
// This software owned by Onix Solutions Limited [OnixS] and is
// protected by copyright law and international copyright treaties.
//
// Access to and use of the software is governed by the terms of the applicable
// OnixS Software Services Agreement (the Agreement) and Customer end user license
// agreements granting a non-assignable, non-transferable and non-exclusive license
// to use the software for it's own data processing purposes under the terms defined
// in the Agreement.
//
// Except as otherwise granted within the terms of the Agreement, copying or
// reproduction of any part of this source code or associated reference material
// to any other location for further reproduction or redistribution, and any
// amendments to this copyright notice, are expressly prohibited.
//
// Any reproduction or redistribution for sale or hiring of the Software not in
// accordance with the terms of the Agreement is a violation of copyright law.
//
#pragma once
 
#include <cassert>
#include <type_traits>
 
#include <OnixS/CME/MDH/ABI.h>
 
ONIXS_CMEMDH_MESSAGING_NAMESPACE_BEGIN
 
#define ONIXS_CMEMDH_CHECK_TYPE_INTEGRAL(Type) \
      static_assert(std::is_integral<Type>::value, #Type " must be an integral type, consider adding MemberTraits");

template <typename T>
struct IsTriviallyCopyable
#if defined(ONIXS_CMEMDH_COMPILER_IS_GNU) && !defined(ONIXS_CMEMDH_CXX14)
    : std::integral_constant<bool, __has_trivial_copy(T) && __has_trivial_assign(T) && __has_trivial_destructor(T)>
#else
    : std::is_trivially_copyable<T>
#endif
{
};

template <typename T>
struct IsTriviallyDefaultConstructible
#if defined(ONIXS_CMEMDH_COMPILER_IS_GNU) && !defined(ONIXS_CMEMDH_CXX14)
    : std::integral_constant<bool, __has_trivial_constructor(T)>
#else
    : std::is_trivially_default_constructible<T>
#endif
{
};

namespace details {
    template <class T, class U>
    struct IsSameSignedness
    {
        enum { value = (static_cast<bool>(std::is_signed<T>::value) == static_cast<bool>(std::is_signed<U>::value)) };
    };

    template<typename T>
    struct HasMantissa
    {
        template<typename U> struct SFINAE {};
        template<typename U> static char test(SFINAE<typename U::Mantissa>*);
        template<typename U> static int test(...);
        enum { value = sizeof(test<T>(nullptr)) == sizeof(char) };
    };

    template<typename T>
    struct HasExponent
    {
        template<typename U> struct SFINAE {};
        template<typename U> static char test(SFINAE<typename U::Exponent>*);
        template<typename U> static int test(...);
        enum { value = sizeof(test<T>(nullptr)) == sizeof(char) };
    };

    template<typename T>
    struct IsDecimal
    {
        enum { value = HasMantissa<T>::value && HasExponent<T>::value };
    };

    template
        <
            class Decimal1,
            class Decimal2
        >
    struct AreBothDecimals
    {
        enum { value = IsDecimal<Decimal1>::value && IsDecimal<Decimal2>::value };
    };

    template<typename T>
    struct HasMemberTraits
    {
        template<typename U> struct SFINAE {};
        template<typename U> static char test(SFINAE<struct U::MemberTraits>*);
        template<typename U> static int test(...);
        enum { value = sizeof(test<T>(nullptr)) == sizeof(char) };
    };

    template<typename T>
    struct HasValueStaticMember
    {
        template<typename U, typename U::Value (*)()> struct SFINAE {};
        template<typename U> static char test(SFINAE<U, &U::value>*);
        template<typename U> static int test(...);
        enum { value = sizeof(test<T>(nullptr)) == sizeof(char) };
    };

    template<typename T>
    struct HasSerializeMember
    {
        template<typename U, void (U::*)(void*) const noexcept> struct SFINAE {};
        template<typename U> static char test(SFINAE<U, &U::serialize>*);
        template<typename U> static int test(...);
        enum { value = sizeof(test<T>(nullptr)) == sizeof(char) };
    };
}

template <class To, class From>
ONIXS_CMEMDH_FORCEINLINE
typename std::enable_if<details::IsSameSignedness<To, From>::value, To>::type
    numericCast(From from) noexcept
{
    const auto to = static_cast<To>(from);
 
    assert(static_cast<From>(to) == from);
 
    return to;
}

template <class To, class From>
ONIXS_CMEMDH_FORCEINLINE
typename std::enable_if<!details::IsSameSignedness<To, From>::value, To>::type
    numericCast(From from) noexcept
{
    const auto to = static_cast<To>(from);
 
    assert(static_cast<From>(to) == from);
 
    // The sign is lost during the conversion
    assert((to > static_cast<To>(0)) == (from > static_cast<From>(0)));
 
    return to;
}
 
ONIXS_CMEMDH_MESSAGING_NAMESPACE_END