Clang下C++20 optional初始化异常问题咨询

是的，这属于Clang在C++20标准支持上的实现缺陷。

问题背景 #

你提供的代码在GCC、MSVC的C20编译环境下可正常通过，但在Clang的C20环境中编译失败；而在C17环境下，三款编译器都会编译失败——这是因为C17的std::optional不支持这种简化的in_place构造参数推导。

原因分析 #

C++20标准扩展了std::optional的in_place构造模板，允许直接传递被包含类型（这里是struct A）的构造参数，编译器会自动将参数转发给A的构造函数。由于A的成员std::string s支持从const char*隐式构造，所以"hello"可以被用来构造A。

Clang的C++20实现在这里没有正确处理这种带隐式转换的参数转发，导致编译失败。你可以通过显式构造std::string来验证：

[[maybe_unused]] optional<A> a{in_place, std::string("hello")};

这段代码在Clang的C++20环境中可以正常编译，说明Clang只是未正确支持隐式转换参数的转发逻辑，属于标准实现上的Bug。

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