meshoptimizer：离线重排网格数据，喂饱 GPU 渲染管线

核心判断

DCC 工具（Blender、Maya）导出的模型，顶点和三角面按建模逻辑排序，GPU 拿到后并不好使：顶点着色器反复重复计算同一顶点，像素着色器重复填充被遮挡的像素，顶点缓冲里还躺着大量根本不会一起访问的数据。meshoptimizer 做的事情是把这套数据重新组织——重排索引顺序、合并冗余顶点、削减三角面、量化属性、压缩存储——让同一份几何在 GPU 各阶段都以接近最优的方式被消费。

它不是渲染库，不含一行 GPU 代码。算法跑在 CPU 上，产物是优化后的顶点/索引缓冲和压缩字节流；典型用法是离线预处理资产，运行时只承担解码。对做 3D 游戏、数字人、GIS 可视化的团队来说，这个环节早晚会遇到，而 meshoptimizer 是这一领域事实上的标准实现——gltfpack、three.js 的 glTF 压缩路径、大量商业引擎资产管线都构建在它之上。

项目坐标

语言绑定方面，Rust 用 meshopt crate（写作时最新 0.6.2），JS 用 npm 包 meshoptimizer，其他语言可经 FFI（如 C# 的 P/Invoke）直接调 C 接口。安装上除了源码集成，还有 vcpkg、Conan 包和 Debian/Ubuntu/Arch/FreeBSD/Nix 的发行版包。

为什么需要网格优化

GPU 渲染一张网格，效率取决于三个环节的数据组织：

顶点复用。 一个索引化网格里，同一个顶点会被多个三角面引用。GPU 用一块很小的顶点缓存保存最近处理过的顶点着色结果，命中就不用重算。这块缓存历史上只有 16-32 项，现代 GPU 虽然改成了按输入索引批量调度的机制，但"最近引用过的顶点要尽量再被引用"这个局部性原则没变。三角面顺序糟糕的网格，同一个顶点可能被着色三次；衡量指标叫 ACMR（Average Cache Miss Ratio，平均缓存未命中率）——最差为 3（每张三角面都要算 3 个顶点），理想情况逼近 0.5，真实网格通常落在 0.5 到 1.5 之间。

过度绘制（overdraw）。 顶点变换之后进入光栅化，被深度测试挡掉的像素理论上不必跑像素着色器。如果三角面顺序不好，先画了近处的、再画远处被挡住的，像素着色器就白跑。meshoptimizer 的做法是把三角面按"各方向平均 overdraw 最小"重排——这是近似解，因为它不依赖具体视角。

顶点取回（vertex fetch）。 三角面顺序定了之后，顶点在缓冲区里的物理位置还可以再排一次，让连续访问的顶点在内存里也连续，减少带宽浪费。

这三件事依次对应库里的 meshopt_optimizeVertexCache、meshopt_optimizeOverdraw、meshopt_optimizeVertexFetch，而且顺序不能乱：缓存优化定三角面顺序，overdraw 优化在缓存优化的结果上做取舍，取回优化必须等最终索引顺序确定后才能重排顶点。README 给出的完整离线管线是七步：

1. Indexing——生成重映射表，合并重复顶点（输入含索引则一并处理）
2. 顶点缓存优化
3. （可选）过度绘制优化
4. 顶点取回优化
5. 顶点量化——把浮点属性压成更小的类型（半精度、归一化整数等）
6. 索引过滤——移除变换后退化或重复的三角面
7. （可选）阴影索引——为深度 only pass 生成去掉属性 seam 的第二份索引

后面的简化、meshlet、压缩都建立在这条管线上。理解顺序，是用好这个库的前提。

模块切分

按算法域分四块看：

另有一组容易忽略但很实用的小工具：meshopt_analyzeVertexCache / analyzeVertexFetch / analyzeOverdraw / analyzeCoverage 四个分析器，量化优化前后的 ACMR、overfetch、overdraw，是验证优化效果的手段（后文详述）；meshopt_generateShadowIndexBuffer、meshopt_filterIndexBuffer、meshopt_quantizeHalf / quantizeSnorm 等量化原语，以及 v1.x 新增的 meshopt_generateTangents（MikkTSpace 风格切线，改进了倒角区域的加权）、meshopt_generateNormals（按折痕角生成法线，实验性）、opacity micromap 生成（服务硬件光线追踪的 alpha 测试加速）。

