internal/bit_field.hpp

View this file on GitHub
Last update: 2024-04-16 19:36:34+09:00
Include: #include "internal/bit_field.hpp"

Depends on

internal/dev_env.hpp

Code

#pragma once


#include <type_traits>

#include "internal/dev_env.hpp"


namespace uni {

namespace internal {

namespace bit_field {


template<class Flag> struct base {
    using flag = Flag;
    using bit_type = typename std::underlying_type_t<flag>;

    const bit_type bits;


    template<class... Flags>
    constexpr base(Flags... flags) : bits(set(flags...)) {}


    constexpr bool none() const noexcept(NO_EXCEPT) { return this->bits == 0; }


    template<class... Tail>
    static constexpr bit_type toggle(flag head, Tail... tail) noexcept(NO_EXCEPT) {
        return static_cast<bit_type>(head) ^ toggle(tail...);
    }

    static constexpr bit_type toggle() noexcept(NO_EXCEPT) { return 0; }


    template<class... Tail>
    static constexpr bit_type set(flag head, Tail... tail) noexcept(NO_EXCEPT) {
        return static_cast<bit_type>(head) | set(tail...);
    }

    static constexpr bit_type set() noexcept(NO_EXCEPT) { return 0; }


    template<class... Tail> constexpr bool has(flag head, Tail... tail) const noexcept(NO_EXCEPT) {
        return (this->bits & static_cast<bit_type>(head)) and has(tail...);
    }
    constexpr bool has() const noexcept(NO_EXCEPT) { return true; }

    constexpr bool has(const base& other) const noexcept(NO_EXCEPT) {
        return this->bits & other.bits == other.bits;
    }


    template<class... Flags> constexpr bool equals(Flags... flags) const noexcept(NO_EXCEPT) {
        return this->equals(base{ flags... });
    }
    constexpr bool equals() const noexcept(NO_EXCEPT) { return true; }

    constexpr bool equals(const base& other) const noexcept(NO_EXCEPT) {
        return this->bits == other.bits;
    }
};


} // namespace bit_field

} // namespace internal

} // namespace uni

#line 2 "internal/bit_field.hpp"


#include <type_traits>

#line 2 "internal/dev_env.hpp"


#ifdef LOCAL_JUDGE
    inline constexpr bool DEV_ENV = true;
    inline constexpr bool NO_EXCEPT = false;
#else
    inline constexpr bool DEV_ENV = false;
    inline constexpr bool NO_EXCEPT = true;
#endif // LOCAL_JUDGE


#if __cplusplus >= 202100L
    #define CPP20 true
    #define CPP23 true
#elif __cplusplus >= 202002L
    #define CPP20 true
    #define CPP23 false
#else
    #define CPP20 false
    #define CPP23 false
#endif
#line 7 "internal/bit_field.hpp"


namespace uni {

namespace internal {

namespace bit_field {


template<class Flag> struct base {
    using flag = Flag;
    using bit_type = typename std::underlying_type_t<flag>;

    const bit_type bits;


    template<class... Flags>
    constexpr base(Flags... flags) : bits(set(flags...)) {}


    constexpr bool none() const noexcept(NO_EXCEPT) { return this->bits == 0; }


    template<class... Tail>
    static constexpr bit_type toggle(flag head, Tail... tail) noexcept(NO_EXCEPT) {
        return static_cast<bit_type>(head) ^ toggle(tail...);
    }

    static constexpr bit_type toggle() noexcept(NO_EXCEPT) { return 0; }


    template<class... Tail>
    static constexpr bit_type set(flag head, Tail... tail) noexcept(NO_EXCEPT) {
        return static_cast<bit_type>(head) | set(tail...);
    }

    static constexpr bit_type set() noexcept(NO_EXCEPT) { return 0; }


    template<class... Tail> constexpr bool has(flag head, Tail... tail) const noexcept(NO_EXCEPT) {
        return (this->bits & static_cast<bit_type>(head)) and has(tail...);
    }
    constexpr bool has() const noexcept(NO_EXCEPT) { return true; }

    constexpr bool has(const base& other) const noexcept(NO_EXCEPT) {
        return this->bits & other.bits == other.bits;
    }


    template<class... Flags> constexpr bool equals(Flags... flags) const noexcept(NO_EXCEPT) {
        return this->equals(base{ flags... });
    }
    constexpr bool equals() const noexcept(NO_EXCEPT) { return true; }

    constexpr bool equals(const base& other) const noexcept(NO_EXCEPT) {
        return this->bits == other.bits;
    }
};


} // namespace bit_field

} // namespace internal

} // namespace uni