Vulkan-着色器及编译SPIR-V

1.着色器模块介绍

       Vulkan着色器代码一定要用字节码格式，而不是人类可读的语法如GLSL和HLSL。这个字节码就是SPIR-V，设计用于Vulkan和OpenCL。这是一个可以用于编写图形和计算着色器的格式，但是我们主要关注的是Vulkan的图形管线。使用字节码格式的优点之一是GPU厂商写的编译器将着色器代码转化为原生代码会非常简单。过去的经验表明，人类易读的语法如GLSL，某些GPU厂商是能很便捷地解读这些标准的。但是如果你碰巧写了不一般的着色器，那可能会导致厂家的着色器因为你的语法错误而拒绝执行，甚至更糟，就是能执行，却因为编译器bug得到的是错误的结果。直接用字节码格式就能避免这些问题。

       Khronos已经发行了他们自己的厂商无关的编译器，能够将GLSL编译到SPIR-V格式。这个编译器就是用来验证你的着色器都是和标准兼容的，它会产生一个SPIR-V的二进制输出，可以和你的程序一同发行。该编译器包含在LunarG SDK中了，也就是glslangValidator.exe，所以不用额外下载任何内容。

       GLSL是C语法风格的着色器语言，用它写的程序有一个main方法来让每个对象调用。没有用参数作为输入，返回一个值作为输出这种做法，GLSL使用了全局变量来处理输入和输出。该语言包含了许多特性以便于图形编程，比如内建的向量和矩阵原型。叉乘，矩阵-向量相乘，向量反射之类操作用的函数都包括在内。

        向量类型叫做vec，后面跟着一个数字表示元素个数。比如一个3D位置应该存储为vec3。可以用类似.x的方式获取其单独的组件，但是也可能会创建一个新的变量，比如vec3(1.0, 2.0, 3.0).xy就会得到一个vec2。向量的构造器也可以接受向量对象的组合以及标量值，比如vec3可以用vec3(vec2(1.0, 2.0), 3.0)构造。
2.着色器例子

        写一个顶点着色器和片段着色器，以便将三角形显示到屏幕上。下面两部分会介绍每一部分的GLSL代码，之后我会介绍如何产生两份SPIR-V二进制文件并加载到程序中。

2.1 定点着色器

顶点着色器处理每个到来的顶点，用其属性如世界坐标，颜色，法线和材质坐标等作为输入。输出是最终在裁剪坐标的位置和需要传递给片段着色器的属性，比如颜色和材质坐标。这些值会被片段着色器根据光栅器插值，产生平滑的梯度。

裁剪坐标是来自顶点着色器的四维向量，随后被通过最后一个元素除以整个向量转变成一个归一化设备坐标。这些归一化设备坐标是齐次坐标，将帧缓冲映射到纵横都是[-1, 1]的坐标系，如下：
 

我们第一个三角形不用任何变换，我们就直接明确三个点的位置作为归一化设备坐标，来创建如下的三角形：

直接输出归一化设备坐标，做法就是将他们作为裁剪坐标从顶点着色器输出，最后一个部分置为1。这样变换裁剪坐标到归一化设备坐标时候的除法操作就什么都保持不变。

通常这些坐标会存储在顶点缓冲中，但是创建顶点缓冲并填充数据在Vulkan中并非微不足道。因此我们决定先将其推迟，直到我们满足地看到三角形绘制到了屏幕上。同时我们还要做一些不太正统的东西：直接将坐标包含在顶点着色器中。代码如下

#version 450
 
vec2 positions[3] = vec2[](
    vec2(0.0, -0.5),
    vec2(0.5, 0.5),
    vec2(-0.5, 0.5)
);
 
void main() {
    gl_Position = vec4(positions[gl_VertexIndex], 0.0, 1.0);
}

main方法是每个顶点都涉及的，内置的gl_VertexIndex变量包含了当前顶点的索引。这通常是顶点缓冲的索引，但是我们这儿它就是硬编码数组的顶点数据的索引。每个顶点的位置通过着色器的连续数组获取，且和虚拟z和w部分一起组成一个裁剪坐标的位置。内置变量gl_Position作为输出。
2.2 片段着色器

由来自顶点着色器的位置形成的三角形用片段来填充屏幕上的区域。片段着色器就在这些片段上执行来为帧缓冲产生一个颜色和深度。一个简单的为整个三角形输出红色的片段着色器。

#version 450
#extension GL_ARB_separate_shader_objects : enable
 
layout(location = 0) out vec4 outColor;
 
void main() {
    outColor = vec4(1.0, 0.0, 0.0, 1.0);
}

main方法被每个片段调用，就和顶点着色器的main方法被每个顶点调用一样。GLSL的颜色是由4部分组成的向量，就是RGB和alpha通道，范围都是[0, 1]。不像是顶点着色器的gl_Position，没有内置变量为当前片段输出一个颜色。你必须为每个帧缓冲明确自己的输出变量，布局（location = 0）修改器明确了帧缓冲的索引。这里outColor写成红色，和索引为0的第一个帧缓冲连接起来。
3.编译着色器

在项目根目录创建一个shaders目录，存储我们的着色器代码。两份着色器分别是shader.vert和shader.frag，GLSL没有官方扩展名，但是这两个通常用于区分它们。

shader.vert如下所示：

#version 450
#extension GL_ARB_separate_shader_objects : enable
 
layout(location = 0) out vec3 fragColor;
 
vec2 positions[3] = vec2[](
    vec2(0.0, -0.5),
    vec2(0.5, 0.5),
    vec2(-0.5, 0.5)
);
 
vec3 colors[3] = vec3[](
    vec3(1.0, 0.0, 0.0),
    vec3(0.0, 1.0, 0.0),
    vec3(0.0, 0.0, 1.0)
);
 
void main(){
    gl_Position = vec4(positions[gl_VertexIndex], 0.0, 1.0);
    fragColor = colors[gl_VertexIndex];
}

shader.frag如下：

#version 450
#extension GL_ARB_separate_shader_objects : enable
 
layout(location = 0) in vec3 fragColor;
 
layout(location = 0) out vec4 outColor;
 
void main() {
    outColor = vec4(fragColor, 1.0);
}

现在我们准备用glslangValidator将其编译成SPIR-V字节码：

glslc shader.vert -o vert.spv
glslc shader.frag -o frag.spv

这两条命令用-V标志调用了编译器，表明要求编译器将GLSL源文件编译成SPIR-V字节码。当你运行编译脚本的时候，就会发现两个SPIR-V二进制文件产生了，即vert.spv和frag.spv。这些名字直接来自shader类型，但是你可以进行重命名。Vulkan SDK包含了libshaderc，也就是将你的GLSL代码编译成SPIR-V的东西。
4.加载着色器

当前我们可以产生SPIR-V着色器了，是时候将其加载到我们的程序中了，然后在某个时刻将其插入到图形管线中。我们先要写一个简单的助手方法来从文件加载二进制数据：

readFile方法会从指定文件读取所有字节，返回std::vector管理的byte数组。我们用两个标记打开该文件：

ate：开始读的时候在文件末尾，就是说打开文件的时候定位到文件尾；

binary：以二进制文件读取文件（避免text转换）。

现在我们从createGraphicsPipeline调用该方法：

void createGraphicsPipeline() {
    auto vertShaderCode = readFile("shaders/vert.spv");
    auto fragShaderCode = readFile("shaders/frag.spv");
}

准备创建着色器模块，在开始将代码传递到管线之前，我们需要将其包装到VkShaderModule对象中，创建一个createShaderModule方法