为何GLSL中调用glGetUniformLocation获取gComboMatrix位置始终返回-1

• gComboMatrix参与的所有运算结果，全部没有接入OpenGL管线的有效输出链路，被编译器在跨阶段死代码消除环节整体移除，这就是查询位置返回-1的直接原因。
  链路拆解：
  1. 你的顶点着色器中，gComboMatrix唯一参与的运算，是和input_mXYZ相乘得到自定义输出变量output_mXYZ；
  2. 顶点着色器从头到尾没有给内置的、管线必须输出的gl_Position变量赋值——而gComboMatrix本来的核心用途就是计算裁剪空间下的gl_Position；
  3. 片元着色器虽然声明了接收output_mXYZ的输入变量input_mXYZ，但在片元主函数的全部逻辑里，从来没有读取过input_mXYZ的值。
     也就是说，从gComboMatrix出发的所有计算，最终结果传给了一个下游阶段完全不消费的变量，整个计算块属于完全无用的死代码。编译器在优化时会直接删掉这部分代码，连带把gComboMatrix从程序的uniform符号表中移除，调用glGetUniformLocation自然返回-1。
• 你之前尝试强制保留gComboMatrix的修改之所以没有生效，本质是修改后的计算结果没有真正影响最终的片元输出：一方面gComboMatrix[0]是vec4类型，直接赋值给单通道alpha时存在类型不匹配，这行代码在编译阶段就可能被判定为无意义代码过滤；另一方面就算修正了类型问题，如果计算逻辑没有被接入会直接输出到帧缓冲的变量、或者接入管线必须使用的内置变量，深度优化阶段依然会把这部分代码全部删掉。

当前你的两套着色器没有触发链接报错，是因为GLSL ES 3.0允许跨阶段接口变量不匹配名称，只要类型兼容、隐式分配的位置对齐就能正常传值，但代码本身存在明显的逻辑断层：

• 顶点向外输出的output_mUV（vec2类型），在片元阶段对应的接收变量是input_mTex1，两者名称完全不一致，仅靠隐式顺序分配位置对齐，后续只要调整变量声明顺序就会直接出现纹理坐标错位的问题。
• 顶点阶段没有对gl_Position赋值，当前绘制的顶点位置实际是未定义的随机值，只是因为代码其他逻辑碰巧能跑通没有崩溃而已。

要让gComboMatrix被编译器正常保留，只需要把它的计算结果接入管线必须使用的链路即可，比如直接修改顶点着色器的main函数：

void main()
{
  // 将变换后的结果赋值给内置顶点位置变量，这是管线强制消费的值，绝不会被优化删除
  gl_Position = input_mXYZ * gComboMatrix;
  
  // 保留原有其他输出逻辑
  output_mColor = vec4(
    float((input_mColor & 0x000000FFu)) / 255.0f,
    float((input_mColor & 0x0000FF00u) >> 8) / 255.0f,
    float((input_mColor & 0x00FF0000u) >> 16) / 255.0f,
    float((input_mColor & 0xFF000000u) >> 24) / 255.0f
  );
  output_mUV = input_mUV;
  output_mXYZ = gl_Position;
}

修改完成后重新编译、链接着色器，再调用glGetUniformLocation(glProgram, "gComboMatrix")就会拿到有效的非-1位置。

补充：GLSL ES 3.0的链接器不会因为跨阶段的接口变量名称不匹配就抛出错误，只要类型兼容、位置匹配就能正常传递数据，这也是你当前存在接口命名错配、但编译链接全程没有报错的原因。

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