当顶点属性数组零被禁用时，为什么 OpenGL 绘制会失败？

我在让我的顶点着色器在 ATI 驱动程序上的 OpenGL 3.3 核心下运行时遇到了极大的困难：

#version 150

uniform mat4 graph_matrix, view_matrix, proj_matrix;
uniform bool align_origin;

attribute vec2 graph_position;
attribute vec2 screen_position;
attribute vec2 texcoord0;
attribute vec4 color;
varying vec2 texcoord0_px;
varying vec4 color_px;

void main() {
    // Pick the position or the annotation position
    vec2 pos = graph_position;

    // Transform the coordinates
    pos = vec2(graph_matrix * vec4(pos, 0.0, 1.0));

    if( align_origin )
        pos = floor(pos + vec2(0.5, 0.5)) + vec2(0.5, 0.5);

    gl_Position = proj_matrix * view_matrix * vec4(pos + screen_position, 0.0, 1.0);
    texcoord0_px = texcoord0;
    color_px = color;
}

我使用 glVertexAttrib4f 指定颜色属性，并关闭属性数组。根据 3.3 核心规范第 33 页，这应该有效：

如果未启用与顶点着色器所需的通用属性相对应的数组，则从当前通用属性状态中获取相应的元素（参见第 2.7 节）。

但是（大多数时候，取决于配置文件和驱动程序）如果我访问禁用的颜色属性，着色器要么根本不运行，要么使用黑色。用常量替换它就可以运行了。

大量搜索结果本页有关 WebGL 的提示 https://developer.mozilla.org/en-US/docs/WebGL/WebGL_best_practices，其中有以下内容：

始终启用顶点属性 0 数组。如果您在禁用顶点属性 0 数组的情况下进行绘制，则在桌面 OpenGL（例如在 Mac OSX 上）上运行时，您将强制浏览器进行复杂的模拟。这是因为在桌面 OpenGL 中，如果顶点属性 0 未启用数组，则不会绘制任何内容。您可以使用bindAttribLocation()强制顶点属性使用位置0，并使用enableVertexAttribArray()使其启用数组。

果然，不仅颜色属性被分配给索引零，而且如果我将另一个启用数组的属性强制绑定为零，代码就会运行并产生正确的颜色。

我在任何地方都找不到任何其他提及此规则的内容，当然在 ATI 硬件上也找不到。有谁知道这个规则从何而来？或者这是 Mozilla 人员注意到并警告过的实现中的错误？

tl;dr:这是一个驱动程序错误。核心 OpenGL 3.3 应该允许您不使用属性 0，但兼容性配置文件不允许，并且某些驱动程序无法正确实现该开关。只需确保使用属性 0 即可避免出现任何问题。

实际内容：

让我们上一堂历史课，了解 OpenGL 规范是如何诞生的。

在 OpenGL 最古老的时代，只有一种渲染方式：立即模式（即：glBegin/glVertex/glColor/glEtc/glEnd）。显示列表是存在的，但它们始终被定义为简单地再次发送捕获的命令。因此，虽然实现实际上并未进行所有这些函数调用，但实现的行为仍然就像它们进行了一样。

在 OpenGL 1.1 中，客户端顶点数组被添加到规范中。现在记住：规范是指定的文档behavior，而不是实施。因此，ARB 简单地定义客户端数组的工作方式与进行立即模式调用完全相同，使用对当前数组指针的适当访问。显然，实现实际上不会这样做，但它们的行为却好像这样做了。

基于缓冲区对象的顶点数组以相同的方式定义，但由于从服务器存储而不是客户端存储中提取，语言稍微复杂一些。

然后发生了一些事情：ARB_vertex_program（不是ARB_vertex_shader。我说的是汇编程序）。

看，一旦有了着色器，您就希望能够开始定义自己的属性，而不是使用内置属性。这一切都是有道理的。然而，有一个问题。

立即模式的工作原理如下：

glBegin(...);
glTexCoord(...);
glColor(...);
glVertex(...);
glTexCoord(...);
glColor(...);
glVertex(...);
glTexCoord(...);
glColor(...);
glVertex(...);
glEnd();

每次你打电话glVertex，这会导致所有当前属性状态都用于单个顶点。所有其他立即模式函数只是将值设置到上下文中；这个功能实际上sendsOpenGL 中要处理的顶点。这在即时模式下非常重要。由于每个顶点都必须在固定功能区域中拥有一个位置，因此使用此函数来决定何时应处理顶点是有意义的。

一旦不再使用 OpenGL 的固定功能顶点语义，立即模式就会出现问题。也就是说，你如何决定何时真正send顶点？

按照惯例，他们将其粘贴到属性 0 上。因此，所有立即模式渲染必须使用属性 0 或 glVertex 来发送顶点。

然而，因为所有其他渲染基于立即模式渲染的语言，所有其他渲染都有相同的局限性立即模式渲染。立即模式需要属性 0 或 glVertex，因此客户端数组等也是如此。尽管这对他们来说没有意义，但他们需要它，因为规范如何定义他们的行为。

然后 OpenGL 3.0 出现了。他们不赞成立即模式。弃用并不意味着removed;规范中仍然包含这些函数，并且所有顶点数组渲染仍然被定义in terms其中。

OpenGL 3.1 实际上删除了旧的东西。这带来了一些语言问题。毕竟，每个数组绘制命令总是根据立即模式定义的。但是一旦即时模式不再存在......你如何定义它？

因此他们必须为核心 OpenGL 3.1+ 开发新的语言。在这样做的同时，他们删除了需要使用属性 0 的毫无意义的限制。

但兼容性配置文件did not.

因此，OpenGL 3.2+的规则是这样的。如果您有核心 OpenGL 配置文件，则不必使用属性 0。如果您有兼容性 OpenGL 配置文件，则必须使用属性 0（或glVertex）。规范就是这么说的。

但这不是实现所实现的。

一般来说，NVIDIA 从来不太关心“必须使用属性 0”规则，只是按照您的预期行事，即使在兼容性配置文件中也是如此。从而违反了规范的规定。 AMD 通常更有可能遵守该规范。然而，他们忘记了实施core行为正确。所以NVIDIA对兼容性太宽容，而AMD对核心太限制。

要解决这些驱动程序错误，只需始终使用属性 0。

顺便说一句，如果您想知道的话，NVIDIA 赢了。在 OpenGL 4.3 中，兼容性配置文件对其数组渲染命令使用与核心相同的措辞。因此，您可以在核心和兼容性上不使用属性 0。