Direct3D 12——几何着色器——几何着色器概念
几何着色器
几何着色器这个可选阶段便位于顶点着色器与像素着色器之间。几何着色器所输出的图元由顶点列表定义而成。在退岀几何着色器时，必将顶点的位置变换到齐次 裁剪空间。换言之，经过几何着色器阶段的处理后，我们就得到了位于齐次裁剪空间中由一系列顶点所 定义的多个图元。这些顶点会同样历经投影(齐次除法)与光栅化等后续步骤。
几何着色器的一般编写格式：
[maxvertexcount(N)]
void ShaderName (PrimitiveType InputVertexType InputName[NumElements],
inout StreamOutputObject<OutputVertexType> OutputName）
（
//几何着色器的具体实现
}
我们必须先指定几何着色器单次调用所输出的顶点数量最大值（每个图元都会调用一次几何着色器, 走一遍其中的处理流程）。对此，可以使用下列属性语法来设置着色器定义之前的最大顶点数量：
[maxvertexcount（N）]
其中，N是几何着色器单次调用所输出的顶点数量最大值。几何着色器每次输岀的顶点个数都可能各不相同，但是这个数量却不能超过之前定义的最大值。出于对性能方面的考量，我们应当令 maxvertexcount的值尽可能地小。在GS（即几何着色器的缩写,geometry shader ）每次输出的标量数量在1〜20时，它将发挥出最佳的性能；而当GS每次输出的标量数量保持在 27〜40时，它的性能将下降到峰值性能的50% 。每次调用几何着色器所输岀的标量个数为： maxvertexcount与输出顶点类型结构体中标量个数的乘积L。
几何着色器输入参数必须是一个定义有特定图元的顶点数组——点应输入一个顶点、线条要 输入两个顶点、三角形需输入3个顶点、线及其邻接图元为4个顶点、三角形及其邻接图元则为6个顶 点。几何着色器的输入顶点类型即为顶点着色器输出的顶点类型（例如Vertex0ut）。输入参数一定要 以图元类型作为前缀，用以描述输入到几何着色器的具体图元类型。该前缀可以是下列类型之一：
1.point：输入的图元为点。2.line：输入的图元为线列表或线条带。3.triangle：输入的图元为三角形列表或三角形带。4.lineadj :输入的图元为线列表及其邻接图元，或线条带及其邻接图元。5.triangleadj ：输入的图元为三角形列表及其邻接图元，或三角形带及其邻接图元。
向几何着色器输入的数据必须是完整的图元（例如组成线条的两个顶点、构成三角形的3个 顶点等）。因此，几何着色器并不会区分输入的图元究竟是列表结构（list）还是带状结构 （strip ）o举个例子，若绘制的图元实际上是三角形带，但几何着色器仍会把三角形带视作多 个三角形并分别进行单独的处理，即将每个三角形的3个顶点作为其输入数据。绘制带状结 构的过程中会产生额外的开销，因为多个图元所共用的顶点在几何着色器中会被处理多次。
输岀参数一定要标有inout修饰符。另外，它必须是一种流类型(stream typeo即某种类型的流输 出对象)。流类型存有一系列顶点，它们定义了几何着色器输出的几何图形。几何着色器可以通过内置方法Append向输岀流列表添加单个顶点：
void StreamOutputObject<OutputVertexType>::Append(OutputVertexType v);
流类型本质上是一种模板类型(template type),其模板参数用以指定输岀顶点的具体类型(如 GeoOut )。流类型有如下3种。
1.PointStream<OutputVertexType>: 一系列顶点所定义的点列表。
2.LineStream<OutputVertexType>: 一系列顶点所定义的线条带。
3.TriangleStream<OutputVertexType>: 一系列顶点所定义的三角形带。
几何着色器输岀的多个顶点会构成图元，图元的输岀类型由流类型(即Pointstream. Linestream与TriangleStream )来指定。对于线条与三角形来说，几何着色器输岀的对应图元必 定是线条带与三角形带。而线条列表与三角形列表可借助内置函数Restartstrip来实现：
void StreamOutputObject<OutputVertexType>::Restartstrip();
mShaders["treeSpriteGS"] = d3dUtil::CompileShader(L"Shaders\\\\TreeSprite.hlsl", nullptr, "GS", "gs_5_0");
下列几何着色器详细地展示了 Append与Restartstrip方法的调用过程。此示例会将输入的三 角形进行细分,并输出细分后的4个小三角形：
struct VertexOut
{float3 PosL : POSITION;float3 NormalL : NORMAL;float2 Tex : TEXCOORD;
};
struct GeoOut
{float4 PosH : SV_POSITION;float3 PosW : POSITION;float3 NormalW : NORMAL;float2 Tex : TEXCOORD;float FogLerp : FOG;
};void Subdivide(VertexOut inverts[3], out VertexOut outVerts[6])
{// 1// *// / \\// / \\// m0*-------*m1// / \\ / \\// / \\ / \\// *-----*------*// 0 m2 2VertexOut m[3];//计算三角形边上的中点m[0].PosL = 0.5f*(inverts[0].PosL+inVerts[1].PosL); m[l].PosL = 0.5f*(inverts[1].PosL+inVerts[2].PosL);m[2].PosL = 0.5f*(inverts[2].PosL+inVerts[0].PosL);//把顶点投影到单位球面上m[0].PosL = normalize(m[0].PosL); m[1].PosL = normalize(m[1].PosL); m[2].PosL = normalize(m[2].PosL);//求出法线m[0].NormalL = m[0].PosL;m[1].NormalL = m[1].PosL;m[2].NormalL = m[2].PosL;//对纹理坐标进行插值m[0].Tex = 0.5f*(inverts[0].Tex+inVerts[1].Tex);m[1].Tex = 0.5f*(inverts[1].Tex+inVerts[2].Tex);m[2].Tex = 0.5f*(inverts[2].Tex+inVerts[0].Tex);outVerts[0] = inVerts[0];outVerts[1] = m[0];outVerts[2] = m[2];outVerts[3] = m[1];outVerts[4] = inVerts[2];outVerts[5] = inVerts[1];
};
void Outputsubdivision(VertexOut v[6],inout Trianglestream<GeoOut> triStream)
{GeoOut gout[6];[unroll]for(int i = 0; i < 6; ++i){//将顶点变换到世界空间gout[i].PosW = mul(float4(v[i].PosL, 1.Of), gWorld).xyz; gout[i].NormalW = mul(v[i].NormalL,(float3x3)gWorldlnvTranspose);//把顶点变换到齐次裁剪空间gout[i].PosH = mul(float4(v[i].PosL, 1.Of), gWorldViewProj); gout[i].Tex = v[i].Tex;}// 1// *// / \\// / \\// m0*-------*m1// / \\ / \\// / \\ / \\// *-----*------*// 0 m2 2//我们可以将细分的小三角形绘制到两个三角形带中去：// 三角形带1:底端的3个三角形// 三角形带2:顶部的三角形[unroll]for(int j = 0; j < 5; ++j){triStream.Append(gout[j]);}triStream.Restartstrip();triStream.Append(gout[1]);triStream.Append(gout[5]);triStream.Append(gout[3]);
}[maxvertexcount(8)]
void GS(triangle VertexOut gin[3], inout TriangleStream<GeoOut>)
(VertexOut v[6];Subdivide(gin, v);Outputsubdivision(v, triStream);
}
若给出一个输入图元，几何着色器也可以根据某些条件而选择不输出任何数据。通过这 种方式，几何着色便可以轻易地“销毁”几何图形。