OpenGL着色器语言4.1.7.2（图片类型）-4.1.8（结构体类型）

4..1.7.2 图片

图片类型是不透明类型，声明和表现如上所述。它们可以被使用内存限定符进一步限定。当被组装进一个着色器中的数组中时，图片只能通过一个uniform整式被查找，否则结果是undefined.

图片变量有处理所有或 绑定到一个图片单元的纹理图片的一个级别的一部分的1,2,3维的图片。每种纹理类型有不同的图片类型对应那些级别绑定到图片单元的纹理 的目标，或无层的3D绑定或者图片数组应该使用那些与图片（例如，3D的一个层，2D数组，立方体，或者立方体数组应该使用image2D,1D数组应该使用imageID,2DMS数组的一个层应该使用image2DMS）。层的维度对应的图片类型。如果图片目标类型不以这种方式与绑定的图片对应，如果数据类型与绑定的图片不匹配，又或者格式化布局限定符与8.25节“纹理图片加载与存储”中描述的图片单元格式匹配，则对图片访问的结果是undefined但是不会引起程序终止。

图片变量用于图片加载，存储，和8.12节“图片函数”中描述的原子函数指定一个要访问的图片。

4.1.7.3 原子计数器

原子计数器类型（atomic_unit）是对计数器的不透明处理，定义和表现如上对不透明类型所述。这些变量声明指定当使用如8.10节“原子计数函数”中描述的内置原子计数函数时访问哪个计数器。 它们按照  4.4.6.1节中“原子计数器布局限定符”所描述 的方式绑定到缓冲区。当被组装进一个着色器中的数组中时，原子计数器只能通过uniform整式查找，否则将返回undefined。结构体成员不可以被声明为原子计数器类型。

4.1.8 结构体

用户自定义类型可以通过使用关键字struct，将其它已定义的类型组合到结构体中来创建。

例如

struct light {
float intensity;
vec3 position;
} lightVar;

在这个例子中，light变为一个新类型的名字，并且lightVar变为一个light类型的变量。声明这个新类型的变量，可以使用它的名字（不使用struct关键字）

light lightVar2;

更正式的讲，结构体按照如下形式声明。完全正确的语法在第9节“着色器语法”中被给出。

结构体定义：

限定符（可选）struct 名称（可选）{成员列表}被声明的变量（可选）;

成员列表：

成员声明；

成员声明 成员列表

成员声明：

基本类型声明的变量；

名称变为新的用户自定义类型，并且可以用于声明新类型的变量。

这个名称与其他名称共享名字空间，类型和函数。所有之前的可见的变量，类型，构造函数，或者函数都变为隐藏的。限定符选项只提供给被声明的变量，并且不是被定义类型名字的一部分。

结构体最少要有一个成员成名。成员声明变量可以包含精度限定符，使用其它任何一种限定符都会产生一个编译期错误。不支持位字段。成员类型必须是已经被定义的。

如果成员变量声明时被初始化，会产生一个编译期错误。成员变量可以包含数组。这样的一个数组必须指定大小，并且这个大小必须是一个大于0的整型常量表达式（见4.3.3"常量表达式"）。每个级别的结构体有其自己的名字空间，在成员变量中被给定。这样的名字在名字空间中应该是唯一的。

不支持匿名结构体。也不支持内嵌结构体。这些都会产生一个编译期错误。

struct S { float f; };
struct T {
S; //错误: 不允许匿名结构体
struct { ... }; // 错误: 不允许有内嵌结构体
S s; // 可以: 使用名字的嵌套结构体是允许的。
};

结构体可以再声明时通过构造函数被初始化，在5.4.3节”结构体构造函数“中进行描述。

任何关于一个类型或限定符的限制，也同样适用于任何包含一个次类型成员的结构体。这也递归地适用于成员类型是结构体的结构体。

PS：今天玩的比较晚，先少翻点，最近感觉此说明书中有大量的专属名词，需要在理解全部说明书后，回头修改，有很多翻译必然有错误，或者成篇不通顺的地方。最终在全书翻译完后，都会统一过一次。进行修正。部分非常不通顺和难于理解的部分已经使用红色标记出来。便于后续优先修改。