[游戏开发]OpenGL着色器语言GLSL资料汇编

1 渲染管线中的着色器类型

OpenGL的工作流程通常被描述为渲染管线（rendering pipeline），该管线上的每一个环节都依赖相应的着色器（shader）来处理数据。在OpenGL 3.0版本（包括该版本）之前，用户可以使用固定功能管线（fixed-function pilpline）以避免编写着色器程序，但是从3.1版本开始，OpenGL从核心模式中移除了固定功能管线，使用着色器成了用户唯一的选择。

上图是根据我自己的理解绘制的渲染管线处理流程示意图。可以看出，整个管线上有四个环节使用四种不同的着色器，分别是顶点着色器、细分着色器、几何着色器和片元着色器，其中细分着色器又分为细分控制着色器和细分估值着色器。渲染管线中的细分着色器、几何着色器并非必需，使用它们是为了获得更好的效果。一般情况下，仅适用顶点着色器和片元着色器就可以生成模型。

除了上述四种着色器外，还有一种独立于渲染管线之外的着色器，叫做计算着色器，用于处理其他着色器程序所创建的和使用的缓存数据。

不同类型的着色器源码经过编译、连接后生成着色器程序，编译时需要为着色器源码指定着色器类型。下面是OpenGL为不同类型的着色器预定义的常量。

2 GLSL和OpenGL的版本对应关系

GLSL（OpenGL Shading Language）是为编写着色器程序而产生的语言，最初随OpenGL 2.0版本一同发布，并随着OpenGL的升级不断更新。下表展示了OpenGL和GLSL的版本对应关系。

同样的，对于嵌入式设备来说，每个版本的OpenGL ES，也有与之相对应的GLSL ES版本。

3 GLSL语法

3.1 数据类型

GLSL的数据类型，大致可以分为基本数据类型、向量、矩阵、结构体和数组等五类。

3.1.1 基本数据类型

GLSL的基本数据类型有五种，分别是浮点型、双精度浮点型、整型、无符号整型和布尔型。

3.1.2 向量

五种基本数据类型都可以生成二元、三元和四元向量。

以下关于向量类型的变量声明都是合法的。

vec3 p1 = vec3(1.0, 2.0, 3.0);
vec4 p2 = vec4(p1, 4.0);
ivec3 n = ivec3(p1);
vec4 white = vec4(1.0);
vec3 rgb= vec3(white);

3.1.3 矩阵

矩阵类型只有由float和double生成，矩阵阶数限定在2，3，4阶。以下关于矩阵类型的变量声明都是合法的。

mat3 m1 = mat3(1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.0, 8.0, 9.0);
mat3 m2 = mat2(vec3(1.0, 2.0, 3.0), vec3(4.0, 5.0, 6.0), vec3(7.0, 8.0, 9.0));
mat4 m3 = mat4(9.0) // 主对角线元素为9.0，其他元素全为0.0 

3.1.4 结构体

和C语言类似，GLSL的结构体可以将不同类型的数据组合在一起，成为一个新的类型，并隐式定义一个新类型的构造函数。

struct particle {
	float lifetime;
	vec3 positon;
	vec3 velocity;
};
particle p = particle(3.0, vec3(1.0, 2.0, 3.0), vec3(4.0, 5.0, 6.0));

3.1.5 数组

GLSL支持任意类型的数组，包括结构体数组。数组的length()方法返回数据元素的个数。数组不支持负数索引。

float p[3] = float[](1.0, 2.0, 3.0);
int ids[] = float[3](1, 2, 3);

3.2 操作符和优先级

下表列出了GLSL支持的操作符，以及各自的优先级。

3.3 流控制

和大多数编程语言一样，GLSL也同样支持顺序结构、分支机构和循环结构，也支持break、continue、return等流控制语句。此外，GLSL还有一个专用的流控制语句discard，仅用于片元着色器中，意为丢弃当前片元。

3.3.1 循环结构

GLSL完全复制了C语言的循环结构，包括for循环、while循环和do…while循环。

// for循环
for (int i=0; i<100; i++) {
	... ...
}

// while循环
while (n < 100) {
	... ...
}

// do...while循环
do {
	... ...
} while (n < 100)

3.3.2 分支结构

GLSL支持if…else结构和switch结构。

// if...else结构
if (condition) {
	... ...
} else {
	... ...
}

// switch结构
switch (int_value) {
	case n1:
		... ...
		break;
	case n1:
		... ...
		break;
	default:
		... ...
}

3.4 函数

GLSL支持自定义函数，函数声明的语法和C语言类似，只是形参的类型前面需要加上参数限制符。如果函数类型是void，则函数可以无返回值。另外，函数命名也不能以gl_作为前缀。下表是四种参数限制符的说明。

4 着色器的组成

这是一个最简单的顶点着色器的例子，乍一看，和C语言程序的源码非常类似，连注释都是一样的。

// 1. 预编译命令
#version 330 core

// 2. 全局变量声明
in vec4 a_Position;

// 3. 主函数
void main() {
	gl_Position = a_Position;
}

一般而言，一个着色器程序的源码有三部分组成：预编译命令、全局变量声明和主函数。