一个最小用例：三步优化一块网格

下面的例子跑完管线前三步：索引化、顶点缓存优化、顶点取回优化。这是大多数资产入库时的最低配置：

#include <meshoptimizer.h>
#include <vector>

struct Vertex {
    float px, py, pz;   // 位置必须是前三个 float，overdraw 优化依赖它
    float nx, ny, nz;
    float u, v;
};

void optimize_mesh(std::vector<Vertex>& vertices,
                   std::vector<unsigned int>& indices) {
    // 1. 索引化：按二进制等价合并重复顶点，返回去重后的顶点数
    std::vector<unsigned int> remap(indices.size());
    size_t vertex_count = meshopt_generateVertexRemap(
        remap.data(), indices.data(), indices.size(),
        vertices.data(), vertices.size(), sizeof(Vertex));

    std::vector<Vertex> indexed_vertices(vertex_count);
    std::vector<unsigned int> optimized_indices(indices.size());
    meshopt_remapVertexBuffer(indexed_vertices.data(), vertices.data(),
                              vertices.size(), sizeof(Vertex), remap.data());
    meshopt_remapIndexBuffer(optimized_indices.data(), indices.data(),
                             indices.size(), remap.data());

    // 2. 顶点缓存优化：重排三角面顺序（支持原地调用）
    meshopt_optimizeVertexCache(optimized_indices.data(),
                                optimized_indices.data(),
                                optimized_indices.size(),
                                vertex_count);

    // 3. 顶点取回优化：按最终索引顺序重排顶点缓冲（原地）
    meshopt_optimizeVertexFetch(indexed_vertices.data(),
                                optimized_indices.data(),
                                optimized_indices.size(),
                                indexed_vertices.data(),
                                vertex_count, sizeof(Vertex));

    vertices = std::move(indexed_vertices);
    indices = std::move(optimized_indices);
    // 现在可以上传 GPU；若继续 overdraw 优化，应插在第 2、3 步之间
}

有两个细节：meshopt_generateVertexRemap 按二进制等价判断顶点是否相同，顶点结构里的 padding 字节必须清零，否则法线因浮点漂移差一点的两个"相同顶点"合不掉——真遇到这种情况，先量化属性或改用 meshopt_generateVertexRemapCustom 提供带容差的比较函数。overdraw 优化（meshopt_optimizeOverdraw）是可选步骤，它需要一个权衡参数：1.05f 表示允许顶点缓存效率变差至多 5%，换取 overdraw 下降；移动端 tiled 渲染架构的 GPU（PowerVR、Apple 系）从中获益有限，上不上要看实测。

一次资产入库的完整流转

把上面的机制串成一个真实任务：美术提交了一个 80 万三角面的角色 glTF，引擎资产管线这样处理它。

离线阶段（gltfpack 或自研管线调用 meshoptimizer）：先索引化合并重复顶点；接着缓存优化重排三角面；然后取回优化按最终顺序收拢顶点；再量化——位置转 16 位归一化整数或半精度，法线用八面体编码压到每分量 10-12 位；量化后跑一遍索引过滤，清掉因量化变得退化或重复的三角面；最后 meshopt_encodeVertexBuffer / encodeIndexBuffer 压缩字节流，编码产物还能再过一道 zstd/gzip。产物写入资产包。

运行时阶段：加载器读到压缩缓冲，meshopt_decodeVertexBuffer 解码。解码器是这套系统里唯一跑在玩家机器上的部分，也是优化最狠的部分——README 给出的数字是现代桌面 CPU 上 3-6 GB/s，不分配内存、直接可写 write-combined 内存。解出来的就是离线优化好的 GPU 友好缓冲，直接上传渲染。

这个流转解释了库的设计取向：所有需要全局信息、允许花时间的重活（重排、简化、聚类）都在离线侧；运行时侧只有解码，且解码快到可以忽略。

glTF 集成路径

meshoptimizer 自带的 gltfpack 把整条管线打包成一条命令：

# 基础优化 + 量化：产物是常规 glb，加载器需支持 KHR_mesh_quantization
gltfpack -i input.gltf -o output.glb

