为何Clang会检查if constexpr被舍弃的分支？C++代码疑问

问题场景 #

先看你的代码实现：

typedef void* MaaWin32Hwnd;
typedef uint32_t MaaMacWindowId;

#if defined(_WIN32)
typedef MaaWin32Hwnd MaaHwnd;
#elif defined(__APPLE__)
typedef MaaMacWindowId MaaHwnd;
#else
typedef int MaaHwnd;
#endif

inline std::string from_hwnd(MaaHwnd hwnd)
{
    if constexpr (std::is_pointer_v<MaaHwnd>) {
        return std::format("{:#018x}", reinterpret_cast<size_t>(hwnd));
    }
    else {
        return std::format("{:#018x}", static_cast<size_t>(hwnd));
    }
}

在macOS环境下，MaaHwnd被定义为uint32_t，按逻辑if constexpr的判断结果为false，应该只编译else分支，但Clang却报错if分支里的转换操作：

type.hpp :error: reinterpret_cast from 'MaaHwnd' (aka 'unsigned int') to 'size_t' (aka 'unsigned long') is not allowed
[build]    23 |         return std::format("{:#018x}", reinterpret_cast<size_t>(hwnd));

核心原因 #

if constexpr的分支丢弃规则只适用于模板上下文：

• C++标准明确规定，只有当if constexpr的条件是依赖模板参数的编译期表达式时，条件为false的分支才会被完全丢弃（不进行语义检查）。
• 你的from_hwnd是普通非模板函数，std::is_pointer_v<MaaHwnd>是不依赖任何模板参数的编译期常量。这种情况下，编译器会检查所有分支的代码合法性——哪怕分支永远不会被执行，因为这些代码属于非依赖代码，编译器必须确保它们在语法和语义上完全合法。
• 具体到这个错误：reinterpret_cast不允许在两个整数类型之间转换（它的合法场景是指针与整数、指针与指针、特定引用类型之间的转换）。macOS下MaaHwnd是uint32_t（整数），所以哪怕这个分支不会被执行，编译器依然会检查转换的合法性，最终抛出错误。

补充说明 #

如果把函数改成模板函数，让MaaHwnd成为模板参数，那么if constexpr的条件就依赖模板参数，此时条件为false的分支会被完全丢弃，不会触发错误：

template<typename T>
inline std::string from_hwnd(T hwnd)
{
    if constexpr (std::is_pointer_v<T>) {
        return std::format("{:#018x}", reinterpret_cast<size_t>(hwnd));
    }
    else {
        return std::format("{:#018x}", static_cast<size_t>(hwnd));
    }
}

你提到的函数重载也是可行方案，分别为指针类型和整数类型提供重载版本，从根源上避免分支判断的问题。

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