GCC/MSVC可编译但Clang(18)无法编译的C++代码：原因与解决办法

问题重现 #

以下代码可通过GCC和MSVC编译，但无法通过Clang 18编译：

#include <optional>
#include <variant>
#include <vector>

// A
static_assert(
    std::optional<
        std::vector< int >
    >{ std::vector< int >{ 1, 2, 3 } }
);
// B
static_assert(
    std::optional<
        std::variant<
            std::vector< int >
        >
    >{ std::vector< int >{ 1, 2, 3 } }
);

成因分析 #

核心原因是C++标准对std::optional显式转换运算符的严格要求：

• std::optional的operator bool()是explicit constexpr转换运算符，根据标准，在需要布尔值的上下文（如static_assert的条件表达式）中，不允许隐式调用显式转换运算符。
• GCC和MSVC实现了非标准扩展，允许在常量表达式场景下隐式触发该转换；而Clang 18严格遵循C++标准，拒绝这种不符合规范的隐式转换，因此编译报错。

解决办法 #

只需显式将std::optional转换为布尔值即可，有两种符合标准的写法：

方法1：使用static_cast<bool>显式转换 #

// A
static_assert(
    static_cast<bool>(std::optional<std::vector<int>>{ std::vector<int>{ 1, 2, 3 } })
);
// B
static_assert(
    static_cast<bool>(std::optional<std::variant<std::vector<int>>>{ std::vector<int>{ 1, 2, 3 } })
);

方法2：调用has_value()成员函数 #

// A
static_assert(
    std::optional<std::vector<int>>{ std::vector<int>{ 1, 2, 3 } }.has_value()
);
// B
static_assert(
    std::optional<std::variant<std::vector<int>>>{ std::vector<int>{ 1, 2, 3 } }.has_value()
);

这两种写法均能在GCC、MSVC和Clang 18下正常编译，且完全符合C++标准。

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