# 追加 meshopt 压缩：需要加载器支持 EXT_meshopt_compression
gltfpack -i input.gltf -o output.glb -cc

# 压缩基础上再压纹理（KTX2/BasisU）
gltfpack -i input.gltf -o output.glb -cc -tc

# 顺手把网格简化到 50% 三角面
gltfpack -i input.gltf -o output.glb -si 0.5

-cc 输出的文件用 EXT_meshopt_compression 扩展标记。这个扩展的准确身份是：注册在 KhronosGroup/glTF 仓库、已获 Khronos 批准的 vendor 扩展（状态 Complete, Ratified），定义了属性、三角面索引、通用索引三种压缩模式，以及八面体、四元数、指数、YCoCg 颜色四种可选滤镜。另有压缩率更高的 KHR_meshopt_compression 正在标准化进程中（对应 gltfpack 的 -cz 选项），尚未合入正式扩展目录——引用链接时注意区分，网上不少文章把两者混为一谈。

加载端的支持情况：three.js r111+ 可加载量化产物；r122+ 支持 meshopt 压缩，但需要调用 GLTFLoader.setMeshoptDecoder 挂上 WASM 解码模块（meshopt_decoder.mjs）；Babylon.js 4.1+ 支持量化，5.0+ 原生支持压缩无需额外设置。默认产物不做压缩时没有这些要求，所以 -cc 与否是"下载体积"和"加载器能力"之间的取舍。另外 meshoptimizer 编解码器的输出设计上可与 gzip/deflate 叠加——CDN 开 gzip，压缩率还能再涨一截。

网格简化

简化是库里有损的部分，基于 Garland-Heckbert 的 QEM 算法：

float threshold = 0.2f;
size_t target_index_count = size_t(indices.size() * threshold); // 目标：保留 20% 三角面
float target_error = 1e-2f;
float lod_error = 0.f;

std::vector<unsigned int> lod(indices.size());
lod.resize(meshopt_simplify(lod.data(), indices.data(), indices.size(),
    &vertices[0].px, vertices.size(), sizeof(Vertex),
    target_index_count, target_error, /* options = */ 0, &lod_error));

target_error 是相对网格尺寸的归一化偏差（1e-2f 即允许 1% 的网格尺寸误差），返回的 lod_error 是实际达到的误差，可以直接用于按视距选 LOD。两个语义要记住：简化器不保证精确达到目标索引数——拓扑限制和误差上限都可能让它提前停下；简化复用原始顶点缓冲，只生成新索引。

进阶用法有四档。meshopt_simplifyWithAttributes 把法线、UV、顶点色纳入误差度量（各属性带权重），简化时兼顾着色和贴图质量；meshopt_SimplifyPermissive 选项允许跨越属性 seam 折叠，解决硬法线网格完全简化不动的问题，配合 vertex_lock 数组可以精细保护 UV seam；meshopt_SimplifyLockBorder 锁边界，分块简化再拼回时不开裂；meshopt_simplifyWithUpdate 干脆更新顶点数据本身，做激进简化时质量更好，代价是每个 LOD 独占顶点、显存翻倍——可以头两级 LOD 共享顶点、后面几级才切换。meshopt_simplifySloppy 则完全不管拓扑，速度快、质量差，适合对质量不敏感的粗筛或点云类场景。

生成 LOD 链时有个跨平台细节：部分移动 GPU 只能高效变换连续范围的顶点，所以正确做法是每级 LOD 各自做缓存优化后，从粗到细拼进一个大索引缓冲，最后跑一次 meshopt_optimizeVertexFetch，让粗糙 LOD 落在顶点缓冲的头部。

Meshlet：面向 mesh shading 的集群切分

mesh shading 管线（NVIDIA Turing 起、AMD RDNA 2 起的 GPU 支持，经 Vulkan 或 D3D12 暴露）不再以整张网格为单位，而是让 GPU 直接消费一小簇一小簇的几何——meshlet。每个 meshlet 是最多几十个顶点、一百多个三角面的子块，自带微型索引表，可以在 GPU 上做集群级视锥/遮挡剔除。

