从顶点数据到第一个三角形

为什么画一个三角形这么费劲

把一个三角形画到屏幕上，听起来像「给三个点连线填色」那么简单。但显卡不是这么工作的——它更像一条工厂流水线：原料从一头进去，经过一道道工位加工，成品从另一头出来。

你要做的不是「画」，而是备料 + 排产：先把三个角的坐标当原料送进车间，再告诉流水线每道工位怎么处理这批原料，最后按下开工按钮。

没有这套流程会怎样？显卡收到一堆数字却不知道它们是坐标、该连成什么、用什么颜色填——于是什么都不会出现。这一章就是把这条流水线一道道走通。

第一个角色：顶点，与它携带的「属性」

流水线的原料是 顶点（Vertex）——一个数据点。三角形由三个顶点定义。但顶点不只是「一个坐标」：它身上可以挂多种信息，每一种叫一个 顶点属性（attribute）。

本章最简单的情形：每个顶点只带一个属性——位置，用 3 个 float（x、y、z）表示。三个顶点连起来就是 9 个 float，在内存里挨着排成一条直线：

顶点0          顶点1          顶点2
x0 y0 z0   |   x1 y1 z1   |   x2 y2 z2     ← 内存里就是连续的 9 个 float

显卡拿到的其实只是这 9 个裸数字，它并不天然知道「每 3 个是一个顶点的位置」——这一点稍后由 VAO 来交代。

为什么坐标只能写在某个范围里？因为顶点位置用的是 标准化设备坐标（NDC）——一个 $x/y/z$ 都落在 $[-1, 1]$ 的标准空间，正中间是原点。不管屏幕多大，先用这套统一坐标写顶点，落在框外的部分会被裁掉。本章三个顶点 (0, 0.5)、(-0.5, -0.5)、(0.5, -0.5) 就是这套坐标里的一个三角形。

第二个角色：VBO，把原料一次性搬进显存

顶点数据现在还在内存（CPU 那边）。但绘制发生在显卡（GPU）那边，每帧都从内存现搬数据既慢又浪费带宽。于是先把它搬进 顶点缓冲对象（VBO）——显存里一块专门的「料仓」。

它解决的问题：把顶点数据一次性从内存搬进显存，之后每帧绘制时显卡就近取料。没有它，每帧都要把这堆数字重新上传一遍，慢且浪费带宽。VBO 处在流水线最前端，是顶点数据进显卡的第一站。

若每个顶点有 $k$ 个 attributes，第 $i$ 个 attribute 含 $c_i$ 个、每个分量占 $s_i$ bytes，interleaved layout 的步长与 $N_v$ 个顶点的最小 buffer bytes 为：

本章只有 position：$c=3$、GL_FLOAT 为 4 bytes，所以 stride 是 12 bytes，三个顶点需要 36 bytes。代码中 sizeof(vertices) 或 Float32Array.byteLength 应与这个手算结果一致。

第三个角色：VAO 与属性指针，告诉显卡怎么读这堆字节

数据进了显存，可显卡看到的还是一串裸字节，它不知道「每个顶点占几个字节、位置从第几字节开始读、一次读几个 float」。补上这份说明的，是 属性指针，它通过 glVertexAttribPointer / gl.vertexAttribPointer 配置：

• location：这是第几号属性（位置属性用 0 号，着色器里 layout(location = 0) 对应）
• size：每次读几个值（位置是 3 个 float，所以填 3）
• stride（步长）：相邻两个顶点的起点间隔多少字节（每顶点 3 个 float = 12 字节）
• offset（偏移）：这个属性从顶点的第几字节开始读（位置在最前，填 0）

而这套「怎么读」的配置本身，得有个东西记下来——这就是 顶点数组对象（VAO）。VAO 不存顶点数据（数据在 VBO 里），它只存「解读方式」。绑定 VAO 之后再调 vertexAttribPointer，配置就被这张说明书捕获；之后绘制时只要绑回 VAO，显卡就知道怎么解读那堆数字。它处在流水线最前端的 输入装配 环节。

一句话记住三者关系：VBO 是料（一串字节），属性指针是「怎么切这串字节」的规则，VAO 是把这套规则记下来的说明书。 下面这张图把这条链路和「属性指针怎么切字节」画在一起：

glVertexAttribPointer 不会把 bytes 复制进 VAO；它把 format、stride、offset 和调用当时绑定的 VBO记录进当前 attribute state。另一个容易漏掉的规则是 GL_ELEMENT_ARRAY_BUFFER binding 属于 VAO state，因此创建 indexed mesh 时应在目标 VAO 绑定期间绑定 EBO。

EBO：矩形为什么不必重复两个顶点

