1 基本概念
几何着色器是图形渲染管线中的可编程阶段，主要用于对输入图元进行处理和重组。它位于顶点着色器之后、光栅化之前，能够在 GPU 上直接生成新的几何形态，或对既有图元进行修改与裁剪。由于它以图元为处理单位，因此在需要动态构造几何体、补充辅助图元或执行特定可视化任务时，具有较强的适应性。
1.1 定义与作用
几何着色器的核心作用，是在图元送入光栅化之前，对其进行进一步加工。它可以接收点、线或三角形等基本图元，依据程序逻辑决定输出一个或多个新图元，也可以选择不输出任何内容。与只能处理单个顶点的着色阶段相比，它提供了更高层级的几何控制能力。
在实际应用中，几何着色器常被用于生成额外边线、扩展面片、构造阴影体，以及绘制调试辅助线等。它的价值在于将一部分原本需要在 CPU 端完成的几何扩展工作转移到 GPU，从而减少主机端参与。
1.2 所处渲染管线位置
几何着色器属于传统可编程图形管线中的中间阶段。顶点着色器先对每个顶点进行变换和属性计算，随后几何着色器以图元为单位接收这些顶点及其附带数据，并决定新的输出图元。之后，输出结果进入后续阶段并最终参与光栅化。
1.2.1 与顶点着色器的关系
顶点着色器负责处理“点”这一最小几何单元，通常完成坐标变换、法线处理、纹理坐标传递等任务。几何着色器则建立在这些顶点结果之上，以完整图元为对象进行再加工。前者更偏向基础属性准备，后者更偏向结构重写和图元扩展。
二者配合时，顶点着色器常提供每个顶点的基础数据，几何着色器再根据这些数据做进一步判断。例如，它可以依据面向摄像机的方向生成轮廓，也可以根据输入三角形的位置生成额外边界。
1.2.2 与光栅化阶段的关系
光栅化负责把几何图元转换为屏幕上的片段。几何着色器位于其前一环节，因此输出的结果会直接影响最终进入光栅化的图元类型、数量和形状。若几何着色器生成更多图元，后续片段处理负担也会随之增加；若它丢弃图元，则可以减少后续开销。
因此，几何着色器在管线中起到“几何过滤器”和“扩展器”的双重作用，对光栅化阶段的输入规模具有直接影响。
1.3 输入与输出图元
几何着色器通常以预定义的图元为输入，并按输入类型决定处理方式。常见输入包括点、线和三角形，不同类型对应不同的处理上下文。输出端则可生成与输入不同数量的图元，但仍需符合图形 API 的规则。
1.3.1 点图元
点图元是最简单的输入形式，几何着色器接收单个顶点后，可将其扩展为小四边形、精灵片或其他辅助结构。点作为输入时，常用于粒子系统、点云可视化等场景。
1.3.2 线图元
线图元由两个顶点构成，常用于边界、折线或轮廓相关处理。几何着色器可以对线段进行加粗、生成法向辅助线，或在两端补充箭头、标记等装饰性图元。
1.3.3 三角形图元
三角形是最常见的图元形式，也是几何着色器使用较多的输入类型之一。它可以据此生成法线可视化、面片膨胀、阴影体侧面等复杂效果。由于三角形承载了更丰富的面信息，因此其处理方式往往更灵活。
2 工作原理
几何着色器的工作过程可以理解为：接收一组输入图元，读取其顶点数据，执行程序逻辑，再按需输出新的顶点和图元。它不是按屏幕像素运行，而是按图元运行，因此其控制粒度介于顶点处理与片段处理之间。
2.1 图元级处理机制
几何着色器的显著特点是面向图元执行。也就是说，程序每次处理的不是单独顶点，而是组成图元的一整组顶点数据。这使它能够基于完整几何关系做判断，例如判断面朝向、线段长度或三角形法线方向。
2.1.1 按图元执行的方式
在执行时，GPU 会将输入图元送入几何着色器实例。着色器读取该图元的所有顶点及相关属性，然后决定输出内容。由于每个图元都独立处理，因此其逻辑通常围绕“输入一个图元，产出若干结果”展开。
这种方式适合做结构层面的几何操作，但也意味着吞吐效率容易受输出规模影响。输出越多，后续阶段需要处理的数据也越大。
2.1.2 逐实例与逐输出控制
几何着色器通常可在单次输入基础上多次发射顶点，并在适当时机结束当前图元。程序员可以控制每个输入图元最终拆分成多少个输出图元，甚至决定是否只输出一个简化版本。这种控制能力使其既能扩展图元，也能调整图元组织方式。
2.2 图元生成与扩展
几何着色器的代表性能力之一，是在运行时生成新的图元。它无需预先在 CPU 端准备所有几何细节，而是根据实时状态动态计算，从而增强渲染的灵活性。
2.2.1 新图元的创建
新图元的创建，通常表现为在一个输入图元基础上额外发射多个顶点，再组合成新的线段、三角形或点。比如，一个三角形可以被扩展成更大的轮廓带，或者一个点可以变成面向摄像机的小片元几何。
2.2.2 图元的修改
几何着色器也可以不改变图元数量，只修改其顶点位置、颜色或其他属性。此类操作常用于临时变形、局部偏移、根据条件调整几何外观等。虽然它不能像计算着色器那样自由访问大规模数据，但在图元局部修正上仍然很直接。
2.2.3 图元的丢弃
当输入图元不符合条件时，几何着色器可以选择不输出任何结果。这样做相当于在图元级别进行了裁剪。常见于按距离、朝向、可见性等条件过滤不必要的几何内容，以减少后续负担。
2.3 输出顶点与输出限制
几何着色器虽能生成额外图元，但其输出并非无限制，通常受顶点数量、硬件能力和资源开销约束。合理控制输出规模，是编写此类着色器的重要前提。
2.3.1 最大输出顶点数
每个几何着色器程序通常需要声明可输出的最大顶点数。这个上限用于帮助驱动和硬件预估资源需求。若程序实际需要生成更多顶点，则必须调整设计或拆分处理逻辑，否则会超出限制。
2.3.2 资源与性能约束
几何着色器的运行会占用寄存器、缓冲和带宽等资源。输出越多，数据搬运越频繁，性能压力也越明显。此外，如果分支判断复杂或输出不稳定，硬件执行效率可能进一步下降。因此，它适合中等规模、结构明确的几何处理任务。
3 编程模型
几何着色器的编程方式通常围绕输入布局、输出声明以及顶点发射控制展开。不同图形 API 对语法的描述略有差异，但整体思路较为一致。
3.1 着色器输入声明
输入声明用于说明几何着色器将接收何种图元，以及每个输入顶点包含哪些属性。这是着色器能够正确读取数据的基础。
3.1.1 输入布局
输入布局用于指定几何着色器的输入图元类型，例如点、线或三角形。它告诉编译器和运行时该阶段将以什么粒度接收数据。布局信息一旦确定，着色器的处理逻辑通常也要与之匹配。
3.1.2 输入接口变量
输入接口变量承载来自前一阶段的数据，包括位置、颜色、法线、纹理坐标等。几何着色器可以读取这些变量，并根据需要进行组合、转发或修改。由于输入的是整组顶点数据，因此同一图元内不同顶点的属性可以同时参与计算。
3.2 着色器输出声明
输出声明用于说明几何着色器生成的内容，以及这些内容如何被后续阶段接收。输出数据通常要符合图元类型和顶点数量的要求。
3.2.1 输出接口变量
输出接口变量用于传递几何着色器生成的顶点属性。它们会在发射顶点时写入，并送往后续管线阶段。常见内容包括剪裁空间位置、颜色、法线、纹理坐标等。
3.2.2 输出布局限定符
输出布局限定符用于规定输出图元类型，例如输出点、线条或三角形条带等。它决定了几何着色器发射的顶点将如何组成最终图元。正确设置该信息，是保证渲染结果符合预期的关键。
3.3 发射与结束图元
几何着色器在输出过程中，通常需要显式控制顶点的发射和图元的结束。这一机制使其能够灵活地把顶点组织成不同的几何结构。
3.3.1 EmitVertex
EmitVertex 是用于发射当前顶点的操作。每调用一次，当前输出顶点就会被提交到输出流中，供后续组合成图元。程序通常在设置好该顶点的全部输出属性后再执行该操作。
3.3.2 EndPrimitive
EndPrimitive 用于结束当前图元的构造。它表示前面已经发射的若干顶点组成一个完整图元，后续发射的顶点将进入下一个图元。对于条带类输出或多个图元连续生成的场景，这一操作尤为重要。
4 常见用途
几何着色器在实时渲染中常用于补充几何结构和生成特定视觉效果。虽然它不是所有任务的首选方案，但在某些图元级操作中仍然十分方便。
4.1 几何细分与扩展
几何着色器能够在输入图元基础上增加更多几何细节，因此常用于局部扩展或临时细分。
4.1.1 面片扩展
面片扩展指将原始三角形或四边形向外“撑开”一定厚度，用于描边、阴影或装饰效果。通过计算边缘方向或法线方向，着色器可以在运行时生成附加面片。
4.1.2 草地与植被生成
在一些场景中，几何着色器可根据地表输入图元生成简化的草叶、灌木或植被簇。它适合少量到中等规模的动态补充几何，但当数量极大时，往往会面临性能压力，因此常与其他技术配合使用。
4.2 特效生成
几何着色器常被用于制作依赖几何结构的视觉效果，因为它能在图元层面快速产生附加形状。
4.2.1 辉光与轮廓
通过沿法线或屏幕方向扩展几何，几何着色器可以辅助实现轮廓高亮、外发光边缘等效果。此类做法常见于角色描边、物体选中提示或风格化渲染。
4.2.2 粒子辅助生成
几何着色器可以把输入点扩展为面向摄像机的小片粒子，或者为粒子系统生成附加几何。它适合在顶点数量不算过大的情况下，快速构造可视化粒子元素。
4.3 可视化辅助
在开发与调试阶段，几何着色器常用来输出辅助几何，帮助观察场景结构与属性方向。
4.3.1 法线显示
通过从顶点或面中心沿法线方向发射线段，可以直观显示模型法线。该方法便于检查模型方向、光照计算和网格质量。
4.3.2 包围盒与调试几何
几何着色器还可生成包围盒线框、坐标轴、面中心标记等调试图元。这些内容便于开发者验证空间关系、裁剪范围和对象布局。
5 优缺点
几何着色器的优势与不足都较为明显。它在图元动态处理方面有独特价值，但在现代高性能图形管线中并不总是最优解。
5.1 优势
5.1.1 减少 CPU 干预
由于许多几何扩展工作可直接在 GPU 中完成，几何着色器有助于减轻 CPU 的几何生成负担。对于频繁变化但结构相对简单的图元处理，这一特点尤其有用。
5.1.2 动态生成图元
它可以在渲染时按需构造新图元，无需预先准备全部细节。这样既增加了实时性，也提升了图形效果的灵活度。
5.2 局限性
5.2.1 吞吐性能问题
几何着色器在处理大量图元时，常出现吞吐效率不高的问题。由于每个图元都要经过额外的程序逻辑和输出阶段，其整体性能通常不如更直接的顶点处理方式。
5.2.2 复杂逻辑不易高效实现
当任务涉及大量条件判断、循环扩展或复杂数据访问时，几何着色器往往不够高效。它更适合局部几何调整，而不适合承担过重的通用计算任务。
5.2.3 与新型管线技术的替代关系
随着计算着色器和其他更灵活的管线方案普及，几何着色器在一些场景中逐渐被替代。尤其是需要大规模数据处理或复杂几何生成时，其他技术通常更易获得更好的性能表现。
6 相关技术
几何着色器并不是孤立存在的，它与图形管线中的多个阶段密切相关。
6.1 顶点着色器
顶点着色器是几何着色器的前置阶段，负责提供每个顶点的基础属性和空间位置。几何着色器所处理的输入，通常就是顶点着色器输出的结果。
6.2 片段着色器
片段着色器位于光栅化之后，负责处理每个片段的最终颜色、纹理与混合等任务。几何着色器若生成更多图元，片段着色器的工作量也会随之增加。
6.3 细分着色器
细分着色器通过硬件细分机制对曲面进行更细致的划分，适合高质量曲面渲染。与几何着色器相比，它更偏向规则化细分，而非自由生成新图元。
6.4 计算着色器
计算着色器是一种通用并行计算阶段，可完成更灵活的数据处理和几何生成。许多原本依赖几何着色器的任务，后来可通过计算着色器实现，并往往具备更高的可扩展性。
6.5 实例化渲染
实例化渲染用于高效绘制大量相似对象，常见于草地、树木、建筑重复部件等场景。它与几何着色器都能服务于大规模几何表现，但实现思路不同：前者偏向重复绘制，后者偏向运行时重组。
7 图形 API 支持
不同图形 API 对几何着色器的支持程度和使用方式并不完全一致。某些传统接口提供了较完整的直接支持，而现代接口则更强调替代方案与灵活管线。
7.1 OpenGL 中的几何着色器
在 OpenGL 中，几何着色器是标准可编程阶段之一，开发者可以明确指定输入输出图元类型，并使用相应语法编写发射逻辑。它在 OpenGL 的传统管线中较为常见，常用于教学、调试和特效演示。
7.2 Direct3D 中的几何着色器
Direct3D 也提供几何着色器阶段，并允许在图元处理过程中生成新几何。其使用方式与整体管线设计紧密结合，适合在统一的着色器模型下完成图元级扩展。
7.3 Vulkan 与现代管线中的替代方案
在 Vulkan 及部分现代图形框架中，几何着色器并非核心依赖项。由于其性能和兼容性在某些平台上并不理想，开发者常使用计算着色器、实例化或专门的数据驱动方案替代它，以获得更稳定的跨平台表现。
7.4 Metal 中的相关实现思路
Metal 的设计更偏向现代化和高效管线组织，通常不以传统几何着色器作为主要特性。若要实现类似效果，往往会借助顶点阶段扩展、计算任务或其他几何预处理方法来完成。
8 实现与优化
在实际项目中，几何着色器的实现需要兼顾效果与效率。若不加控制，图元扩展很容易带来性能负担，因此优化通常围绕输出规模、逻辑复杂度和数据传输展开。
8.1 性能优化原则
8.1.1 减少输出顶点数
尽量控制每个输入图元生成的顶点数量，是最直接的优化方式。输出越少，后续处理压力越低，管线整体效率也更容易保持稳定。
8.1.2 控制分支复杂度
几何着色器中的分支过多，会让执行路径变得不稳定，降低硬件利用率。应优先采用结构清晰、条件简洁的逻辑，避免在这一阶段塞入过重的判断链。
8.2 数据传递与带宽优化
8.2.1 压缩接口数据
传递给几何着色器的数据应尽量精简，只保留必要属性。接口数据越紧凑，存储和带宽消耗就越低，也更利于整体性能。
8.2.2 降低重复计算
如果某些中间结果可在前一阶段预先计算，就不必在几何着色器中反复求值。减少重复运算有助于节省执行时间，并提高图元处理吞吐。
8.3 调试与性能分析
8.3.1 着色器编译检查
编写几何着色器时，应关注编译器反馈，确认输入输出布局、发射逻辑和顶点限制是否正确。编译阶段暴露的问题通常比运行阶段更容易排查。
8.3.2 GPU 性能剖析
性能剖析有助于观察几何着色器是否成为瓶颈，以及瓶颈是否来自输出过多、带宽压力或分支开销。通过 GPU 分析工具，可以更准确地判断是否应当保留该阶段，或改用其他技术实现相同效果。