1 数据类型

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

1.1 基本数据类型

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

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);

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 

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));

1.5 数组

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

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

2 操作符和优先级

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

3 流控制

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

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.2 分支结构

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

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

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

4 函数

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