Question

大家好，我已经编写了一个宏来轻松定义枚举运算符，而我得到

警告：通过此函数的所有路径都将自行调用

我知道这意味着函数是递归的，但是在哪里？

#define DEFINE_BITMASKENUM_OPERATORS(et, ut) \
    constexpr et operator &(const et a, const et b) noexcept { return (et(static_cast<ut>(a) & static_cast<ut>(b))); } \
    constexpr et operator |(const et a, const et b) noexcept { return (et(static_cast<ut>(a) | static_cast<ut>(b))); } \
    constexpr et operator ^(const et a, const et b) noexcept { return (et(static_cast<ut>(a) ^ static_cast<ut>(b))); } \
    constexpr et operator~(const et a) noexcept { return ~(a); } \
    inline et& operator&=(const et& a, const et b) noexcept {  return (reinterpret_cast<et&>((ut&)a &= (ut)b)); } \
    inline et& operator^=(const et& a, const et b) noexcept {  return (reinterpret_cast<et&>((ut&)a ^= (ut)b)); } \
    inline et& operator|=(const et& a, const et b) noexcept {  return (reinterpret_cast<et&>((ut&)a |= (ut)b)); }

et是枚举类型，而ut是基础类型。这样使用：

enum kRUNTIME_FLAGS : short16
{
    kRUNTIME_FLAGS_DEF                                                                          = 0b010,
    kRUNTIME_FLAGS_NO_RUNTIME_STATISTICS_RECORDING          = 0b0100,
    kRUNTIME_FLAGS_ENABLE_TERMINAL                          = 0b01000,
    kRUNTIME_FLAGS_ENABLE_EDIT_MODE                         = 0b010000,
    kRUNTIME_FLAGS_ALLOW_EDIT_MODE_SWITCH                   = 0b0100000,
    kRUNTIME_FLAGS_STOP                                     = 0b01000000,
    kRUNTIME_FLAGS_ALLOW_AUTO_STRIDE_FLUSH                  = 0b010000000
};
DEFINE_BITMASKENUM_OPERATORS(kRUNTIME_FLAGS, short16)

但是函数在哪里调用自身，我该如何解决？现在已修复，对于每个需要这样的人，我认为此模板版本应该可以工作：

template<typename ENUM, typename  ENUM_TYPE = typename std::underlying_type<ENUM>::type>
constexpr ENUM operator&(const  ENUM a, const  ENUM b) noexcept { return (ENUM(static_cast<ENUM_TYPE>(a) & static_cast<ENUM_TYPE>(b))); }
template<typename ENUM, typename  ENUM_TYPE = typename std::underlying_type<ENUM>::type>
constexpr ENUM operator|(const  ENUM a, const  ENUM b) noexcept { return (ENUM(static_cast<ENUM_TYPE>(a) | static_cast<ENUM_TYPE>(b))); }
template<typename ENUM, typename  ENUM_TYPE = typename std::underlying_type<ENUM>::type>
constexpr ENUM operator^(const  ENUM a, const  ENUM b) noexcept { return (ENUM(static_cast<ENUM_TYPE>(a) ^ static_cast<ENUM_TYPE>(b))); }
template<typename ENUM, typename  ENUM_TYPE = typename std::underlying_type<ENUM>::type>
constexpr ENUM operator~(const ENUM a) noexcept { return ENUM(~static_cast<ENUM_TYPE>(a)); }
template<typename ENUM, typename  ENUM_TYPE = typename std::underlying_type<ENUM>::type>
inline ENUM& operator&=(const ENUM& a, const ENUM b) noexcept { return (reinterpret_cast<ENUM&>((ENUM_TYPE&)a &= (ENUM_TYPE)b)); }
template<typename ENUM, typename  ENUM_TYPE = typename std::underlying_type<ENUM>::type>
inline ENUM& operator^=(const ENUM& a, const ENUM b) noexcept { return (reinterpret_cast<ENUM&>((ENUM_TYPE&)a ^= (ENUM_TYPE)b)); }
template<typename ENUM, typename  ENUM_TYPE = typename std::underlying_type<ENUM>::type>
inline ENUM& operator|=(const ENUM& a, const ENUM b) noexcept { return (reinterpret_cast<ENUM&>((ENUM_TYPE&)a |= (ENUM_TYPE)b)); }

Answer 1

更改：

constexpr et operator~(const et a) noexcept { return ~(a); }

到

constexpr et operator~(const et a) noexcept { return et(~static_cast<ut>(a)); }

它应该在没有警告的情况下进行编译。

#include <cstdint>
#define DEFINE_BITMASKENUM_OPERATORS(et, ut) \
    constexpr et operator &(const et a, const et b) noexcept { return (et(static_cast<ut>(a) & static_cast<ut>(b))); } \
    constexpr et operator |(const et a, const et b) noexcept { return (et(static_cast<ut>(a) | static_cast<ut>(b))); } \
    constexpr et operator ^(const et a, const et b) noexcept { return (et(static_cast<ut>(a) ^ static_cast<ut>(b))); } \
    constexpr et operator~(const et a) noexcept { return et(~static_cast<ut>(a)); } \
    inline et& operator&=(const et& a, const et b) noexcept {  return (reinterpret_cast<et&>((ut&)a &= (ut)b)); } \
    inline et& operator^=(const et& a, const et b) noexcept {  return (reinterpret_cast<et&>((ut&)a ^= (ut)b)); } \
    inline et& operator|=(const et& a, const et b) noexcept {  return (reinterpret_cast<et&>((ut&)a |= (ut)b)); }

enum kRUNTIME_FLAGS : int16_t
{
    kRUNTIME_FLAGS_DEF                                                                          = 0b010,
    kRUNTIME_FLAGS_NO_RUNTIME_STATISTICS_RECORDING          = 0b0100,
    kRUNTIME_FLAGS_ENABLE_TERMINAL                          = 0b01000,
    kRUNTIME_FLAGS_ENABLE_EDIT_MODE                         = 0b010000,
    kRUNTIME_FLAGS_ALLOW_EDIT_MODE_SWITCH                   = 0b0100000,
    kRUNTIME_FLAGS_STOP                                     = 0b01000000,
    kRUNTIME_FLAGS_ALLOW_AUTO_STRIDE_FLUSH                  = 0b010000000
};
DEFINE_BITMASKENUM_OPERATORS(kRUNTIME_FLAGS, int16_t)

https://gcc.godbolt.org/z/ORF5iX

C ++通过此功能的所有路径都会在宏中调用自己吗？

1 个答案: