Vulkan/DirectX中，图形管线创建时是否会优化未使用的阶段间变量？

问题场景 #

顶点着色器代码：

layout (location = 0) out float3 outEyeSpacePosition;
layout (location = 1) out float2 out_tex_coords;

片段着色器代码：

layout (location = 0) in float3 inEyeSpacePosition;
layout (location = 2) in float2 in_tex_coords;

切换着色器时，片段着色器有时不会用到location=2的变量，但必须保留该变量否则管线创建会触发链接错误；但保留未使用的变量时，Vulkan验证器会抛出性能警告。

不愿采用#ifdef条件编译（会导致管线组合爆炸），希望驱动能自动优化掉这类未使用的变量：即管线创建阶段，检测到片段着色器未使用的顶点输出，自动移除该变量的传递逻辑。

实际行为分析 #

Vulkan #

• 主流驱动（AMD、NVIDIA、Intel）在管线链接阶段会自动优化掉未被片段着色器使用的顶点输出。驱动的着色器编译器会在关联顶点与片段着色器后，完成跨着色器的数据流分析，完全未被使用的输出变量会被从管线的顶点-片段交互环节移除，不会产生实际性能开销。
• 但Vulkan验证器的警告属于静态检查（仅分析单个着色器代码，不做跨着色器数据流关联），所以即使驱动会完成优化，验证器仍会抛出警告。你可以通过过滤VK_DEBUG_UTILS_MESSAGE_SEVERITY_PERFORMANCE_BIT_EXT类别的消息来屏蔽这类误报。

DirectX（D3D11/D3D12） #

• D3D的HLSL编译器（FXC或DXC）在管线编译阶段同样会执行死代码消除优化。如果片段着色器未引用某个顶点输出，编译器会自动剔除该输出的传递逻辑，不会带来性能损失。
• D3D调试层也可能发出类似的未使用变量警告，但同样属于静态检查，不代表实际运行存在性能问题。

结论与建议 #

• 无需担心未使用变量的性能损失，主流驱动都会自动优化这类冗余的着色器输出。
• 如果受验证器警告困扰，可以针对性屏蔽对应性能警告类别，或者在代码中给未使用变量添加[[maybe_unused]]属性（GLSL 4.60+支持），明确告知编译器该变量可能未被使用，避免警告。修改后的片段着色器示例：

layout (location = 0) in float3 inEyeSpacePosition;
layout (location = 2) in [[maybe_unused]] float2 in_tex_coords;

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