std::error_condition值无法用于switch/case的问题及处理咨询

问题场景 #

我编写了如下简化代码：

#include <system_error>

int main (int, char**)
{
  std::error_code ec;

  switch(ec.default_error_condition().value())
  {
    case std::errc::file_exists: return 1;
    default: return 2;
  }  

  return 0;
}

使用Clang编译时触发如下错误：

test.cpp:9:10: error: value of type 'std::errc' is not implicitly convertible to 'int'
    9 |     case std::errc::file_exists: return 1;
      |          ^~~~~~~~~~~~~~~~~~~~~~
1 error generated.

测试GCC、ICC等编译器时均出现类似错误，仅MSVC的cl能编译通过。初看std::errc像是普通枚举类，但实际存在额外模板机制。想确认以下问题：

1. 这类值无法用于switch/case是否是C++标准的有意设计？
2. 如何正确使用std::error_code和std::error_condition？

原因解析 #

std::errc是C++11引入的强类型枚举（scoped enum），标准明确规定强类型枚举不会隐式转换为整数类型。MSVC能编译通过是因为它默认启用了非标准扩展，允许这种隐式转换；而Clang、GCC等严格遵循标准的编译器会拒绝此类代码。

switch语句要求case标签的常量表达式必须能转换为switch条件变量的整数类型，由于强类型枚举无隐式转换，直接用std::errc::file_exists作为case标签会触发类型不匹配错误。

解决方案 #

方案1：显式转换为整数 #

将std::errc的值显式转换为int，与default_error_condition().value()的返回类型匹配：

#include <system_error>

int main(int, char**)
{
  std::error_code ec;

  switch(ec.default_error_condition().value())
  {
    case static_cast<int>(std::errc::file_exists): return 1;
    default: return 2;
  }  

  return 0;
}

方案2：直接比较error_condition对象（if写法） #

如果不需要switch的贯穿特性，直接利用std::error_condition的比较运算符更符合设计意图，代码也更清晰：

#include <system_error>

int main(int, char**)
{
  std::error_code ec;
  auto cond = ec.default_error_condition();

  if (cond == std::errc::file_exists) {
    return 1;
  } else {
    return 2;
  }
}

正确使用std::error_code与std::error_condition #

• std::error_code：绑定特定平台的错误码（比如POSIX的errno、Windows的HRESULT），其value()返回的是平台相关的数值，用于和平台API交互。
• std::error_condition：代表跨平台的抽象错误条件，比如std::errc::file_exists在所有平台都表示“文件已存在”，与底层平台的具体错误码无关。
• 转换与比较：调用std::error_code::default_error_condition()可将平台相关的错误码转换为跨平台的错误条件；直接用==运算符就能比较std::error_code、std::error_condition和std::errc枚举值，底层会自动处理类型匹配。

内容的提问来源于stack exchange，提问作者albert