static_cast 从底层类型值到枚举类并切换以获取编译器帮助

Posted 2023-03-25

【中文标题】static_cast 从底层类型值到枚举类并切换以获取编译器帮助

【英文标题】：static_cast to enum class from underlying type value and switch for compiler assistance

【发布时间】：2021-05-23 19:54:46

【问题描述】：

假设我有一个枚举：

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 及更高版本）吗？ 如果是，有什么缺点吗？

【问题讨论】：

它是合法的 C++。它有点冗长，你需要写很多东西，但是利用switch 中的编译器警告是个好主意。顺便说一句，我认为你的问题更适合codereview.stackexchange.com。

这是合法的，但如果你问的是警告（或某些诊断）是否得到保证，我不认为是。

***.com/a/18195408/1116364 这也回答了合法性；在此添加以供参考

【参考方案1】：

它是合法的 C++。

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

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

【讨论】：

谢谢，非常期待 C++23 :)