Clang中使用std::expected编译失败的问题及解决咨询

问题场景 #

测试代码如下：

#include <expected>
int main() {
  using T = std::expected<int, char>;
  return 0;
}

使用Clang 17编译（命令：clang++ -std=c++2b try.cpp）时出现错误：

try.cpp:3:13: error: use of undeclared identifier 'std'
    3 |   using T = std::expected<int, char>;

问题原因 #

系统使用的是GCC 13.1.1的libstdc++标准库，其<expected>头文件存在宏守卫：

#if __cplusplus > 202002L && __cpp_concepts >= 202002L

但当前Clang 17的__cpp_concepts宏值为201907L（可通过clang++ -dM -E --std=c++2b try.cpp | grep __cpp_concepts查看），不满足宏守卫的条件，导致std::expected未被定义。

干净的解决方法 #

• 切换至libc++标准库：编译时添加-stdlib=libc++参数，命令修改为：

  clang++ -std=c++2b -stdlib=libc++ try.cpp
  

  LLVM的libc++对std::expected的实现不依赖202002L版本的__cpp_concepts宏，可正常编译使用。
• 等待官方修复：该问题已在LLVM的Issue #62801中被追踪，后续Clang或libstdc++的更新版本会修复此宏版本不匹配问题，可关注版本更新。

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