两个三角形组成矩形时，drawArrays 可提交 6 个 vertices，但其中两个角重复。元素缓冲对象（EBO）存 [0,1,2,0,2,3]，让四个 unique vertices 组成两个 triangles。

GL_TRIANGLES 下，非索引与索引绘制产生的 primitive counts 分别为：

是否节省 memory 取决于 vertex stride 与 index width。粗略 bytes 为：

矩形中 $N_u=4$、$N_i=6$；真实 mesh 的 vertex attributes 越大、共享越多，索引复用越有价值。EBO 的 index type 必须与 glDrawElements 的 type 匹配，最大 index 也必须小于 unique vertex count。

一点点坐标数学

上一节说过，顶点坐标用的是 NDC，范围 $[-1, 1]$。屏幕像素却是从左上角 $(0,0)$ 到右下角 $(w, h)$。流水线靠 视口变换 把前者映射到后者：

这个式子在说：把 $[-1, 1]$ 先平移、缩放到 $[0, 1]$，再乘以屏幕宽/高。$y$ 用 $1 - y_{\text{ndc}}$ 是因为屏幕的 $y$ 轴朝下，而 NDC 的 $y$ 轴朝上，需要翻转。

这一步由显卡按你设的视口自动完成，代码里通常只调一次 glViewport / gl.viewport，无需手算——理解它能帮你想明白「为什么图形上下没颠倒」。

本章只用到上面这个轻量映射。但顶点在进 NDC 之前，往往还要被一连串矩阵变换「掰」到位（平移、旋转、缩放、投影）——那是后续「变换 / 坐标系统」章的主角。这里先给一个坐标变换预告：下面这个可视化里，拖动输入向量、调 2×2 矩阵的四个数，看变换后的网格和基向量 î / ĵ 怎么扭曲——先建立「矩阵 = 把整个空间掰一下」的手感。

流水线的五道工位

渲染管线把顶点变成像素，中间这五道工位是固定流程。其中第三道 光栅化 会把矢量三角形切成一个个屏幕像素——每个被覆盖的像素产生一个 片段，交给后面的工位上色。

下面这个分步可视化把同一份三角形数据走一遍：从三个孤立顶点，到连成三角形、铺到像素网格、逐片段上色、最后写入帧缓冲。可暂停、可单步、可拖进度：

走通流程后，下面是本章主 Demo——一个真·三角形：顶点着色器吐出本章那三个 NDC 顶点 (0, 0.5)、(-0.5, -0.5)、(0.5, -0.5)，片段着色器只给三角形覆盖到的片段上色，背景留空（透明）。先别看代码——

猜一猜：右侧片段着色器现在输出的是「随位置渐变 + 基色」。如果把 FragColor 那行整段改成固定红色 vec4(1.0, 0.0, 0.0, 1.0)，画面会变成什么样？三角形的形状会变吗？动手改一下再看答案。

代码逐段拆解

画一个三角形的完整代码就五步：写两段着色器 → 编译链接成程序 → 把顶点搬进 VBO → 用 VAO 记录怎么读 → 下达绘制命令。下面逐步对照，C++/OpenGL 与 WebGL2/TS 互为镜像。

第一步：写两段着色器源码

显卡画图靠两段小程序：顶点着色器 处理每个顶点的位置，片段着色器 算出每个片段的颜色。本章最简版：顶点着色器把传进来的位置原样输出，片段着色器输出固定的红色。

const char *vertexSrc = R"(#version 330 core
layout (location = 0) in vec3 aPos;
void main() {
  gl_Position = vec4(aPos, 1.0);
})";
const char *fragmentSrc = R"(#version 330 core
out vec4 FragColor;
void main() {
  FragColor = vec4(1.0, 0.0, 0.0, 1.0); // 红
})";

const vertexSrc = `#version 300 es
layout (location = 0) in vec3 aPos;
void main() {
  gl_Position = vec4(aPos, 1.0);
}`;
const fragmentSrc = `#version 300 es
precision highp float;
out vec4 FragColor;
void main() {
  FragColor = vec4(1.0, 0.0, 0.0, 1.0); // 红
}`;

两段逻辑完全相同，只有版本声明这一行不同——这是第一个要记住的差异点：

第二步：编译、链接成一个着色器程序

源码只是字符串，要先编译成显卡能跑的东西，再把两段链接成一个 着色器程序。编译/链接失败时一定要查日志，否则后面只会得到一片黑。

unsigned int vs = glCreateShader(GL_VERTEX_SHADER);
glShaderSource(vs, 1, &vertexSrc, NULL);
glCompileShader(vs);
unsigned int fs = glCreateShader(GL_FRAGMENT_SHADER);
glShaderSource(fs, 1, &fragmentSrc, NULL);
glCompileShader(fs);
unsigned int program = glCreateProgram();
glAttachShader(program, vs);
glAttachShader(program, fs);
glLinkProgram(program); // 失败用 glGetProgramInfoLog 查日志

