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/Euronext/MarketData/OptiqMdg/ABI.h>
 
ONIXS_EURONEXT_OPTIQMDG_MESSAGING_NAMESPACE_BEGIN

template <bool B, class T = void>
using EnableIf = std::enable_if<B, T>;

template <typename Base, typename Derived>
using IsBaseOf = std::is_base_of<Base, Derived>;

template <class T>
using IsSigned = std::is_signed<T>;
 
#define CHECK_TYPE_INTEGRAL(Type) \
          static_assert( \
              std::is_integral<Type>::value, \
              #Type " must be an integral type, consider adding MemberTraits" \
              );

namespace details {

    template <class T, class U>
    struct IsSameSignedness
    {
        enum { value = (static_cast<bool>(IsSigned<T>::value) == static_cast<bool>(IsSigned<U>::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<typename T>
    struct HasBitsMember
    {
        template<typename U> struct SFINAE {};
        template<typename U> static char test(SFINAE<typename U::Bits>*);
        template<typename U> static int test(...);
        enum { value = sizeof(test<T>(nullptr)) == sizeof(char) };
    };
}

template <typename Set, typename NullValue>
typename EnableIf<details::HasBitsMember<Set>::value, bool>::type
operator != (NullValue null, Set set) noexcept
{
    ONIXS_EURONEXT_OPTIQMDG_STATIC_ASSERT((sizeof(typename Set::Bits) == sizeof(typename NullValue::Value)));
    ONIXS_EURONEXT_OPTIQMDG_STATIC_ASSERT((details::IsSameSignedness<typename Set::Bits, typename NullValue::Value>::value));
 
    return set.bits() != null;
}

template <class To, class From>
ONIXS_EURONEXT_OPTIQMDG_PURE
inline
typename EnableIf<details::IsSameSignedness<To, From>::value, To>::type
    numericCast(From from) noexcept
{
    const To to =
        static_cast<To>(from);
 
    assert(static_cast<From>(to) == from);
 
    return to;
}

template <class To, class From>
ONIXS_EURONEXT_OPTIQMDG_PURE
inline
typename EnableIf<!details::IsSameSignedness<To, From>::value, To>::type
    numericCast(From from) noexcept
{
    const To 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_EURONEXT_OPTIQMDG_MESSAGING_NAMESPACE_END