meshopt_buildMeshlets 的推荐配置：NVIDIA 用 64 顶点 / 126 三角面，早期 AMD 硬件上 64/64 或 128/128 更好，NVIDIA 官方也建议考虑 64/96 这种真实网格更容易填满的配置：

const size_t max_vertices = 64;
const size_t max_triangles = 126;  // v0.25 及之前需为 4 的倍数
const float cone_weight = 0.0f;    // 不做 cone 剔除就设 0；启用时 0.25 是合理默认

size_t max_meshlets = meshopt_buildMeshletsBound(indices.size(), max_vertices, max_triangles);
std::vector<meshopt_Meshlet> meshlets(max_meshlets);
std::vector<unsigned int> meshlet_vertices(indices.size());
std::vector<unsigned char> meshlet_triangles(indices.size());

size_t meshlet_count = meshopt_buildMeshlets(
    meshlets.data(), meshlet_vertices.data(), meshlet_triangles.data(),
    indices.data(), indices.size(),
    &vertices[0].px, vertices.size(), sizeof(Vertex),
    max_vertices, max_triangles, cone_weight);

// 按最后一个 meshlet 的实际占用裁剪数组再入库
const meshopt_Meshlet& last = meshlets[meshlet_count - 1];
meshlet_vertices.resize(last.vertex_offset + last.vertex_count);
meshlet_triangles.resize(last.triangle_offset + last.triangle_count * 3);
meshlets.resize(meshlet_count);

cone_weight 只在要用锥体剔除（整个 meshlet 背对相机就整块丢弃）时设非零，它在锥体剔除效率与其他剔除形式之间取舍。切完的 meshlet 还能配 meshopt_computeMeshletBounds 生成包围球和锥体参数，供运行时做集群剔除——Nanite 式渲染的核心构件之一。

v1.x 里这个家族扩了不少：buildMeshletsScan 从缓存优化好的索引缓冲贪心聚合，适合加载时处理；buildMeshletsFlex 用 split_factor 换取空间局部性，服务层级 LOD；buildMeshletsSpatial 用 SAH（surface area heuristic，表面积启发式）做空间切分，产出的集群对光线追踪明显更友好；partitionClusters 把 cluster 再组织成更大的分区，对接 Nanite 风格的层级简化。meshlet 数据本身也有专用编解码器，三角面数据目标 5-7 bit/三角面，解码速度 7-10 GB/s。

压缩编解码：数字怎么读

meshoptimizer 的压缩和 Draco 不是一类东西。它的编解码器无损——有损的部分（量化、滤镜）发生在编码之前、由调用方控制；它不追求极限压缩率，追求的是"压完的数据 GPU 拿来就能高效渲染，解压快到运行时无感"。README 给出的关键数字：

• 顶点数据：对已量化、已优化的缓冲，压缩率典型 2-4 倍；编码前必须先做取回优化和量化，否则比率很难看。
• 索引数据：最好情况 1 字节/三角面（比 16 位原始索引小 6 倍），真实网格典型 1-1.2 字节/三角面；前提同样是缓存与取回优化到位。
• 解码速度：顶点/索引 3-6 GB/s，meshlet 7-10 GB/s，滤镜 5-10 GB/s（现代桌面 CPU）。

这些数字测的都是解码侧——它直接决定玩家的加载时间；编码侧的耗时只影响资产管线，不在数字里。反过来也不能推出"我的模型体积一定减半"：压缩率取决于数据本身的冗余度和量化的激进程度，官方数字都是在"已量化 + 已优化"的前提下给的。三角条带（triangle strip）有个可对比的参照：转成 strip 后索引量降到三角面列表的 50-60%，ACMR 变差约 5%——压缩收益相近，但 strip 兼容性差，如今多数管线还是选编解码器路线。

压缩数据有版本兼容承诺：旧版本编码的数据新版本总能解；需要跨版本固定格式时用 meshopt_encodeVertexVersion / meshopt_encodeIndexVersion 钉住（顶点格式 v1 兼容 v0.23+，索引格式 v1 兼容 v0.14+，meshlet 格式自 v1.1 起无版本头、跨版本稳定）。点云也是一等公民：先 meshopt_spatialSortRemap 空间排序再编码，带颜色的点云典型压到 35-40 bit/点。

