必须加 -g 启用调试信息，否则 glslangvalidator 会剥离 opname、opdecorate 等反射所需元数据；推荐搭配 --target-env vulkan1.3 和 -o xxx.spv 输出标准 spir-v；后续用 spirv-cross（--json）或 spvreflect（c++ 零依赖）解析绑定布局，避免手动遍历 opdecorate。
用 glslangValidator 离线编译 GLSL 到 SPIR-V 并保留反射信息
SPIR-V 本身不带语义化绑定信息（比如 layout(set=0, binding=1) 对应的变量名、类型、数组大小），但 glslang 编译器支持在二进制中嵌入调试/反射数据。关键不是“能不能”，而是“要不要加 -g”——不加这个 flag，glslangValidator 默认剥离所有名称和装饰，后续解析就只剩空壳。
实操建议：
- 必须加
-g（启用调试信息），否则OpName、OpMemberName、OpDecorate中的 binding/set 等几乎全丢 - 推荐加
--target-env vulkan1.3明确目标环境，避免隐式降级导致装饰语义错乱 - 输出用
--quiet避免日志混入二进制，用-o xxx.spv指定明确后缀，方便后续工具识别
示例命令：glslangValidator -V -g --target-env vulkan1.3 shader.vert -o shader.vert.spv
用 spirv-cross 提取绑定布局（set/binding/type/offset）
spirv-cross 是目前最稳的离线 SPIR-V 反射工具，它不依赖 Vulkan 运行时，纯解析二进制，输出结构化 JSON 或直接 C++ API 调用。重点不是“读出变量名”，而是“对齐 Vulkan 的 DescriptorSetLayout 创建逻辑”——它能告诉你每个 OpVariable 所属的 DescriptorSet、Binding、维度、是否为动态偏移（DescriptorType::UniformBufferDynamic）等。
实操建议：
- 用
--json输出可读性最强，字段如bindings[].set、bindings[].binding、bindings[].type、bindings[].array_size全都直给 - 若需集成到构建流程，用
--dump-resources更轻量，只输出绑定元数据，不含反编译 GLSL - 注意：
spirv-cross对OpTypeRuntimeArray（如Texture2D g_textures[]）会把array_size设为 0，这是正确行为，表示运行时大小由vkUpdateDescriptorSets决定
示例命令：spirv-cross --json shader.vert.spv > reflection.json
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
用 spvReflect 在 C++ 里直接解析（零依赖、头文件即用）
如果你不想调外部命令、要 runtime 解析或嵌入构建系统，spvReflect 是更干净的选择：单头库、无 STL 依赖、C 接口但 C++ 可直接用。它不反编译，只提取 SPIR-V 中的 OpDecorate、OpMemberDecorate 和类型树，所以速度极快，且结果和 Vulkan 驱动看到的一致。
实操建议：
- 加载后先调
spvReflectGetEntryPointCount()和spvReflectEnumerateEntryPoints()，确认入口名（尤其多入口 shader） - 对每个入口点调
spvReflectEnumerateDescriptorBindings()，返回的是SpvReflectDescriptorBinding*数组，其中binding、set、descriptor_type、count（数组元素数）、block.size（UBO 总字节）全都有 - 容易踩的坑：忘记调
spvReflectDestroyShaderModule()，它内部 malloc 了内存；另外，count字段对采样器数组是实际声明大小，对RuntimeArray是 0 —— 和spirv-cross行为一致
简短示例：
SpvReflectShaderModule module;<br>spvReflectCreateShaderModule(size, data, &module);<br>uint32_t count = 0;<br>spvReflectEnumerateDescriptorBindings(&module, &count, nullptr);<br>std::vector<spvreflectdescriptorbinding> bindings(count);<br>spvReflectEnumerateDescriptorBindings(&module, &count, bindings.data());</spvreflectdescriptorbinding>
为什么不能只靠 OpDecorate 手动遍历？
有人试过用 spirv-tools 的 spv_binary_to_text 然后 grep OpDecorate.*Binding，结果发现绑定点对不上——因为 SPIR-V 的装饰不是线性映射：一个变量可能有多个 OpDecorate（set + binding + descriptor_set），还可能被 OpMemberDecorate 修饰结构体内成员，而类型定义（OpTypeStruct → OpTypePointer → OpVariable）是跳转链。手动解析极易漏掉嵌套 UBO 成员或误判数组维度。
真正可靠的路径只有一条：用已验证的反射库走完整语义图遍历。哪怕只是临时脚本，也优先用 spirv-cross --json 或 spvReflect，别省那几行代码。
最常被忽略的一点：shader 编译时用了 #extension GL_EXT_descriptor_indexing，但反射工具版本太老（如 spirv-cross ），会导致 <code>DescriptorType::StorageBuffer 被误判成 UniformBuffer——务必核对工具版本与 shader 所用 Vulkan 扩展的兼容性。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
