如果定义了枚举常量，如何静态断言？
如果定义了枚举常量，如何静态断言？
提问于 2020-06-15 10:05:23
我有这个C++14代码：
#include <type_traits>
struct f1 {
enum struct e { a };
};
struct f2 {
enum struct e {};
};
template <typename T>
struct my_struct {
using e = typename T::e;
my_struct()
: _e{e::a} {} // e::a used here
e _e;
};
int main() {
my_struct<f1> a;
my_struct<f2> b; // compilation fails
}显然，编译会失败，出现类似于'a' is not a member of 'my_struct<f2>::e'的错误。我真的很想在my_struct中添加一些静态断言，以添加自定义错误消息。首先，我可以检查e是否实际上是一个枚举：
static_assert(std::is_enum<e>::value, "my message");那么，我应该添加什么来静态断言定义了e::a？
回答 2
Stack Overflow用户
回答已采纳
发布于 2020-06-15 11:36:33
与检测任何嵌套声明的方式相同：
template <typename T, typename = void>
struct enum_defines_a : std::false_type {};
template <typename T>
struct enum_defines_a<T, decltype(void(T::a))> : std::is_enum<T> {};
static_assert(enum_defines_a<e>::value, "Enum doesn't define 'a'");Stack Overflow用户
发布于 2020-06-15 11:52:53
您可以使用SFINAE来解决此问题。考虑以下代码：
template <class T>
class has_a
{
template <class C>
static std::true_type test(C, C = C::a);
template <class C>
static std::false_type test(...);
public:
using type = T;
static bool constexpr value = decltype(test<T>(T{}))::value;
};然后，您只需：
static_assert(has_a<e>::value, "Given type is incorrect.");页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/62385878
复制
相似问题
Java枚举与静态常量
静态断言检查静态常量类数据成员？
静态断言枚举是某种基础类型。
如何静态地断言枚举元素的值？
循环通过常量枚举#定义
添加站长 进交流群
领取专属 10元无门槛券
AI混元助手 在线答疑
关注 腾讯云开发者公众号
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
