为何VkRayTracingShaderGroupCreateInfoKHR无独立miss shader成员复用generalShader？

首先给出Vulkan 1.3中该结构体的定义：

typedef struct VkRayTracingShaderGroupCreateInfoKHR {
    VkStructureType                   sType;
    const void*                       pNext;
    VkRayTracingShaderGroupTypeKHR    type;
    uint32_t                          generalShader;
    uint32_t                          closestHitShader;
    uint32_t                          anyHitShader;
    uint32_t                          intersectionShader;
    const void*                       pShaderGroupCaptureReplayHandle;
} VkRayTracingShaderGroupCreateInfoKHR;

这种设计的核心原因在于光线生成、Miss着色器与其他类型着色器的执行逻辑、硬件调度模式存在本质差异，具体可以从这几点理解：

• 执行角色与触发逻辑不同
  光线生成和Miss着色器属于"顶层"着色器：光线生成是整个光线追踪流程的入口，负责发射初始光线；Miss着色器则在光线未命中任何几何体时触发。二者都是由管线直接调度执行，不需要依附于任何几何体或相交测试逻辑。而Closest Hit、Any Hit、Intersection着色器都是"几何体关联"的着色器——它们必须绑定到特定几何体（或几何体类型），只有当光线与对应几何体完成相交测试后才会被调用。

• 硬件资源调度的共性
  从硬件层面看，光线生成和Miss着色器的资源使用、调度模式高度相似：它们不需要访问几何体的顶点、法线等属性，也不参与相交测试的计算流程。将二者归到generalShader下，能让驱动更高效地统一管理这类着色器的资源分配与调度，减少冗余的逻辑分支。

• 着色器组类型的约束匹配
  结构体的type字段（VkRayTracingShaderGroupTypeKHR）已经明确了当前着色器组的用途：

  • 当type为VK_RAY_TRACING_SHADER_GROUP_TYPE_GENERAL_KHR时，generalShader对应光线生成或Miss着色器，其他成员无效；
  • 当type为VK_RAY_TRACING_SHADER_GROUP_TYPE_TRIANGLES_HIT_GROUP_KHR或VK_RAY_TRACING_SHADER_GROUP_TYPE_PROCEDURAL_HIT_GROUP_KHR时，才会启用Closest Hit、Any Hit、Intersection这些成员，generalShader此时无效。
    这种设计既避免了结构体成员的冗余，又能清晰区分不同类型着色器组的配置逻辑。

内容的提问来源于stack exchange，提问作者xmyhhh