带函数参数的constexpr if在Clang编译报错、GCC正常，是否为代码问题或Clang Bug？

问题背景 #

以下测试代码在GCC 11（编译命令：g++ test.cpp -std=c++17）下可正常编译，但在Clang 14（编译命令：clang++ test.cpp -std=c++17）下编译失败：

#include <type_traits>
enum class ShaderType:unsigned{
    Vertex = 0,
    Fragment = 1,
};

template<ShaderType type> struct ShaderTypeHolder{
    static constexpr ShaderType m_type = type;
};

struct VertexData{
    int vertex;
};

struct FragmentData{
    int fragment;
};

template <typename DataT>
static constexpr bool ShaderTypeMatchData(ShaderType type)
{
    bool result = false;
    switch(type){
        case ShaderType::Vertex:
        {
            result = std::is_same_v<DataT, VertexData>;
            break;
        }
        case ShaderType::Fragment:
        {
            result = std::is_same_v<DataT, FragmentData>;
            break;
        }
        default:
            break;
    }

    return result;
}

template<class DataT> constexpr void VisitData(ShaderType type, DataT data){
    VisitBaseOnShaderType(
        [&data](auto holder) {
            if constexpr (holder.m_type == ShaderType::Vertex &&
                ShaderTypeMatchData<DataT>(holder.m_type))
            {
                int val = data.vertex;
            }
        },
        type
    );
}
template<class visitor> constexpr void VisitBaseOnShaderType(visitor&& visitorFunc, ShaderType shader_type){
    switch (shader_type){
        case ShaderType::Vertex:
        {
            constexpr ShaderType type = ShaderType::Vertex;
            visitorFunc(ShaderTypeHolder<type>());
            break;
        }
        case ShaderType::Fragment:
        {
            constexpr ShaderType type = ShaderType::Fragment;
            visitorFunc(ShaderTypeHolder<type>());
            break;
        }
        default:
            break;
    }
}

int main(){
    VertexData vertex;
    FragmentData fragment;
    VisitData(ShaderType::Vertex, vertex);
    VisitData(ShaderType::Fragment, fragment);
    return 0;
}

Clang的错误日志如下：

error: no member named 'vertex' in 'FragmentData'
        int val = data.vertex;
                       ~~~~ ^
test.cpp: note: in instantiation of function template specialization 'VisitData<FragmentData>' requested here    
VisitData(ShaderType::Fragment, fragment);

原因分析 #

这是代码不符合C++标准导致的问题，并非Clang的Bug。

核心问题在于if constexpr的条件必须是能转换为bool的编译期常量表达式，而原代码中的ShaderTypeMatchData<DataT>(holder.m_type)并不满足这一要求：

• ShaderTypeMatchData是接受运行时值参数的constexpr函数，而非模板函数。即使传入的holder.m_type是constexpr值，函数内部的switch分支逻辑依赖于运行时参数（函数定义本身允许传入非constexpr的ShaderType值），因此编译器无法在编译期确保该函数调用的结果是常量。
• Clang严格遵循C++标准，认为该条件不是合法的编译期常量表达式，因此不会丢弃无效的代码分支。当实例化VisitData<FragmentData>时，data.vertex的访问会被检查，而FragmentData没有vertex成员，从而触发编译错误。
• GCC在这里做了非标准的扩展，允许这种在特定场景下能求值为常量的表达式作为if constexpr的条件，因此跳过了无效分支，编译通过。

修复方案 #

将ShaderTypeMatchData修改为模板函数，用模板参数传递ShaderType，确保结果在编译期完全确定：

template <typename DataT, ShaderType type>
static constexpr bool ShaderTypeMatchData()
{
    if constexpr (type == ShaderType::Vertex)
    {
        return std::is_same_v<DataT, VertexData>;
    }
    else if constexpr (type == ShaderType::Fragment)
    {
        return std::is_same_v<DataT, FragmentData>;
    }
    else
    {
        return false;
    }
}

同时修改VisitData中的调用代码：

if constexpr (holder.m_type == ShaderType::Vertex &&
    ShaderTypeMatchData<DataT, holder.m_type>())

修改后，if constexpr的条件是完全的编译期常量表达式，Clang和GCC都能正确编译，且符合C++标准。

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