为何gl_InstanceID不属于动态一致表达式？

首先要明确：OpenGL规范的设计目标是兼容全品类GPU硬件，而非只针对主流桌面GPU。

• 存在支持跨实例合并波前的GPU
  确实有过（甚至当前部分嵌入式、专业GPU）的硬件架构支持将不同实例的顶点打包进同一个warp/wavefront执行。这类硬件通过跨实例合并来提升小实例场景的执行效率——比如单实例只有几个顶点的情况，合并后能充分利用波前的并行能力。如果将gl_InstanceID定义为动态一致，就会强制要求同一波前内所有着色器调用的gl_InstanceID必须相同，直接堵死这类硬件的优化路径。

• 规范需要保留硬件灵活性
  动态一致的核心要求是：同一执行组（warp/wavefront）内的所有着色器调用，该变量的值必须完全一致。把gl_InstanceID、gl_BaseInstance、gl_BaseVertex设为非动态一致，本质是给硬件实现留足灵活度——厂商可以根据自身架构选择是否跨实例合并执行组，而不是被规范强制限制。

• 主流桌面GPU的取舍是厂商选择，而非规范限制
  你提到的主流桌面GPU不做跨实例合并，是厂商基于自身硬件架构（比如缓存布局、调度复杂度、内存访问模式）做出的性能取舍，而非规范不允许。规范不能因为部分厂商的选择，就剥夺其他厂商实现优化的可能性。

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