验证优化效果：分析器

优化做没做对，不能靠感觉。四个分析器输出与 GPU 无关的量化指标：

• meshopt_analyzeVertexCache：ACMR 和 ATVR（平均顶点变换比，理想值 1.0，即每个顶点只变换一次）。优化做得好，ACMR 应从接近 3 的初值降到 0.5-1.5 区间。
• meshopt_analyzeVertexFetch：overfetch，从顶点缓冲读出的字节数与缓冲总字节数之比，理想值 1.0。
• meshopt_analyzeOverdraw：overdraw 比率（像素着色调用数 / 覆盖像素数，理想值 1.0），按多个正交视角平均。
• meshopt_analyzeCoverage：轮廓覆盖率，用于检查简化后的轮廓变化。

要注意分析器用的是近似模型，数字只是真实 GPU 性能的粗略代理；精确结论仍然要在目标硬件上测。工程上的习惯是把分析器挂进资产管线的单元测试——ACMR 或 overfetch 超过阈值就报警，防止某次导出器改动悄悄劣化资产。

与其他网格处理库的取舍

选型上真正要回答的问题只有一个：你的瓶颈是"下载体积"还是"渲染效率"。纯传输场景（网页展示低模、归档）Draco 的压缩率优势有意义；一旦产物要进实时渲染管线，meshoptimizer"压缩后仍是 GPU 友好布局"的取向几乎不可替代，两者也常被组合使用。

何时用 / 何时不用

适合：

• 3D 游戏与引擎资产管线（角色、场景、道具的入库与 LOD 链生成）
• Web 3D（three.js / Babylon.js 的 glTF 压缩与量化路径）
• mesh shading / GPU 驱动渲染、Nanite 风格集群管线（meshlet + 集群剔除 + 层级 LOD）
• 光线追踪资产预处理（SAH 集群、opacity micromap）
• 数字孪生 / GIS（点云聚类、压缩与简化都是显式支持的路径）

不需要：

• 纯 2D 渲染——没有三角面网格，无从谈起
• 网格极小（千级三角面以下），优化收益覆盖不了工程成本
• 服务端纯几何计算（物理、碰撞、雕刻），没有渲染管线消费这些优化
• 依赖运行时动态拓扑修改的场景——算法面向静态或预处理的几何设计

集成到项目

C++ 源码集成：把 src/meshoptimizer.h 和用到的 src/*.cpp 加进构建即可，源文件组织成"用哪个算法加哪个文件"，无需改编译选项，也支持合并成单个翻译单元。CMake 项目直接：

add_subdirectory(meshoptimizer)
target_link_libraries(my_app PRIVATE meshoptimizer)

不想管源码就用 vcpkg（meshoptimizer port）或 Conan。Rust 用 meshopt = "0.6"；JS/WebAssembly 用 npm 包 meshoptimizer，gltfpack 也有对应的 npm 包（原生二进制更快且支持纹理压缩，能装原生版本优先用原生）。

升级库版本基本无感：非实验 API 承诺 ABI/API/行为三重稳定；MESHOPTIMIZER_EXPERIMENTAL 标记的接口（如 generateNormals、remesh、部分简化 flag）则可能在版本间变化，用前查 release notes。解码器不分配内存、所有算法栈使用不超过 32 KB，嵌入到受限环境（含游戏主机）也不构成障碍。

参考资源

• 仓库：zeux/meshoptimizer（本文事实均以 master 分支 README 及 v1.2 头文件为准，数字为 2026 年 9 月核实）
• glTF 扩展：EXT_meshopt_compression（已批准）；KHR_meshopt_compression 提案 PR #2517（标准化中）
• gltfpack 文档：仓库 gltf/README.md；gltfpack -h 查看全部选项
• 算法背景：Garland & Heckbert, Surface Simplification Using Quadric Error Metrics（SIGGRAPH 1997，QEM 简化）；Hoppe, Optimization of Mesh Locality for Transparent Vertex Caching（SIGGRAPH 1999，顶点缓存优化）；Forsyth, Linear-Speed Vertex Cache Optimisation（2006）；Sander et al., Fast Triangle Reordering for Vertex Locality and Reduced Overdraw（SIGGRAPH 2007）