GLSL子程序与着色器Uniform：为何Uniform被优化剔除？

这确实是GLSL编译器的正常优化行为，我来帮你理清背后的原因，以及更优雅的解决办法，不用再用那种hack式的“强制引用”操作：

为什么会出现这个问题？ #

GLSL编译器的**死代码消除（Dead Code Elimination）**优化会剔除那些被静态分析判定为“从未被使用”的变量。当你通过my_subroutines[i]()这种动态索引方式调用子程序时，编译器无法在编译期确定哪些子程序会被实际执行（除非i是编译期常量）。哪怕你用glUniformSubroutinesuiv设置了子程序数组，这是运行时的操作，编译器在编译/链接阶段完全感知不到。

所以编译器会判定：这些子程序里的uniform没有被main函数直接或间接（可静态追踪的方式）使用，于是就把它们优化掉了。而如果你直接在main里通过名称调用子程序，编译器能明确知道这个子程序一定会被执行，自然会保留里面用到的uniform。

如何优雅解决？ #

这里有几个更可靠的方案，按推荐程度排序：

1. 使用Uniform Buffer Objects (UBOs) #

把所有子程序需要用到的uniform变量放到一个UBO中，这是最推荐的方式。因为UBO是作为一个整体绑定到着色器的，编译器无法静态分析UBO内的哪些变量会被实际使用，所以不会剔除其中的任何变量。

示例代码大概是这样的：

layout(std140, binding = 0) uniform MyUniforms {
    vec4 uniform_variable0;
    float uniform_variable1;
    // 其他需要的uniform...
};

// 子程序定义
vec4 my_subroutine0(vec4 input_color) {
    return input_color * uniform_variable0;
}

vec4 my_subroutine1(vec4 input_color) {
    return input_color + uniform_variable1;
}

// 子程序数组
subroutine vec4 SubroutineType(vec4);
layout(subroutine_uniform) uniform SubroutineArray {
    SubroutineType my_subroutines[2];
};

void main() {
    vec4 color = vec4(1.0);
    color = my_subroutines[0](color);
    color = my_subroutines[1](color);
    FragColor = color;
}

这种方式不仅能避免uniform被优化，还能让uniform的管理更高效，尤其当多个子程序共享uniform时。

2. 使用编译器特定的优化禁用指令 #

如果不想用UBO，可以尝试关闭着色器的死代码消除优化。不过这是非标准的特性，不同GPU厂商的写法不同：

• NVIDIA显卡：#pragma optionNV(optimize off)
• AMD显卡：#pragma optimize off
• Intel显卡：可能支持#pragma optimize(0, off)

注意：这种方式会关闭整个着色器的优化，可能导致性能下降，所以只建议在调试或特殊场景下使用。

3. 让编译器能静态追踪到子程序调用 #

如果你的子程序索引是编译期常量（比如my_subroutines[0]()而不是动态的i），编译器能明确知道哪些子程序会被执行，自然会保留里面的uniform。但如果你的索引是运行时动态决定的，这个方法就不适用了。

总结 #

你遇到的是正常的编译器优化行为，不用太担心。最稳妥且高效的解决方式是改用UBO，既能避免uniform被剔除，又能提升着色器的性能和可维护性。那种在main里强制引用uniform的hack方法虽然能work，但不推荐长期使用。

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