Unity&Shader基础篇-Cg语法

时间:2023-02-06 22:00:19

转载请注明出处凯尔八阿哥专栏

1.2、Cg语法基础

  如C++、C#和Java等高级语言一样,Cg语言也有自己的数据类型和关键字。掌握和理解这些关键字是写好Cg程序的基础。

1.2.1、Cg的数据类型与关键字

基本数据类型:Cg支持7种基本的数据类型

1、float,32位浮点数据,一个符号位。浮点数据类型被所有的图形接口支持;

2、half,16位浮点数据;

3、int,32位整形数据

4,fixed,12位定点数,

5、bool,布尔数据,被所有的图形接口支持;

6、sampler*,纹理对象的句柄,分为sampler、sampler1D、sampler2D、sampler3D、samplerCUBE和samplerRECT。

内置的数据类型:基于基础数据类型,如float3,表示float类型的三维向量;同理,bool2表示布尔类型的二维向量。

注:向量最长不能超过四元,如float5  vector;//编译错误

向量的赋值,float2 a=float(1.0,1.0);       //编译通过

            float2 a=float(1.0f,1.0f);     //编译错误

            float3 b=float(a,0.0);            //编译通过

矩阵数据类型,float1X1 m1;                    //即float m1,一维矩阵

              float3X4 m34                    //3*4阶矩阵

注:X是字符,不是乘号,最大的维数为4*4阶

矩阵的初始化 float 2*2 m22={1.0,2.0,3.0,2.3};

float3 x和floatx[3]是不同的,前者为向量是内置的数据类型,而数组则是一种数据结构,不是内置的数据类型。

类型转换:Cg中的类型转换有强制转换和隐式转换;如果是隐式转换则数据类型从低精度向高精度转换。如:

           float a=1.0;

           half b=2.0;

           float c=a+b;      //等价于float c=a+(float)b;

Cg语言中可以对常量数据加上类型后缀表示该数据类型的数据,如:

           float a=1.0h;     //1.0h为half类型常量数据

这样的后缀类型有三种:

f:表示float;

h:表示half;

x:表示fixed;

Swizzle操作符:Cg语言中的其他操作符和高级CPU语言C++类似,包括关系操作符、逻辑操作符和位移操作符以及条件操作符。而Swizzle操作符是Cg语言中特有的,它可以将一个向量的成员取出组成一个新的向量。对于坐标或者角度等其他多维向量,Swizzle操作符(.)后接x、y、z、w分别表示原始向量的第一个、第二个、第三个和第四个元素;同样,对于颜色可以后接r、g、b和a来表示同样的索引。

例如:

              float4(a,b,c,d).xwz  等价于 float(a,d,c)

              float4(a,b,c,d).xxy  等价于 float(a,a,b)

注:Swizzle操作符只对结构体和向量使用,不能对数组使用。

输入数据关键字:Cg中输入数据流一般分为两类

1、varying 参数:在Cg程序中通过语义进行绑定变量, Cg语言提供了一组语义词,用以表示参数是由顶点的那些数据初始化的,一旦这个变量使用了语义词进行绑定,那么这个变量值被初始化的同时也意味着它有了特殊的含义,如表示位置、法线等含义。语义提供了一种使用随顶点变化或随片段变化而变化的值来初始化Cg程序参数的方法,这些数据都是从应用程序输入到GPU的数据,如顶点位置、法向量、纹理坐标数据等。

2、Uniform 参数:Uniform是用来限制一个变量的初始值的来源,当声明一个变量为Uniform类型的时候,表示这个变量的初始值来自于外部的其他环境。除了获取初始值的这点之外,Uniform关键字声明的变量和其他变量是完全一样的。通常用Uniform来定义一些与三维渲染有关的离散信息数据,并通常不会随着图元信息的变化而变化,如材质对光的反射信息。Uniform表示一个参数,通常使用uniform表示函数的形参,不能定义一个uniform表示的局部变量。

