tagged_integer.h

// Copyright (c) 2014, Nikolaos D. Bougalis <nikb@bougalis.net>
 
#pragma once
 
#include <xrpl/beast/hash/hash_append.h>
 
#include <boost/operators.hpp>
 
#include <iostream>
#include <string>
#include <type_traits>
 
namespace xrpl {

template <class Int, class Tag>
class TaggedInteger : boost::totally_ordered<
                          TaggedInteger<Int, Tag>,
                          boost::integer_arithmetic<
                              TaggedInteger<Int, Tag>,
                              boost::bitwise<
                                  TaggedInteger<Int, Tag>,
                                  boost::unit_steppable<
                                      TaggedInteger<Int, Tag>,
                                      boost::shiftable<TaggedInteger<Int, Tag>>>>>>
{
private:
    Int value_;
 
public:
    using value_type = Int;
    using tag_type = Tag;
 
    TaggedInteger() = default;
 
    template <class OtherInt>
    explicit constexpr TaggedInteger(OtherInt value) noexcept
        requires(std::is_integral_v<OtherInt> && sizeof(OtherInt) <= sizeof(Int))
        : value_(value)
    {
        static_assert(sizeof(TaggedInteger) == sizeof(Int), "tagged_integer is adding padding");
    }
 
    bool
    operator<(TaggedInteger const& rhs) const noexcept
    {
        return value_ < rhs.value_;
    }
 
    bool
    operator==(TaggedInteger const& rhs) const noexcept
    {
        return value_ == rhs.value_;
    }
 
    TaggedInteger&
    operator+=(TaggedInteger const& rhs) noexcept
    {
        value_ += rhs.value_;
        return *this;
    }
 
    TaggedInteger&
    operator-=(TaggedInteger const& rhs) noexcept
    {
        value_ -= rhs.value_;
        return *this;
    }
 
    TaggedInteger&
    operator*=(TaggedInteger const& rhs) noexcept
    {
        value_ *= rhs.value_;
        return *this;
    }
 
    TaggedInteger&
    operator/=(TaggedInteger const& rhs) noexcept
    {
        value_ /= rhs.value_;
        return *this;
    }
 
    TaggedInteger&
    operator%=(TaggedInteger const& rhs) noexcept
    {
        value_ %= rhs.value_;
        return *this;
    }
 
    TaggedInteger&
    operator|=(TaggedInteger const& rhs) noexcept
    {
        value_ |= rhs.value_;
        return *this;
    }
 
    TaggedInteger&
    operator&=(TaggedInteger const& rhs) noexcept
    {
        value_ &= rhs.value_;
        return *this;
    }
 
    TaggedInteger&
    operator^=(TaggedInteger const& rhs) noexcept
    {
        value_ ^= rhs.value_;
        return *this;
    }
 
    TaggedInteger&
    operator<<=(TaggedInteger const& rhs) noexcept
    {
        value_ <<= rhs.value_;
        return *this;
    }
 
    TaggedInteger&
    operator>>=(TaggedInteger const& rhs) noexcept
    {
        value_ >>= rhs.value_;
        return *this;
    }
 
    TaggedInteger
    operator~() const noexcept
    {
        return TaggedInteger{~value_};
    }
 
    TaggedInteger
    operator+() const noexcept
    {
        return *this;
    }
 
    TaggedInteger
    operator-() const noexcept
    {
        return TaggedInteger{-value_};
    }
 
    TaggedInteger&
    operator++() noexcept
    {
        ++value_;
        return *this;
    }
 
    TaggedInteger&
    operator--() noexcept
    {
        --value_;
        return *this;
    }
 
    explicit
    operator Int() const noexcept
    {
        return value_;
    }
 
    friend std::ostream&
    operator<<(std::ostream& s, TaggedInteger const& t)
    {
        s << t.value_;
        return s;
    }
 
    friend std::istream&
    operator>>(std::istream& s, TaggedInteger& t)
    {
        s >> t.value_;
        return s;
    }
 
    friend std::string
    to_string(TaggedInteger const& t)
    {
        return std::to_string(t.value_);
    }
};
 
}  // namespace xrpl
 
namespace beast {
template <class Int, class Tag, class HashAlgorithm>
struct IsContiguouslyHashable<xrpl::TaggedInteger<Int, Tag>, HashAlgorithm>
    : public IsContiguouslyHashable<Int, HashAlgorithm>
{
    explicit IsContiguouslyHashable() = default;
};
 
}  // namespace beast