common.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_VALUE_COMMON_H
#define pRC_CORE_VALUE_COMMON_H
 
#include <prc/core/basic/basics.hpp>
#include <prc/core/value/value.hpp>
 
namespace std
{
    template<pRC::IsSignedInteger TA, pRC::IsSignedInteger TB>
    struct common_type<TA, TB>
    {
        using type = pRC::Conditional<(sizeof(TA) > sizeof(TB)), TA, TB>;
    };
 
    template<pRC::IsUnsignedInteger TA, pRC::IsUnsignedInteger TB>
    struct common_type<TA, TB>
    {
        using type = pRC::Conditional<(sizeof(TA) > sizeof(TB)), TA, TB>;
    };
 
    template<pRC::IsSignedInteger TA, pRC::IsUnsignedInteger TB>
    struct common_type<TA, TB>
    {
        using type = pRC::Conditional<(sizeof(TA) > sizeof(TB)), TA, TB>;
    };
 
    template<pRC::IsUnsignedInteger TA, pRC::IsSignedInteger TB>
    struct common_type<TA, TB>
    {
        using type = pRC::Conditional<(sizeof(TA) >= sizeof(TB)), TA, TB>;
    };
 
    template<pRC::IsFloat TA, pRC::IsFloat TB>
    struct common_type<TA, TB>
    {
        using type = pRC::Conditional<(sizeof(TA) > sizeof(TB)), TA, TB>;
    };
 
    template<pRC::IsFloat TA, pRC::IsInteger TB>
    struct common_type<TA, TB> : common_type<TA, pRC::Float<>>
    {
    };
 
    template<pRC::IsInteger TA, pRC::IsFloat TB>
    struct common_type<TA, TB> : common_type<pRC::Float<>, TB>
    {
    };
}
#endif // pRC_CORE_VALUE_COMMON_H