Type-safe set of flags from a scoped enum. More...

#include <idfxx_core/include/idfxx/flags.hpp>

Public Types
using	enum_type = E
	The scoped enum type.

using	underlying = std::underlying_type_t< E >
	The underlying integral type of the enum.

Public Member Functions
constexpr	flags () noexcept=default
	Default constructor, initializes to empty flags (zero).

constexpr	flags (E e) noexcept
	Constructs from a single enum value.

constexpr flags	operator\| (flags other) const noexcept
	Combines flags using bitwise OR.

constexpr flags &	operator\|= (flags other) noexcept
	Combines flags in-place using bitwise OR.

constexpr flags	operator& (flags other) const noexcept
	Intersects flags using bitwise AND.

constexpr flags &	operator&= (flags other) noexcept
	Intersects flags in-place using bitwise AND.

constexpr flags	operator^ (flags other) const noexcept
	Toggles flags using bitwise XOR.

constexpr flags &	operator^= (flags other) noexcept
	Toggles flags in-place using bitwise XOR.

constexpr flags	operator- (flags other) const noexcept
	Clears specific flags (set difference).

constexpr flags &	operator-= (flags other) noexcept
	Clears specific flags in-place (set difference).

constexpr flags	operator~ () const noexcept
	Computes the bitwise complement.

constexpr bool	contains (flags other) const noexcept
	Checks if all specified flags are set.

constexpr bool	contains_any (flags other) const noexcept
	Checks if any of the specified flags are set.

constexpr bool	empty () const noexcept
	Checks if no flags are set.

constexpr	operator bool () const noexcept
	Explicit conversion to bool.

constexpr bool	operator== (flags const &) const noexcept=default
	Equality comparison between flags objects.

constexpr bool	operator== (E e) const noexcept
	Equality comparison with an individual enum value.

Detailed Description

template<flag_enum E>
class idfxx::flags< E >

Type-safe set of flags from a scoped enum.

Provides type-safe bitflag operations with full operator support. Individual enum values implicitly convert to flags<E>, allowing natural syntax like: auto f = my_flag::a | my_flag::b;

All operations are constexpr and marked [[nodiscard]] to prevent accidental misuse. The class provides zero-overhead abstractions over raw bitwise operations.

Requires opt-in via:

template<> inline constexpr bool idfxx::enable_flags_operators<MyEnum> = true;

idfxx::result

std::expected< T, std::error_code > result

result type wrapping a value or error code.

Definition error.hpp:120

Template Parameters

E	The flag enum type (must satisfy flag_enum concept).

Definition at line 88 of file flags.hpp.

Member Typedef Documentation

◆ enum_type

template<flag_enum E>

using idfxx::flags< E >::enum_type = E

The scoped enum type.

Definition at line 91 of file flags.hpp.

◆ underlying

template<flag_enum E>

using idfxx::flags< E >::underlying = std::underlying_type_t<E>

The underlying integral type of the enum.

Definition at line 94 of file flags.hpp.

Constructor & Destructor Documentation

◆ flags() [1/2]

template<flag_enum E>

constexpr idfxx::flags< E >::flags ( )

constexprdefaultnoexcept

Default constructor, initializes to empty flags (zero).

◆ flags() [2/2]

template<flag_enum E>

constexpr idfxx::flags< E >::flags ( E e )

inlineconstexprnoexcept

Constructs from a single enum value.

Allows implicit conversion from enum values to flags, enabling natural syntax when passing enum values to functions expecting flags.

Parameters

e	The enum value to initialize from.

Definition at line 116 of file flags.hpp.

Member Function Documentation

◆ contains()

template<flag_enum E>

constexpr bool idfxx::flags< E >::contains ( flags< E > other ) const

inlineconstexprnoexcept

Checks if all specified flags are set.

Returns true if all bits set in other are also set in this object. Returns false if other is empty (zero).

Parameters

other The flags to check for.

Returns: True if all specified flags are set, false otherwise.

Definition at line 225 of file flags.hpp.

◆ contains_any()

template<flag_enum E>

constexpr bool idfxx::flags< E >::contains_any ( flags< E > other ) const

inlineconstexprnoexcept

Checks if any of the specified flags are set.

Returns true if at least one bit set in other is also set in this object.

Parameters

other The flags to check for.

Returns: True if any specified flags are set, false otherwise.

Definition at line 238 of file flags.hpp.

◆ empty()

template<flag_enum E>

constexpr bool idfxx::flags< E >::empty ( ) const

inlineconstexprnoexcept

Checks if no flags are set.

