在下面的示例中,我创建了一些在枚举值上模板化的流畅方法,用于测试值是否包含特定标志。
#include <type_traits>
// Scoped flags enum
enum class Flags {
One = 1 << 0,
Two = 1 << 1
};
// Template method for enum bitwise and operator
template< typename enum_type >
constexpr enum_type bitwise_and_operator(enum_type lhs, enum_type rhs) {
typedef typename std::underlying_type<enum_type>::type fundamental_type;
return static_cast<enum_type>(static_cast<fundamental_type>(lhs) & static_cast<fundamental_type>(rhs));
}
// Flags and operator
constexpr Flags operator&(Flags lhs, Flags rhs) {
return bitwise_and_operator<Flags>(lhs, rhs);
}
// Template method for enum flag
template< typename enum_type, enum_type enum_value >
constexpr bool Flagged(enum_type type) {
return (type & enum_value) == enum_value;
}
// Has flag one?
constexpr bool HasOne(Flags flags) {
return Flagged<Flags, Flags::One>(flags);
};
// Has flag two?
constexpr bool HasTwo(Flags flags) {
return Flagged<Flags, Flags::Two>(flags);
};
int main() {
auto flag = Flags::One;
auto True = HasOne(flag);
auto False = HasTwo(flag);
return 0;
}
包括模板参数Flags和Flags :: One可能比编译器需要的信息更多。
是否可以构建一个可以被称为的模板:
constexpr bool HasOne(Flags flags) {
return Flagged<Flags::One>(flags);
};
如何构建一个从编译时的值中推导出枚举类型的方法?或者是否有另一个编译时解决这个问题的方法?
提前致谢。
答案 0 :(得分:1)
您希望enum_value
作为模板参数的原因是什么?您可以简单地将其作为另一个参数传递:
template <typename enum_type>
constexpr bool Flagged(enum_type src, enum_type flag) {
return (src & flag) == flag;
}
// Has flag one?
constexpr bool HasOne(Flags flags) {
return Flagged(flags, Flags::One);
};
答案 1 :(得分:0)