4.1 预编译命令

和C语言的预编译类似，GLSL同样提供了一系列命令来定义宏和常量，或者有条件地生成编译代码块。上面的着色器例子中，#version 330 core就是声明GLSL版本的预编译命令。下表列出了常用的预编译命令。

4.2 全局变量声明

GLSL属于强类型语言，所有变量都需要事先声明，并给出确定的数据类型。变量声明的一般格式如下。

数据类型 变量名 = 变量值;

尽管在主函数内部也可以声明变量，但主函数外的变量声明在数据类型前还需要一个存储限定符。比如上面的着色器例子中，a_Position是预先声明的变量，其数据类型是vec4，数据类型前面的in就是存储限定符。存储限定符是GLSL语言中最具特色的语法，也是初学者最难理解的概念。关于存储限定符的更多说明，详见本文第5节。带存储限定符的变量声明的一般格式如下。

存储限定符 数据类型 变量名;

4.3 主函数

和C语言类似，主函数由多行语句组成，无返回值。主函数可以直接使用在主函数外都声明的全局变量，也可以在使用之前的任何时候声明局部变量，也可以使用着色器内置的输入变量（只读）和输出变量。不同类型的着色有着各自不同的内置变量，详见本文第6节。

5 存储限定符

在OpenGL的渲染管线上，顶点数据不是批量处理的，而是一个顶点一个顶点逐一处理的。也就是说，顶点着色器程序每次只处理一个顶点。同样的，后续的着色器也是逐面片、逐图元、逐片元处理的。

假如一个模型有1万个顶点，则顶点着色器程序需要运行1万次，每次输入的顶点数据（包括法向量、纹理坐标等）是各不相同的。但是也有在这1万运行中保持不变的数据，比如在该模型的此次渲染期间，投影矩阵、视点矩阵不会改变，大多数情况下，灯光参数也不会改变。

对于一个模型的一次渲染，在GLSL140版本之前，将顶点着色器程序每次运行时都会改变的数据称之为attribute，将每次运行保持不变的数据称之为uniform，将着色器之间顺序传递的数据称之为varying——这就是所谓的存储限定符。

我们可以向着色器程序传入attribute类型的数据和uniform类型的数据，但不能传入varying类型的数据。下图描述了attribute、uniform和varying的作用和用法。

也许是为了强化渲染管线数据的数据输入输出概念，自GLSL140版本开始，存储限定符attribute和varying不再被推荐使用，取而代之的是in和out。显然，in和out与attribute和varying并不是一一对应的关系。

除了一直不变的uniform，以及后来增补的in和out之外，还有一个存储限定符const，用来向着色器传递只读变量。

6 布局限定符

从GLSL330版本开始，GLSL增加了一个新的概念：布局管理。布局管理使用一个新的限定符layout，用来设置着色器输入/输出变量接口布局。下面的例子使用layout为in变量设置了接口位置，可以在渲染时直接使用这些接口而无需通过访问着色器程序获取它们。

#version 330 core
layout(location=0) in vec4 a_Position;
layout(location=1) in vec4 a_Normal;
layout(location=3) in vec4 a_TexCoord;

如果变量是一个数组，则数组的每一个元素都会占据一个location的编号位置。下面的代码中，u_Matrix是一个长度为3的数组，所以它将占据5、6、7三个位置。

layout(location=5) uniform mat4 u_Matrix[3];

对于out变量，layout同样有效，且location的编号独立于in变量。

layout(location=0) out v_color;
layout(location=1) out v_TexCoord;

限定符layout的另一个用途是控制UBO（Uniform Buffer Object）数据块的布局，这需要另外几个布局限定符，见下表。

下面的代码，共享了一个uniform数据块，以行主序方式存储数据，多个限定符之间以逗号分隔。

layout(shared, row_major) uniform ublock_name {...};

需要特别说明的是，尽管在声明uniform数据块时已经提供了数据块的名字，但不能将数据块名视为uniform变量的父名称。这意味着不同的uniform数据块中如果存在相同的uniform变量名，就会造成编译错误。

7 内置变量

渲染管线各个环节之间依赖变量实现数据传递，类似于流水线作业：前一道工序的输出，就是后一道工序的输入。除了显式指定in或out属性的变量，渲染管线上各个着色器还有各自的内置变量，这些内置变量也同样具有in和out属性。

7.1 顶点着色器内置变量

7.2 细分控制着色器内置变量

7.3 细分估值着色器内置变量

7.4 几何着色器内置变量

7.5 片元着色器内置变量

7.6 计算着色器内置变量

8 常用内置函数

为了描述方便，对内置函数的参数类型和函数返回类型，特作约定如下表。

GLSL提供了数以百计的内置函数，门类齐全、功能之强大。本文将内置函数分为等基础函数、三角函数、矩阵函数、向量函数、噪声函数、纹理函数、图像函数、着色器函数和其他函数等九大类别，受限于个人能力，目前只完成了前五个类别，还有纹理函数、图像函数、着色器函数和其他函数等四类，以待后补。

8.1 基础函数

8.2 三角函数

8.3 矩阵函数

8.4 向量函数

8.5 噪声函数