为何使用POINT_LIST拓扑时顶点着色器必须编写PointSize？Vulkan问询

遇到Vulkan验证层错误：

[VULKAN][INFO] Vulkan validation layer callback: Validation Error: [UNASSIGNED-CoreValidation-Shader-PointSizeMissing ] Object 0: VK_NULL_HANDLE, type = VK_OBJECT_TYPE_PIPELINE; | MessageID = 0xf3693078 | Pipeline topology is set to POINT_LIST, but PointSize is not written to in the shader corresponding to VK_SHADER_STAGE_VERTEX_BIT.

已了解到的规则：

Vulkan关于点大小的规则有些特殊。如果仅使用顶点着色器且绘制点图元，则必须在顶点着色器中编写PointSize；若使用几何着色器或细分着色器，则取决于shaderTessellationAndGeometryPointSize设备特性。

疑问：

• 是否必须针对POINT_LIST和其他拓扑准备两套独立的着色器？
• 为什么点大小不能像线宽那样，直接在管线创建时通过状态设置？

不需要强制维护两套着色器 #

可以通过以下方式复用同一套着色器适配不同拓扑：

• 特化常量（Specialization Constant）：在着色器中定义特化常量控制是否输出gl_PointSize，创建管线时根据拓扑类型传入对应常量值。例如：

  layout(constant_id = 0) const bool DRAW_POINTS = false;
  void main() {
      // 顶点位置等核心逻辑
      if (DRAW_POINTS) {
          gl_PointSize = 2.0;
      }
  }
  

• 条件编译宏：通过预编译宏（如#ifdef DRAW_POINTS）控制gl_PointSize的输出，编译着色器时根据需求定义宏。
• 动态状态扩展：若目标设备支持VK_EXT_dynamic_state_point_size，可启用VK_DYNAMIC_STATE_POINT_SIZE动态状态，通过vkCmdSetPointSize在绘制时设置全局点大小，此时顶点着色器无需输出gl_PointSize，一套着色器即可兼容所有拓扑。

如果需要兼容不支持该扩展的老设备，特化常量是最简洁的方案，避免重复编写着色器代码。

点大小与线宽的设计差异 #

Vulkan的设计逻辑区分了点大小和线宽的控制方式：

• 线宽是全局光栅化属性，所有线段宽度一致，因此被纳入VkPipelineRasterizationStateCreateInfo作为管线静态配置项。
• 点大小默认支持逐顶点自定义，允许开发者根据顶点数据（如距离相机的远近）动态调整每个点的大小，因此Vulkan要求由着色器输出gl_PointSize。
• 若你需要全局统一的点大小，可通过VK_EXT_dynamic_state_point_size扩展实现，启用后用vkCmdSetPointSize动态设置，用法就和线宽类似了。

快速修复当前验证错误 #

针对UNASSIGNED-CoreValidation-Shader-PointSizeMissing错误：

• 仅使用顶点着色器绘制点：在顶点着色器中添加gl_PointSize = <你需要的大小值>;（比如gl_PointSize = 1.0;）。
• 使用几何/细分着色器：先检查设备是否支持shaderTessellationAndGeometryPointSize特性——支持的话在几何着色器中输出gl_PointSize；不支持则仍需在顶点着色器中输出。

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