Returns: True if the flags object is empty (all bits zero).

Definition at line 245 of file flags.hpp.

◆ operator bool()

template<flag_enum E>

constexpr idfxx::flags< E >::operator bool ( ) const

inlineexplicitconstexprnoexcept

Explicit conversion to bool.

Returns: True if any flags are set (non-zero), false if empty.

Definition at line 252 of file flags.hpp.

◆ operator&()

template<flag_enum E>

constexpr flags idfxx::flags< E >::operator& ( flags< E > other ) const

inlineconstexprnoexcept

Intersects flags using bitwise AND.

Parameters

other The flags to intersect with.

Returns: A new flags object containing only bits set in both operands.

Definition at line 147 of file flags.hpp.

◆ operator&=()

template<flag_enum E>

constexpr flags & idfxx::flags< E >::operator&= ( flags< E > other )

inlineconstexprnoexcept

Intersects flags in-place using bitwise AND.

Parameters

other The flags to intersect with.

Returns: Reference to this object.

Definition at line 156 of file flags.hpp.

◆ operator-()

template<flag_enum E>

constexpr flags idfxx::flags< E >::operator- ( flags< E > other ) const

inlineconstexprnoexcept

Clears specific flags (set difference).

Removes all bits set in other from this flags object.

Parameters

other The flags to remove.

Returns: A new flags object with the specified flags cleared.

Definition at line 191 of file flags.hpp.

◆ operator-=()

template<flag_enum E>

constexpr flags & idfxx::flags< E >::operator-= ( flags< E > other )

inlineconstexprnoexcept

Clears specific flags in-place (set difference).

Parameters

other The flags to remove.

Returns: Reference to this object.

Definition at line 200 of file flags.hpp.

◆ operator==() [1/2]

template<flag_enum E>

constexpr bool idfxx::flags< E >::operator== ( E e ) const

inlineconstexprnoexcept

Equality comparison with an individual enum value.

Parameters

e	The enum value to compare against.

Returns: True if this flags object equals the single enum value.

Definition at line 268 of file flags.hpp.

◆ operator==() [2/2]

template<flag_enum E>

constexpr bool idfxx::flags< E >::operator== ( flags< E > const & ) const

constexprdefaultnoexcept

Equality comparison between flags objects.

Returns: True if both flags have the same underlying value.

◆ operator^()

template<flag_enum E>

constexpr flags idfxx::flags< E >::operator^ ( flags< E > other ) const

inlineconstexprnoexcept

Toggles flags using bitwise XOR.

Parameters

other The flags to toggle.

Returns: A new flags object with toggled bits.

Definition at line 168 of file flags.hpp.

◆ operator^=()

template<flag_enum E>

constexpr flags & idfxx::flags< E >::operator^= ( flags< E > other )

inlineconstexprnoexcept

Toggles flags in-place using bitwise XOR.

Parameters

other The flags to toggle.

Returns: Reference to this object.

Definition at line 177 of file flags.hpp.

◆ operator|()

template<flag_enum E>

constexpr flags idfxx::flags< E >::operator| ( flags< E > other ) const

inlineconstexprnoexcept

Combines flags using bitwise OR.

Parameters

other The flags to combine with.

Returns: A new flags object containing all set bits from both operands.

Definition at line 126 of file flags.hpp.

◆ operator|=()

template<flag_enum E>

constexpr flags & idfxx::flags< E >::operator|= ( flags< E > other )

inlineconstexprnoexcept

Combines flags in-place using bitwise OR.

Parameters

other The flags to combine with.

Returns: Reference to this object.

Definition at line 135 of file flags.hpp.

◆ operator~()

template<flag_enum E>

constexpr flags idfxx::flags< E >::operator~ ( ) const

inlineconstexprnoexcept

Computes the bitwise complement.

Inverts all bits in the underlying type. Note that this includes bits beyond those defined in the enum.

Returns: A new flags object with all bits inverted.

Definition at line 213 of file flags.hpp.

The documentation for this class was generated from the following file:

idfxx_core/include/idfxx/flags.hpp

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ enum_type

◆ underlying

Constructor & Destructor Documentation

◆ flags() [1/2]

◆ flags() [2/2]

Member Function Documentation

◆ contains()

◆ contains_any()

◆ empty()

◆ operator bool()

◆ operator&()

◆ operator&=()

◆ operator-()

◆ operator-=()

◆ operator==() [1/2]

◆ operator==() [2/2]

◆ operator^()

◆ operator^=()

◆ operator|()

◆ operator|=()

◆ operator~()