function compile(type: number, src: string) {
  const s = gl.createShader(type)!;
  gl.shaderSource(s, src);
  gl.compileShader(s);
  if (!gl.getShaderParameter(s, gl.COMPILE_STATUS))
    throw new Error(gl.getShaderInfoLog(s) ?? "编译失败");
  return s;
}
const program = gl.createProgram()!;
gl.attachShader(program, compile(gl.VERTEX_SHADER, vertexSrc));
gl.attachShader(program, compile(gl.FRAGMENT_SHADER, fragmentSrc));
gl.linkProgram(program); // 失败用 gl.getProgramInfoLog 查日志

createShader → shaderSource → compileShader 编译每一段，createProgram → attachShader → linkProgram 把两段焊成一个程序。绘制前再用 glUseProgram(program) / gl.useProgram(program) 把它启用。接着才轮到准备数据。

第三步：把顶点数据搬进 VBO

三角形的三个顶点先写成一个扁平数组，再创建一块缓冲、绑定、上传到显存：

float vertices[] = {
  -0.5f, -0.5f, 0.0f,
   0.5f, -0.5f, 0.0f,
   0.0f,  0.5f, 0.0f,
};
unsigned int VBO;
glGenBuffers(1, &VBO);
glBindBuffer(GL_ARRAY_BUFFER, VBO);
glBufferData(GL_ARRAY_BUFFER, sizeof(vertices), vertices, GL_STATIC_DRAW);

const vertices = new Float32Array([
  -0.5, -0.5, 0.0, 0.5, -0.5, 0.0, 0.0, 0.5, 0.0,
]);
const vbo = gl.createBuffer();
gl.bindBuffer(gl.ARRAY_BUFFER, vbo);
gl.bufferData(gl.ARRAY_BUFFER, vertices, gl.STATIC_DRAW);

两边逻辑完全对应，只是申请缓冲的 API 命名风格不同：

第四步：用 VAO 记录属性布局（属性指针）

数据进了显存，还要告诉显卡「每个顶点 3 个 float、从第 0 字节开始」。绑定 VAO 后调用 vertexAttribPointer，这段配置就被这张「说明书」记下来：

unsigned int VAO;
glGenVertexArrays(1, &VAO);
glBindVertexArray(VAO);
glVertexAttribPointer(
  0, 3, GL_FLOAT, GL_FALSE, 3 * sizeof(float), (void*)0);
glEnableVertexAttribArray(0);

const vao = gl.createVertexArray();
gl.bindVertexArray(vao);
gl.vertexAttribPointer(0, 3, gl.FLOAT, false, 3 * 4, 0);
gl.enableVertexAttribArray(0);

对照 §3 那把尺子看这几个参数：第一个 0 是 location（对上着色器里 layout(location = 0)）；3 是每次读 3 个值；3 * sizeof(float) / 3 * 4 是步长（每顶点 12 字节）；最后的 0 是偏移（位置从第 0 字节起读）。

第五步：下达绘制命令

万事俱备——启用程序、绑回 VAO、发一条 绘制调用，三角形就出现了：

glUseProgram(program);     // 启用着色器程序
glBindVertexArray(VAO);    // 绑回说明书
glDrawArrays(GL_TRIANGLES, 0, 3); // 从第 0 个顶点起画 3 个 → 一个三角形

gl.useProgram(program); // 启用着色器程序
gl.bindVertexArray(vao); // 绑回说明书
gl.drawArrays(gl.TRIANGLES, 0, 3); // 从第 0 个顶点起画 3 个 → 一个三角形

drawArrays(TRIANGLES, 0, 3) 的意思是「从第 0 个顶点开始，取 3 个顶点，每 3 个组成一个三角形」。这一条命令一发，§5 那条「点 → 三角形 → 像素 → 上色」的流水线就被完整跑了一遍。完整可运行源码将在章末提供（M5）。

容易踩的坑

小结

• 显卡像工厂流水线：你负责备料（顶点）与排产（配置），不直接「画」
• VBO 是显存料仓，VAO 是料仓说明书，两者配合才能正确取数
• 渲染管线五道工位：顶点 → 图元装配 → 光栅化 → 片段 → 测试混合
• 改片段着色器就能改出不同颜色/渐变；改顶点数据就能改形状
• 顶点坐标用 NDC（$[-1,1]$），由视口变换映射到屏幕像素

FragColor = vec4(1.0, 0.0, 0.0, 1.0); // 整块三角形变纯红

