static_cast 从基础类型值枚举 class 并切换到编译器帮助

Question

假设我有一个枚举：

enum class Thing : std::uint8_t {
  Foo = 21,
  Bar = 42,
  Baz = 1
};

我想将（基础类型的）“原始”值转换为该枚举的值，并通过错误处理捕获不是“事物”的值。我可以使用 if (raw_value == static_cast<std::uint8_t>(Thing::Foo)) 之类的检查，然后使用带有错误处理的 else，但随后 我可能会忘记 ，例如 Thing::Baz。但是，当我切换 Thing 类型的值时，我的编译器（可能是大多数现代编译器）警告我未处理的枚举值（“枚举值 Baz 未在 switch 中处理”）。

所以我想到了这个：

Thing thingFromUInt8(std::uint8_t const b) {
  Thing const t = static_cast<Thing>(b);
  switch (t) { // If I'd add Thing::Frob but forget it here I get a warning
    case Thing::Foo:
    case Thing::Bar:
    case Thing::Baz:
      return t;
  }
  throw std::runtime_error("That's not a thing...");
}

问题：

这是“合法的”C++（C++11 及更高版本）吗？
如果是，有什么缺点吗？

Answer 1

它是合法的 C++。

缺点是违反了DRY，但很难避免。

在 c++23 中，我们将进行反射并能够生成等效代码（无需依赖编译器警告来确保我们没有遗漏任何代码）。反射语法仍在不断变化，但我阅读过的每个版本都能够处理该问题。

static_cast 从基础类型值枚举 class 并切换到编译器帮助

static_cast to enum class from underlying type value and switch for compiler assistance

c++

language-lawyer

c++11