DirectX 12输入布局不匹配的着色器为何仍能正常工作？

我写了一个用来在屏幕上绘制绿色网格的测试着色器，但当我传入的顶点数据结构和管线状态、顶点着色器里指定的布局完全不同时，程序居然还能正常运行，这是为什么？

上传至GPU并传入ID3D12GraphicsCommandList::IASetVertexBuffers(...)的CPU顶点结构：

struct Vertex
{
    Math::Vec3 position;
    Math::Vec3 normal;
    Math::Vec3 tangent;
    Math::Vec3 bitangent;
    Math::Vec2 texCoord;
};
using VertexArray = std::vector<Vertex>;

顶点着色器代码：

struct VS_INPUT
{
    float3 position : POSITION;
};

struct VS_OUTPUT
{
    float4 position: SV_POSITION;
};

cbuffer VertexShaderCB : register(b0)
{
    float4x4 viewProjMatrix;
};

VS_OUTPUT main(VS_INPUT input)
{
    VS_OUTPUT output;
    output.position = mul(float4(input.position, 1.0f), viewProjMatrix);

    return output;
}

像素着色器代码：

struct VS_OUTPUT
{
    float4 position: SV_POSITION;
};

float4 main(VS_OUTPUT input) : SV_TARGET
{
    return float4(0.0f, 1.0f, 0.0f, 1.0f);
}

着色器管线状态的输入布局：

D3D12_INPUT_ELEMENT_DESC inputLayoutElement[] =
{
    { "POSITION", 0, DXGI_FORMAT_R32G32B32_FLOAT, 0, 0, D3D12_INPUT_CLASSIFICATION_PER_VERTEX_DATA, 0 },
};

原因解析 #

这本质是因为Direct3D的输入装配阶段（IA）只会按照你指定的输入布局来读取顶点缓冲区的数据，多余的数据会被完全忽略：

• 你的输入布局只定义了一个POSITION元素，格式为R32G32B32_FLOAT，偏移量为0，意味着每个顶点仅从缓冲区起始位置读取前12字节（3个float，每个4字节）。
• 你的CPU顶点结构中，position刚好是第一个成员，占前12字节，后面的normal、tangent等数据都在12字节之后，IA阶段根本不会读取这些内容。
• 顶点着色器只用到了POSITION输入，像素着色器更是直接输出固定绿色，完全不依赖顶点的其他属性，所以整个渲染流程能正常执行。

注意事项 #

这种“不匹配”是不安全且不可靠的：

• 若顶点结构中position不是第一个成员，或输入布局的偏移量设置错误，IA会读取错误数据，导致渲染图形错乱。
• 不同编译器可能给结构体成员添加不同的内存对齐填充，一旦出现这种情况，数据读取就会出错。
• 后续若修改顶点着色器需要用到其他属性，这种布局不匹配会直接引发难以排查的bug。

规范做法是让顶点缓冲区的数据结构、输入布局、顶点着色器的输入结构三者完全匹配。

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