Unity的内置Uniform输入参数如下:

uniform float4 _Time, _SinTime, _CosTime; // 时间量

uniform float4 _ProjectionParams; // x = 1 or -1 (如果投影翻转就是-1)

// y = *面; z = 远平面; w = 1/远平面

uniform float4 _ScreenParams; // x = width; y = height; z = 1 +1/width; w = 1 + 1/height

 uniform float3_WorldSpaceCameraPos;

uniform float4x4 _Object2World; //模型矩阵

uniform float4x4 _World2Object; // 模型矩阵的逆

uniform float4 _LightPositionRange; // xyz = pos, w = 1/range

uniform float4 _WorldSpaceLightPos0; // 光源的位置和方向

uniform float4x4 UNITY_MATRIX_MVP; // 模型视图投影矩阵

uniform float4x4 UNITY_MATRIX_MV; // 模型视图矩阵

uniform float4x4 UNITY_MATRIX_V; // 视图矩阵

uniform float4x4 UNITY_MATRIX_P; // 投影矩阵

uniform float4x4 UNITY_MATRIX_VP; // 视图投影矩阵

uniform float4x4 UNITY_MATRIX_T_MV; // 模型视图矩阵的转置矩阵

uniform float4x4 UNITY_MATRIX_IT_MV; // 模型视图矩阵的逆矩阵的转置矩阵

uniform float4x4 UNITY_MATRIX_TEXTURE0; // 贴图纹理矩阵

uniform float4x4 UNITY_MATRIX_TEXTURE1; //贴图纹理矩阵

uniform float4x4 UNITY_MATRIX_TEXTURE2; //贴图纹理矩阵

uniform float4x4 UNITY_MATRIX_TEXTURE3; //贴图纹理矩阵

uniform float4 UNITY_LIGHTMODEL_AMBIENT; // 环境色

这些变量在Unity中可以直接使用,本章第三节中将会展现如何在Unity中使用这些内置的Uniform变量。

1.2.2、输入输出和语义

    输入输出:在第一节中我们了解到对于程图形渲染管线,可编程控制的部分只有两个,顶点着色器和片段着色器。对于编程控制这两个部分,首要的任务就是要怎么给它们传参数。Cg语言的参数传递同样也有“值传递”和“引用传递”之分。因为GPU不支持指针,所以Cg语言采用了如下的方式来修辞参数传递:

1、in:修辞一个形参只是用于输入,进入函数体时被初始化,且该形参值的改变不会影响实参值,传递方式为值传递。

2、out:修辞一个形参只是用于输出,进入函数体时没有被初始化,一般为函数的返回值。

3、inout:修辞一个形参即用于输入也用于输出,这是典型的引用传递。

语义:表示图元数据的含义(顶点的位置、法向量或者纹理信息),也表明这些图元数据存放的硬件资源。因为顶点着色器的输出即是片段着色器的输入,所以顶点着色器的输出必须和片段着色器的输入语义是一致的。语义是顶点程序和片段程序之间输入\输出数据和寄存器之间的桥梁,因此语义只对这两个处理阶段有意义,并且只在入口函数才有效,在内部函数无效。语义概念的提出和图形流水线工作机制大有关系。从前面所讲的GPU 处理流程中可以看出,一个阶段处理数据,然后传输给下一个阶段,那么每个阶段之间的接口是如何确定的呢?例如:顶点处理器的输入数据是处于模型空间的顶点数据(位置、法向量),输出的是投影坐标和光照颜色;片段处理器要将光照颜色做为输入,问题是“片段处理器怎么知道光照颜色值的存放位置”。在高级语言中(C/C++),数据从接口的一端流向另一端,是因为提供了数据存放的内存位置(通常是指针信息);由于Cg 语言并不支持指针机制,且图形硬件处理过程中,数据通常暂存在寄存器中,故而在Cg 语言中,通过引入语义绑定(binding semantics)机制,指定数据存放的位置,实际上就是将输入\输出数据和寄存器做一个映射关系(在OpenGL Cg profiles 中是这样的,但在DirectX-based Cgprofiles 中则并没有这种映射关系)。根据输入语义,图形处理器从某个寄存器取数据;然后再将处理好的数据,根据输出语义,放到指定的寄存器。

