4. 图元装配：点、线、三角形图元、图元类型与拓扑结构、装配过程

好，我们继续往下走。前面讲完了顶点处理，每个顶点都带着自己的位置、颜色、法线这些属性，在显存里排着队。但说实话，一堆孤零零的顶点是画不出东西的。你得告诉硬件，这些顶点之间是什么关系——是连成一条线？还是拼成一个三角形？这就是图元装配要干的事。

我个人习惯把图元装配看作是「搭积木前的看图纸」阶段。你手里有了一堆积木块（顶点），图纸告诉你：这块和那块要拼在一起，这三块要围成一个三角形。嗯，图纸就是图元类型和拓扑结构。

4.1 三种基本图元：点、线、三角形

图形学里最基础的图元就三种：点、线、三角形。别小看它们，你看到的任何3D模型，本质上都是这三种东西的组合。我在项目中遇到过不少新人，一上来就想画复杂的曲面，结果连最基本的三角形都没处理好，渲染出来全是破面。

图元类型	描述	典型用途
点（Point）	单个顶点，通常渲染为一个像素或小方块	粒子系统、星空背景、顶点标记
线（Line）	两个顶点连成一条线段	线框模式、辅助线、骨骼绘制
三角形（Triangle）	三个顶点围成一个三角形面	所有3D模型的表面、地形、角色

4.2 图元类型与拓扑结构

图元类型告诉GPU「用什么形状画」，拓扑结构告诉GPU「顶点按什么顺序连」。这两者缺一不可。我记得有一次调试一个模型加载器，模型死活显示不对，查了半天发现是顶点索引顺序反了——三角形法线朝里了，背面剔除一开，整个模型就消失了。

常见的拓扑结构有这些：

• 点列表（Point List）：每个顶点独立成一个点。简单粗暴，粒子系统常用。
• 线列表（Line List）：每两个顶点构成一条独立的线段。比如画网格线。
• 线带（Line Strip）：顶点依次连接，前一个线段的终点是下一个线段的起点。节省顶点，适合画折线。
• 三角形列表（Triangle List）：每三个顶点构成一个独立的三角形。最常用，每个三角形可以单独指定颜色、纹理。
• 三角形带（Triangle Strip）：顶点按顺序共享边，每新增一个顶点就形成一个新的三角形。节省显存带宽，适合连续曲面。
• 三角形扇（Triangle Fan）：所有三角形共享第一个顶点，像扇子一样展开。适合画圆形、锥体。

4.3 装配过程：从顶点到图元

装配过程听起来复杂，其实就三步。我习惯这么理解：

1. 读取顶点数据：从顶点缓冲区拿到已经处理好的顶点位置、属性。
2. 解析索引：根据索引缓冲区（如果有的话）或顶点顺序，确定哪些顶点属于同一个图元。
3. 组装图元：把顶点打包成点、线或三角形，传递给下一阶段的光栅化。

这里有个细节很多人会忽略：图元装配是在顶点着色器之后、光栅化之前执行的。也就是说，顶点已经经过了变换、裁剪，位置已经确定在屏幕空间了，这时候才去判断它们怎么连。

4.4 硬件加速的奥秘

你可能会问：图元装配这么简单的事，为什么需要硬件加速？说白了，因为数据量太大了。一个中等规模的3D场景，可能有几十万个三角形。如果让CPU一个个去组装，帧率直接掉到个位数。

GPU的图元装配单元是高度并行的。它内部有多个装配管线，可以同时处理多个图元。而且，GPU的顶点缓存和索引缓存是紧密耦合的——读取顶点时，硬件会预判下一个图元需要的顶点，提前加载到缓存里。这就是为什么三角形带比三角形列表快的原因：顶点访问模式更规律，缓存命中率更高。

嗯，这里要注意一点：图元装配本身不改变顶点数据。它只是重新组织数据，告诉后续阶段「这些顶点属于同一个三角形」。真正的计算量在后面——光栅化阶段要判断每个像素是否在三角形内部。

4.5 实际项目中的选择建议

我根据多年的项目经验，给你几个实用的建议：

• 静态模型：用三角形列表。方便编辑、方便做LOD切换，顶点数量不是瓶颈。
• 动态生成的网格（如地形、水面）：用三角形带。顶点连续性好，节省带宽。
• 粒子系统：用点列表。每个粒子独立，不需要连接关系。
• 线框调试：用线列表或线带。线带更省顶点，但要注意首尾连接问题。

好，图元装配就讲到这里。下一节我们进入光栅化阶段，看看GPU是怎么把三角形变成像素的。那才是真正考验硬件性能的地方。