【问题标题】:static_cast to enum class from underlying type value and switch for compiler assistancestatic_cast 从底层类型值到枚举类并切换以获取编译器帮助
【发布时间】: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
  • 这是合法的,但如果你问的是警告(或某些诊断)是否得到保证,我不认为是。
  • stackoverflow.com/a/18195408/1116364 这也回答了合法性;在此添加以供参考

标签: c++ c++11 language-lawyer


【解决方案1】:

它是合法的 C++。

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

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

【讨论】:

  • 谢谢,非常期待 C++23 :)
猜你喜欢
  • 2020-01-04
  • 2014-08-02
  • 1970-01-01
  • 1970-01-01
  • 2017-01-14
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多