语义词和语义绑定:Unity的顶点着色器(程序)中常用的语言词有如下:

1、POSITION\SV_POSITION :模型坐标的位置,

2、TANGENT:正交于表面法线的向量

3、NORMAL:表面法线向量,需要进行归一化

4、TEXCOORDi:第i组纹理坐标(也即UV坐标,坐标范围在0~1之间),i是0~7中的一个数字

5、COLOR:颜色

6、PSIZE:点的大小

7、BLENDINDICES:通用属性,可以用它和TANGENT来替换TEXCOORDi

注:SV_POSTION和POSTION的唯一区别是用在顶点着色器中作为输出语义时,SV_POSTION表示的顶点位置会被固定,不能被改变。如果作为片段着色器的输入语义就是一样的,都可以被改变。

顶点着色器的输出语义词有:

1、COLOR:颜色

2、FOG:输入雾坐标

3、PSIZE

4、 POSITION

5、TEXCOORD0-TEXCOORD7

片段着色器的输入语义即为顶点着色器的输出语义。

片段着色器的输出语义如下:

1、COLOR:颜色

2、DEPTH:片段的深度

语言绑定的三种方法:

1、绑定语义放在函数的参数列表的参数声明后面中:

[const][in|out|inout|uniform]<type><identifier>[ :<binding-semantic>][=<initializer>]
void vert(float4 obj_position:POSITION,
float4 obj_normal:NORMAL,
out float4 outPos:POSITION,
uniform float4 uColor:COLOR
{
...
}

其中,const作为可选项,const修饰符同C和C++语言里的一样,表示这个变量的值是不能改变的;in、out、inout作为可选项,说明数据的调用方式;

uniform也是可选项,表示变量的值的初始化是来自外部应用程序;type是必选项,声明数据的类型;identifier是必选项,形参变量名:一个冒号“:”加上一个绑定语义,是可选项;最后是初始化参数,是可选项。

参数1、2、5绑定到输入语义;参数3、4绑定到输出语义;尽管参数1和3的绑定语义词一样,但前者是输入语义,后者是输出语义,所以这两个参数数据所对应存储的硬件位置是不一样的。

2、绑定语义可以放在结构体的成员变量后面:

Struct<struct-tag>
{

<type><identifier>[:binding-semantic>];

};。

如在结构体vertexOutput中两个成员变量分别绑定语义SV_POSITOIN和TEXCOORD0,这个结构体在顶点程序vert中作为输出,为顶点程序的输出语义,同时顶点程序的输入即是片段程序的输入,该结构体也为片段程序的输出语义。


struct vertexOutput {
float4 pos : SV_POSITION;
float4 col : TEXCOORD0;
};
vertexOutput vert(appdata_full input)
{
vertexOutput output;

output.pos = mul(UNITY_MATRIX_MVP, input.vertex);
output.col = input.texcoord;

return output;
}

float4 frag(vertexOutput input) : COLOR
{
return input.col;
}

3、绑定语义词可以放在函数声明的后面,其形式为: 


<type> <identifier> (<parameter-list>) [:<binding-semantic]
{
<body>
}

如下面的代码中,片段程序的后面带有“COLOR”语义,表示该程序最后要返回一个颜色的值给GPU,所以在最后,返回的变量值类型是float4类型的。那这里为什么不直接使用float4呢,语义绑定,顾名思义绑定的变量是要有含义的,直接使用发咯float4就不能理解它到达表示什么含义,因为float4类型的变量可以是颜色、位置等。

float4 frag(vertexOutput input) : COLOR 
{
float4 oColor =float4(1,0,0,1);
return oColor;
}