intrinsic_type.hpp

Go to the documentation of this file.

//    OpenVPN -- An application to securely tunnel IP networks
//               over a single port, with support for SSL/TLS-based
//               session authentication and key exchange,
//               packet encryption, packet authentication, and
//               packet compression.
//
//    Copyright (C) 2012- OpenVPN Inc.
//
//    SPDX-License-Identifier: MPL-2.0 OR AGPL-3.0-only WITH openvpn3-openssl-exception
//
 
#pragma once
 
#include <type_traits>
 
namespace openvpn {
 
template <typename BaseT, typename T>
    requires std::is_arithmetic_v<T>
struct IntrinsicType
{
    using value_type = T;
 
    constexpr explicit IntrinsicType(value_type v = value_type()) noexcept
        : mValue(v) {};
 
    BaseT &operator=(value_type v)
    {
        mValue = v;
        return CrtpBase();
    }
 
    BaseT &operator=(BaseT arg) noexcept
    {
        mValue = arg.mValue;
        return CrtpBase();
    }
 
    constexpr BaseT operator+=(BaseT arg) noexcept
    {
        mValue += arg.mValue;
        return CrtpBase();
    }
 
    constexpr BaseT operator-=(BaseT arg) noexcept
    {
        mValue -= arg.mValue;
        return CrtpBase();
    }
 
    constexpr BaseT operator*=(BaseT arg) noexcept
    {
        mValue *= arg.mValue;
        return CrtpBase();
    }
 
    constexpr BaseT operator/=(BaseT arg) noexcept
    {
        mValue /= arg.mValue;
        return CrtpBase();
    }
 
    constexpr BaseT &operator|=(BaseT arg) noexcept
        requires std::is_integral_v<T>
    {
        mValue |= arg.mValue;
        return CrtpBase();
    }
 
    constexpr BaseT &operator&=(BaseT arg) noexcept
        requires std::is_integral_v<T>
    {
        mValue &= arg.mValue;
        return CrtpBase();
    }
 
    constexpr value_type get() const noexcept
    {
        return mValue;
    }
 
    constexpr operator value_type() const noexcept
    {
        return mValue;
    }
 
  private:
    BaseT &CrtpBase() noexcept
    {
        return static_cast<BaseT &>(*this);
    }
 
    const BaseT &CrtpBase() const noexcept
    {
        return static_cast<const BaseT &>(*this);
    }
 
  private:
    value_type mValue;
};
 
template <typename BaseT, typename T>
    requires std::is_arithmetic_v<T>
constexpr bool operator==(IntrinsicType<BaseT, T> lhs, IntrinsicType<BaseT, T> rhs) noexcept
{
    return lhs.get() == rhs.get();
}
 
template <typename BaseT, typename T>
    requires std::is_arithmetic_v<T>
constexpr auto operator<=>(IntrinsicType<BaseT, T> lhs, IntrinsicType<BaseT, T> rhs) noexcept
{
    return lhs.get() <=> rhs.get();
}
 
template <typename BaseT, typename T>
    requires std::is_arithmetic_v<T>
constexpr BaseT operator+(IntrinsicType<BaseT, T> lhs, IntrinsicType<BaseT, T> rhs) noexcept
{
    return BaseT(lhs.get() + rhs.get());
}
 
template <typename BaseT, typename T>
    requires std::is_arithmetic_v<T>
constexpr BaseT operator-(IntrinsicType<BaseT, T> lhs, IntrinsicType<BaseT, T> rhs) noexcept
{
    return BaseT(lhs.get() - rhs.get());
}
 
template <typename BaseT, typename T>
    requires std::is_arithmetic_v<T>
constexpr BaseT operator*(IntrinsicType<BaseT, T> lhs, IntrinsicType<BaseT, T> rhs) noexcept
{
    return BaseT(lhs.get() * rhs.get());
}
 
template <typename BaseT, typename T>
    requires std::is_arithmetic_v<T>
constexpr BaseT operator/(IntrinsicType<BaseT, T> lhs, IntrinsicType<BaseT, T> rhs) noexcept
{
    return BaseT(lhs.get() / rhs.get());
}
 
template <typename BaseT, typename T>
    requires std::is_integral_v<T>
constexpr BaseT operator~(IntrinsicType<BaseT, T> t) noexcept
{
    return BaseT{~T(t)};
}
 
template <typename BaseT, typename T>
    requires std::is_integral_v<T>
constexpr BaseT operator|(IntrinsicType<BaseT, T> l, IntrinsicType<BaseT, T> r) noexcept
{
    return BaseT{T(l) | T(r)};
}
 
template <typename BaseT, typename T>
    requires std::is_integral_v<T>
constexpr BaseT operator&(IntrinsicType<BaseT, T> l, IntrinsicType<BaseT, T> r) noexcept
{
    return BaseT{T(l) & T(r)};
}
 
} // namespace openvpn