GLSL结构体Union函数返回错误成员变量问题求助

在ShaderToy编写光线追踪着色器时，定义了包含rayDist和matID的Hit结构体，以及返回距离更近的Hit的Union函数。运行时发现返回的rayDist正确，但matID出现异常：

• 调换Union函数的参数顺序，matID结果不同；
• 先将Union结果赋值给临时变量再传给rayHit，matID错误；
• 改用vec2存储距离和材质ID则一切正常。

问题代码示例 #

结构体与Union函数 #

struct Hit
{
    float rayDist;
    float matID;
};

Hit Union(Hit hit1, Hit hit2)
{
    if(hit1.rayDist < hit2.rayDist)
    { 
        return hit1; 
    }
    else
    { 
        return hit2; 
    }
}

调用代码 #

#define MATERIAL2 2.0

Hit rayHit = Hit(MAXDIST,-1.);
vec3 gridCoord = floor(coord);
for(int i =-1; i <= 1; i++)
for(int j =-1; j <= 1; j++)
for(int k =-1; k <= 1; k++)
{
    vec3 cell = gridCoord + vec3(i,j,k);
    float matOffset = hash13(cell);
     
     Hit sphereHit = Hit(SDSphere(cell, coord, scale), MATERIAL2);
     sphereHit.matID += matOffset;
     
     rayHit = Union( rayHit, sphereHit);
}

原因分析 #

问题出在WebGL GLSL ES（ShaderToy使用的着色器版本）的编译器优化逻辑上：
当Union函数直接返回输入的结构体变量时，编译器会根据判断条件（仅依赖rayDist）做激进优化，错误地只复制rayDist成员，忽略了matID的传递。而内置类型vec2的成员复制逻辑更稳定，不会触发这类优化问题。

同时，先初始化结构体再修改matID的操作（sphereHit.matID += matOffset），可能被编译器视为“未被判断逻辑依赖的修改”，进一步加剧了matID被忽略的问题。

解决方法 #

方法1：显式复制结构体成员 #

修改Union函数，手动复制两个成员的值到临时结构体后返回，避免编译器的不恰当优化：

Hit Union(Hit hit1, Hit hit2)
{
    Hit result;
    if(hit1.rayDist < hit2.rayDist)
    {
        result.rayDist = hit1.rayDist;
        result.matID = hit1.matID;
    }
    else
    {
        result.rayDist = hit2.rayDist;
        result.matID = hit2.matID;
    }
    return result;
}

方法2：直接初始化结构体的所有成员 #

避免先初始化再修改结构体成员的操作，直接在构造时计算好matID：

// 替换原sphereHit的创建代码
Hit sphereHit = Hit(SDSphere(cell, coord, scale), MATERIAL2 + matOffset);

这样可以让编译器明确感知到matID的取值，避免优化时忽略该成员。

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