const vertices = new Float32Array([
  -0.5, 0.5, 0, 0.5, 0.5, 0, 0.5, -0.5, 0, -0.5, -0.5, 0,
]);
const indices = new Uint16Array([0, 1, 2, 0, 2, 3]);
// VBO + VAO 同正文；额外：把 indices 传入 ELEMENT_ARRAY_BUFFER，
// 绘制改用 gl.drawElements(gl.TRIANGLES, 6, gl.UNSIGNED_SHORT, 0)

版本、来源与运行边界

本章以 Joey de Vries 的 LearnOpenGL 原章 为授权改编依据，教学运行基线是 OpenGL 3.3 Core Profile。Khronos 当前发布的规范参照是 OpenGL 4.6 Core Profile；这里用 4.6 规范核查术语和状态合同，但不把 4.6 API 偷偷倒填为原教程内容。GLFW、GLAD、Assimp 与驱动版本都属于运行环境，不能拿“编译通过”替代对 context、资源和 framebuffer 结果的验证。

正式概念与状态责任

• vertex buffer object：在“从顶点数据到第一个三角形”中由当前 VAO、GL_ARRAY_BUFFER/GL_ELEMENT_ARRAY_BUFFER 绑定与 shader program负责解释其输入、受控状态和可观察结果；运行时以编译/链接日志、buffer 字节、VAO 属性查询、GL 错误与 framebuffer 像素定位它的第一处变化。
• vertex array object：在“从顶点数据到第一个三角形”中由当前 VAO、GL_ARRAY_BUFFER/GL_ELEMENT_ARRAY_BUFFER 绑定与 shader program负责解释其输入、受控状态和可观察结果；运行时以编译/链接日志、buffer 字节、VAO 属性查询、GL 错误与 framebuffer 像素定位它的第一处变化。
• shader program：在“从顶点数据到第一个三角形”中由当前 VAO、GL_ARRAY_BUFFER/GL_ELEMENT_ARRAY_BUFFER 绑定与 shader program负责解释其输入、受控状态和可观察结果；运行时以编译/链接日志、buffer 字节、VAO 属性查询、GL 错误与 framebuffer 像素定位它的第一处变化。
• triangle：在“从顶点数据到第一个三角形”中由当前 VAO、GL_ARRAY_BUFFER/GL_ELEMENT_ARRAY_BUFFER 绑定与 shader program负责解释其输入、受控状态和可观察结果；运行时以编译/链接日志、buffer 字节、VAO 属性查询、GL 错误与 framebuffer 像素定位它的第一处变化。

章专属 OpenGL 状态实验

先预测“上传 VBO，记录 VAO 属性合同，绑定 program 后调用 glDrawArrays/glDrawElements”发生后，当前 VAO、GL_ARRAY_BUFFER/GL_ELEMENT_ARRAY_BUFFER 绑定与 shader program应怎样改变顶点字节、stride/offset、属性启用位、program 链接状态和图元输入；再操作三个实验。实验不生成变化率或正确率等虚构总分，只显示真实 GL 状态、资源、命令和可观察结果。

实验一：Context—资源—结果合同

选择任一正式概念与基线/单故障场景，核对它是否进入本章状态合同。正式概念只有同时出现在解释、可视状态和交付证据中才算覆盖。

实验二：CPU 命令到 GPU 结果的五段轨迹

逐段执行“上传 VBO，记录 VAO 属性合同，绑定 program 后调用 glDrawArrays/glDrawElements”，在每一步记录资源身份、状态变化与第一个可观察结果，并持续核对“shader 读取的每个 location 都由当前 VAO 以同类型、同宽度和正确步长供给”。

实验三：单故障与同输入恢复

注入“position 实际是 3 个 float，却把 stride 写成 5 个 float，第二个顶点起始地址错位”，保存首个分岔；撤销后沿用完全相同的 context、资源内容、uniform 和 draw 输入重放。只有编译/链接日志、buffer 字节、VAO 属性查询、GL 错误与 framebuffer 像素一起恢复才算修复。

最小可重放检查

unit: logl-03
owner: 当前 VAO、GL_ARRAY_BUFFER/GL_ELEMENT_ARRAY_BUFFER 绑定与 shader program
state_or_resource: 顶点字节、stride/offset、属性启用位、program 链接状态和图元输入
command: 上传 VBO，记录 VAO 属性合同，绑定 program 后调用 glDrawArrays/glDrawElements
pass_invariant: shader 读取的每个 location 都由当前 VAO 以同类型、同宽度和正确步长供给
single_fault: position 实际是 3 个 float，却把 stride 写成 5 个 float，第二个顶点起始地址错位
required_evidence: 编译/链接日志、buffer 字节、VAO 属性查询、GL 错误与 framebuffer 像素

复核者先仅依据以上合同写出预期，再运行基线、单故障和清理后重放。若两次基线的资源身份、首个状态变化或 framebuffer 结果不同，必须保留差异，不能用最终截图相似掩盖中间状态错误。