Unity Shader核心函数实战：从数学运算到光照模型

1. 项目概述为什么Shader函数是图形程序员的“瑞士军刀”如果你在Unity里鼓捣过Shader或者被那些眼花缭乱的材质效果吸引过那你一定绕不开一个核心概念Shader函数。这玩意儿就像是图形程序员的“瑞士军刀”从最基础的加减乘除到构建复杂的光照模型每一步都离不开它。很多人学Shader一上来就对着复杂的物理公式和渲染管线图发懵其实大可不必。在我看来Shader编程的本质就是学会调用和组合这些内置的“工具函数”把数学计算变成屏幕上看得见的光影。我刚开始接触Unity Shader时也犯过不少错误。比如想做一个水面波光粼粼的效果自己吭哧吭哧用一堆复杂的三角函数去模拟结果性能卡顿不说效果还特别假。后来才发现Unity内置的sin、frac、lerp这些函数组合起来几下就能搞定而且效率高得多。再比如光照计算很多人觉得漫反射、高光反射公式很难其实核心就是几个点乘、归一化和指数运算Unity的dot、normalize、pow函数就是为此而生的。理解并熟练运用这些函数是从“Shader新手”到“能做出自己想要效果”的关键一步。这篇指南的目的就是帮你系统地梳理Unity Shader中那些最常用、最核心的函数。我们不空谈理论而是聚焦于“实战”这个函数能解决什么具体问题在什么场景下用怎么和其他函数搭配我会结合我这些年做项目时实际用到的案例从最简单的数学运算开始一步步带你走到复杂的光照计算让你手里这把“瑞士军刀”的每一片刀刃都变得锋利而称手。2. 核心思路构建从数据到视觉的“函数流水线”写Shader尤其是片段着色器Fragment Shader本质上是在构建一条“数据处理流水线”。你的输入是顶点数据、纹理坐标、法线、光照信息等一堆原始数据而输出是一个颜色值fixed4。这条流水线上的每一个加工环节就是一个或一组函数的调用。2.1 理解Shader函数的分类与作用域Unity ShaderLab中的函数主要分为两大类内置函数Built-in Functions和自定义函数。内置函数是Unity或者说底层图形API如HLSL/GLSL提供给我们直接使用的它们经过高度优化稳定且高效。自定义函数则是我们自己封装的逻辑块目的是让代码更清晰、可复用。从作用域来看函数主要在片段着色器中扮演核心角色。顶点着色器当然也会用函数但更多的是进行坐标变换如mul(UNITY_MATRIX_MVP, v.vertex)其计算频率相对较低每个顶点一次。而片段着色器中的函数会针对屏幕上每一个像素或片元执行计算频率极高因此这里函数的选择和优化至关重要。一个不恰当的函数或计算在片段着色器里可能就会引发严重的性能问题。我的核心思路是用内置函数搭建主干用自定义函数封装复杂逻辑。不要试图去重写一个内置的、已经优化到极致的数学函数比如自己写一个smoothstep那是费力不讨好。应该把精力放在如何巧妙地组合这些“乐高积木”上去实现特定的视觉效果。同时将一段重复出现或逻辑复杂的代码块封装成自定义函数能让你的Shader代码像写C#一样清晰可维护。2.2 实战驱动的学习路径设计我见过很多教程一上来就罗列几十个函数原型看得人头大看完就忘。我们换一种方式按“需求场景”来学。我们的学习路径将沿着一条自然的渲染逻辑展开基础加工数学运算拿到原始数据如UV、时间首先要进行加工。这里需要sin,cos,frac,abs等函数来制作动画、产生重复图案。混合与插值颜色/值操作加工出不同的数据或颜色后需要将它们融合。lerp(线性插值) 是这里当之无愧的王者堪称Shader中最常用的函数之一。空间与向量计算图形构建要绘制形状、计算距离、处理法线离不开向量函数。dot点积、cross叉积、normalize归一化、reflect反射是构建视觉世界的几何基础。光照模拟核心渲染这是Shader的“高光”时刻。我们将运用前面所有的知识使用dot,pow,max,saturate等函数来模拟光线与物体表面交互的物理现象实现兰伯特漫反射、冯氏高光等经典模型。这条路径的每一个环节都是后一个环节的基础。当你理解了如何用sin和frac制作流动的UV自然就能想到用这个UV去采样纹理再用lerp混合多个纹理最后将混合结果代入光照公式进行计算。这就是一个完整的、简单的Shader效果实现流程。3. 第一站数学运算函数——制造动态与秩序的基石任何动态或是有规律的视觉效果其源头几乎都是数学。Shader中的数学运算函数就是我们将“时间”、“坐标”这些抽象变量转化为“运动”、“图案”这些具体视觉元素的工具。3.1 周期性函数让画面“动”起来sin和cos是制造周期性变化的绝对主力。它们的输入是一个角度值通常用弧度输出在[-1, 1]之间平滑振荡。在Shader里我们很少直接输入一个固定角度而是将时间_Time.y或位置像素的x或y坐标作为输入。// 示例基于时间的简单脉动效果 float pulse sin(_Time.y * _Speed) * 0.5 0.5; // 将输出从[-1,1]映射到[0,1]这里_Time.y是Unity内置的时间变量以秒为单位_Speed是一个控制振荡速度的属性。sin(_Time.y * _Speed)会产生一个随时间在-1到1之间变化的值。后面的* 0.5 0.5是一个常用的重映射技巧将输出范围转换到[0, 1]更适合用来控制颜色或透明度等通常需要正值的参数。实操心得_Time是一个float4变量其四个分量分别是(t/20, t, t*2, t*3)。大多数情况下我们使用_Time.y即t作为基础时间就足够了。使用不同的分量可以方便地获得不同频率的时间信号无需自己额外计算。frac函数也极其重要它返回输入值的小数部分。这听上去简单但却是创造无缝平铺图案的关键。// 示例创建棋盘格图案 float2 tiledUV frac(input.uv * _TileCount); float checkerboard step(0.5, (step(0.5, tiledUV.x) step(0.5, tiledUV.y)) % 2.0);这里input.uv * _TileCount将UV坐标放大frac之后无论UV值多大tiledUV始终被限制在[0, 1)区间内从而实现了无限重复。结合step函数下文会讲就能生成经典的棋盘格。3.2 插值与平滑让过渡更自然lerp(Linear intERPolation) 可能是整个Shader编程中使用频率排名第一的函数。它的作用是在两个值标量、向量、颜色皆可之间进行线性插值。// 函数原型lerp(a, b, t) // 当 t0 时返回 a当 t1 时返回 b当 t 在(0,1)之间时返回 a 和 b 之间的线性混合值。 float3 color lerp(_ColorA.rgb, _ColorB.rgb, _BlendFactor);它的强大之处在于第三个参数t可以来自任何计算时间、噪声、深度、视角方向等等。你可以用它来混合两种颜色、两张纹理、两种材质属性甚至是两个完全不同的计算路径的结果。smoothstep是lerp的黄金搭档。它接收三个参数smoothstep(edge0, edge1, x)。当x edge0时返回0当x edge1时返回1在edge0到edge1之间时返回一个平滑的Hermite插值结果0到1。这完美解决了step函数非0即1边缘生硬的问题。// 示例创建平滑的圆形遮罩 float2 center float2(0.5, 0.5); float distanceFromCenter length(input.uv - center); float smoothCircle 1.0 - smoothstep(_Radius - _Feather, _Radius _Feather, distanceFromCenter);这里_Feather控制了边缘羽化的范围。smoothstep生成了一个从1圆心到0圆外的平滑过渡用它来乘以颜色或透明度就能得到一个边缘柔和的圆形光斑或遮罩。注意事项lerp在HLSL和GLSL中名称一致但在某些旧的教程或Shader中你可能会看到mix这是GLSL中lerp的别名。在Unity的Surface Shader或CG/HLSL片段中放心使用lerp。3.3 常用工具函数取舍与限制abs/sign/floor/ceil/round这些函数和在其他编程语言中一样用于取绝对值、符号、向下/向上取整、四舍五入。在制作像素风、创建离散化效果时很有用。max/min/clamp用于限制值的范围。clamp(x, a, b)确保x被限制在[a, b]区间内是防止计算溢出或得到非法值的常用手段尤其是在光照计算后经常用clamp或saturate将颜色值限制在合理范围。saturate这是一个特别常用的函数等同于clamp(x, 0.0, 1.0)。因为颜色和许多系数都在0到1之间saturate用起来非常方便。stepstep(edge, x)如果x edge返回1否则返回0。是创建硬边遮罩、二值化图案的利器前面棋盘格的例子就用到了它。一个综合案例流动的熔岩纹理假设我们想模拟地面熔岩缓慢流动的效果。我们可以这样组合函数使用_Time.y和sin函数生成一个缓慢变化的“相位”。对UV坐标进行扭曲uv.x sin(uv.y * _Frequency phase) * _Amplitude。使用扭曲后的UV去采样一张噪波纹理得到基础颜色colorNoise。使用另一个基于时间的sin函数生成一个pulse值0到1之间振荡。用lerp函数以pulse为系数在colorNoise和一种亮红色 (_LavaColor) 之间混合finalColor lerp(colorNoise, _LavaColor, pulse)。最后可以用smoothstep根据噪波纹理的某个通道如红色通道的值来让熔岩的“亮边”更加突出和光滑。这个简单的例子展示了如何将时间、数学函数、纹理采样和插值函数串联起来创造一个动态的视觉效果。关键在于你不是在“发明”数学而是在“指挥”这些数学函数为你工作。4. 第二站向量与几何函数——构建视觉空间当我们需要处理方向、距离、角度时就进入了向量函数的领域。这些函数是连接“数据”与“三维空间感知”的桥梁是光照计算的前置知识。4.1 向量基础运算点积与叉积点积dot是Shader中最重要的运算之一没有之一。它的几何意义是一个向量在另一个向量方向上的投影长度。在渲染中它最直观的应用就是计算夹角余弦。float cosTheta dot(normalize(A), normalize(B));如果A和B都是单位向量长度为1那么dot(A, B)的结果就是它们之间夹角的余弦值cos(θ)。当向量方向相同时点积为1垂直时为0相反时为-1。这个特性被广泛应用于漫反射光照计算光线方向与法线方向的夹角余弦值越大夹角越小表面越亮。菲涅尔效应计算视线方向与表面法线的夹角用于边缘高光。遮罩生成比如用点积判断一个点是否在某个锥形视野内。叉积cross的结果是一个新的向量垂直于原来的两个向量所在的平面。它的长度等于两个向量构成的平行四边形的面积。在Shader中一个常见用途是在片段着色器中重新构造切线空间。// 假设我们只有法线向量 normal 和 一个上方向向量如世界空间的上向量 float3 worldUp float3(0, 1, 0); float3 tangent normalize(cross(worldUp, normal)); float3 bitangent cross(normal, tangent); // 副切线有时也叫binormal这样我们就从法线normal推导出了相互垂直的tangent和bitangent向量构成了一个切线空间矩阵常用于法线贴图的计算。4.2 距离与归一化空间感知的关键length函数计算向量的长度模。它最直接的应用就是计算两点间的距离。float dist length(objectPos - _Center.xyz); float fade 1.0 - smoothstep(_MinDist, _MaxDist, dist); // 距离中心越远fade值越小这个模式常用于创建球形衰减、雾效、基于距离的溶解等效果。normalize函数将一个非零向量转换为单位向量长度为1方向保持不变。这是一个极其重要且容易被忽略性能的操作。在进行点积等需要方向而非长度的计算前务必确保向量是归一化的。// 错误示范直接对可能非单位长的向量做点积 float ndotl dot(worldNormal, lightDir); // lightDir 如果未归一化结果将包含长度信息导致光照错误 // 正确示范先归一化 float ndotl dot(normalize(worldNormal), normalize(lightDir));性能与实操心得normalize(v)在内部相当于v / length(v)包含了一次开方运算sqrt在片段着色器中是相对昂贵的操作。因此一个重要的优化原则是尽可能在顶点着色器中进行归一化或者确保传入片段着色器的向量已经是归一化的。例如Unity的内置变量_WorldSpaceLightPos0.xyz平行光方向通常已经是归一化的。对于由顶点着色器插值而来的法线由于线性插值会破坏其单位长度必须在片段着色器中重新normalize这个开销是必要的。4.3 反射与折射模拟光滑表面reflect函数根据入射方向I和表面法线N单位向量计算反射方向R。公式为R I - 2.0 * dot(N, I) * N。这是实现镜面反射、环境映射如Cubemap的核心。float3 viewDir normalize(_WorldSpaceCameraPos - worldPos); // 视线方向指向相机 float3 reflectDir reflect(-viewDir, worldNormal); // 注意第一个参数是入射方向从表面指向光源。对于视线是 -viewDir float4 envColor texCUBE(_Cubemap, reflectDir); // 采样环境贴图refract函数则根据入射方向I、法线N和折射率比值eta通常为n_i / n_t入射介质折射率除以透射介质折射率计算折射方向。用于模拟水、玻璃等透明介质的折射效果。但注意当发生全反射时根据斯涅尔定律refract函数会返回一个零向量需要特殊处理。这些向量函数是构建复杂视觉效果的基础组件。它们单独看可能有些抽象但一旦与具体的渲染目标如光照结合其威力就立刻显现出来。5. 第三站光照计算函数实战——点亮你的场景光照是Shader的灵魂它让物体从单调的色块变成具有体积感和质感的实体。现代光照模型虽然复杂但其核心计算依然依赖于我们前面介绍的数学和向量函数。5.1 漫反射光照兰伯特模型兰伯特Lambert漫反射模型认为表面反射的光强与光线入射方向和表面法线夹角的余弦值成正比。这完美契合了点积的几何意义。// 简化版片段着色器中的漫反射计算 fixed4 frag (v2f i) : SV_Target { // 假设数据已从顶点着色器传递并处理 float3 worldNormal normalize(i.worldNormal); // 世界空间法线 float3 lightDir normalize(_WorldSpaceLightPos0.xyz); // 平行光方向 float3 viewDir normalize(_WorldSpaceCameraPos.xyz - i.worldPos); // 视线方向 // 兰伯特漫反射系数 float lambert max(0.0, dot(worldNormal, lightDir)); // 计算漫反射颜色 fixed3 diffuse _LightColor0.rgb * _DiffuseColor.rgb * lambert; // 与环境光结合 fixed3 ambient UNITY_LIGHTMODEL_AMBIENT.rgb * _DiffuseColor.rgb; fixed3 finalColor diffuse ambient; return fixed4(finalColor, 1.0); }这里有几个关键点max(0.0, ...)点积结果可能为负光线从背面照射对于漫反射负值没有物理意义所以用max将其钳制到0。这等价于saturate(dot(...))因为点积结果在[-1,1]之间saturate会将其映射到[0,1]。_LightColor0和_WorldSpaceLightPos0这是Unity为前向渲染路径中最重要的平行光提供的内置变量分别包含了光的颜色和位置/方向。UNITY_LIGHTMODEL_AMBIENT内置的环境光颜色。常见问题为什么我的模型背光面是全黑的因为你可能只计算了直接漫反射光。在真实世界中光线会经过多次反弹。添加环境光项ambient是最简单的模拟方法可以让背光面不至于一片死黑。更高级的做法是使用全局光照GI或光照探针。5.2 高光反射冯氏与Blinn-Phong模型漫反射让物体被照亮而高光Specular则赋予了物体“光泽感”。最经典的模型是冯氏Phong和Blinn-Phong模型。冯氏模型计算反射光线R与视线方向V的夹角。float3 reflectDir reflect(-lightDir, worldNormal); float specular pow(max(0, dot(viewDir, reflectDir)), _Gloss);Blinn-Phong模型计算半角向量H光线方向L与视线方向V的中间向量与法线N的夹角。它在计算上更高效且高光效果更柔和、更符合一些物理观察。float3 halfDir normalize(lightDir viewDir); float specular pow(max(0, dot(worldNormal, halfDir)), _Gloss);两者都使用了pow函数。_Gloss是高光指数控制高光的集中程度。值越大高光点越小越锐利材质看起来越“光滑”或“坚硬”如陶瓷值越小高光范围越大越柔和材质看起来越“粗糙”如布料。fixed3 specularColor _LightColor0.rgb * _SpecularColor.rgb * specular; finalColor ambient diffuse specularColor;5.3 实战整合一个完整的基础光照Shader让我们将漫反射、高光和环境光整合到一个简单的表面着色器Surface Shader中这是Unity中编写光照Shader的一种高效方式。Shader Custom/MyBasicLighting { Properties { _DiffuseColor (Diffuse Color, Color) (1,1,1,1) _SpecularColor (Specular Color, Color) (1,1,1,1) _Gloss (Gloss, Range(8.0, 256)) 20 } SubShader { Tags { RenderTypeOpaque } CGPROGRAM #pragma surface surf BlinnPhong fixed4 _DiffuseColor; fixed4 _SpecularColor; float _Gloss; struct Input { float2 uv_MainTex; }; void surf (Input IN, inout SurfaceOutput o) { // 这里假设我们使用一个纯色实际中可能会采样纹理 o.Albedo _DiffuseColor.rgb; o.Specular _SpecularColor.rgb; o.Gloss _Gloss; // Surface Shader中Gloss控制高光指数 } ENDCG } FallBack Diffuse }这个Shader虽然短但Unity在背后为我们生成了包含完整Blinn-Phong光照模型计算的顶点和片段着色器。SurfaceOutput结构体的Albedo、Specular、Gloss成员正是我们提供给光照计算函数的参数。注意事项在Surface Shader中o.Gloss的用法有时会让人困惑。在一些光照模型如BlinnPhong中它直接作为高光指数shininess。而在标准的Standard或StandardSpecular光照模型中它可能表示光滑度smoothness范围0-1用于控制高光大小和反射强度。务必查阅对应光照模型的文档。5.4 进阶函数与技巧saturate在光照中的核心地位几乎所有的光照系数lambert,specular在参与最终颜色计算前都应该用saturate或max(0, ...)限制在非负范围。否则负值会导致颜色异常破坏渲染结果。step与smoothstep制作卡通渲染卡通渲染Cel Shading的核心是将连续的光照强度离散化为几个色阶。这可以用step来实现硬边或用smoothstep实现带平滑过渡的色阶。// 简单的三阶卡通漫反射 float lambert dot(worldNormal, lightDir); float cel 0.0; cel step(0.2, lambert); // 第一阶 cel step(0.5, lambert); // 第二阶 cel step(0.8, lambert); // 第三阶 cel cel / 3.0; // 归一化到 ~[0,1]使用lerp混合不同光照模型你可以根据距离、视角或表面参数用lerp函数平滑地在不同光照计算方式之间切换。例如近处使用复杂的PBR模型远处使用简化的兰伯特模型以提升性能。光照计算是Shader函数应用的集大成者。它要求你清晰地理解向量空间世界空间、切线空间、熟练运用点积与插值并对能量守恒漫反射高光环境光 入射光能有基本概念。从简单的兰伯特开始逐步加入高光、纹理、法线贴图你会发现自己正一步步搭建起一个逼真的渲染世界。6. 函数性能优化与调试实战知道了函数怎么用还得知道怎么用得“好”。在片段着色器中一个不必要的计算被放大到每个像素后其性能影响是巨大的。6.1 性能优化黄金法则将计算上移到顶点着色器这是最重要的优化原则。如果一个计算结果在相邻像素间变化不大如基于模型顶点位置的计算就在顶点着色器中算好然后通过插值器v2f结构体传递给片段着色器。片段着色器读取插值结果的开销远低于重复执行复杂计算。// 顶点着色器中计算世界空间位置 o.worldPos mul(unity_ObjectToWorld, v.vertex); // 片段着色器中直接使用避免每个像素都做一次矩阵乘法 float3 viewDir normalize(_WorldSpaceCameraPos - i.worldPos);警惕片段着色器中的昂贵操作sin,cos,pow,exp,log这些是超越函数相对昂贵。避免在片段着色器中无节制地使用尤其是循环体内。sqrt,rsqrt,length,normalize涉及开方和除法。normalize内部就包含length和除法。分支语句if/elseGPU是并行架构同一波束warp内的所有线程通常需要执行相同的指令。分支可能导致“线程发散”显著降低性能。尽量用数学函数替代简单分支例如用step或saturate实现条件逻辑。使用内置函数和宏Unity提供了大量优化过的内置函数和宏如UnityWorldSpaceViewDir,UnityWorldSpaceLightDir等它们会帮你处理一些空间转换和归一化有时还包含平台相关的优化比自己写的代码更可靠。6.2 Shader调试眼见为实Shader调试不像C#代码可以设断点我们主要依靠“可视化”来调试。颜色输出法将你想查看的中间变量如法线、光照系数、UV等直接作为颜色输出。// 检查法线是否正确 return fixed4(worldNormal * 0.5 0.5, 1.0); // 将[-1,1]的法线映射到[0,1]的颜色空间 // 检查UV return fixed4(i.uv, 0, 1); // 检查兰伯特系数 return fixed4(lambert, lambert, lambert, 1);通过观察输出的颜色你可以判断向量方向是否正确、数值范围是否在预期内。Unity Frame Debugger这是Unity内置的强大工具。你可以截取一帧渲染过程查看每个Draw Call的详细状态包括使用的Shader、传递的参数、渲染目标等。这对于理解渲染流程和排查“为什么这个物体没显示”之类的问题非常有用。RenderDoc 或 NVIDIA Nsight Graphics这些是更底层的图形调试器。它们可以捕获一帧完整的GPU调用让你看到每个渲染Pass后的缓冲区内容精确到每个像素的输入输出值。这是解决复杂渲染问题如混合错误、深度测试问题的终极武器。6.3 常见函数使用陷阱排查问题模型边缘出现不正常的黑边或亮边。排查首先输出世界空间法线颜色检查是否在边缘处法线突然变化或出现异常值如纯黑。这通常是由于顶点法线插值问题或在错误的空间进行计算导致的。解决确保在片段着色器中对插值后的法线进行重归一化normalize。确保所有参与点积运算的向量法线、光线方向、视线方向都在同一坐标系下通常是世界空间。问题高光闪烁或位置不对。排查分别输出视线方向viewDir、反射方向reflectDir或半角向量halfDir作为颜色。检查在相机移动时这些向量的变化是否平滑连续。解决最常见的原因是向量未归一化或者_WorldSpaceCameraPos和顶点世界坐标worldPos的精度问题。确保所有方向向量都已normalize。对于高光指数_Gloss尝试使用pow(max(0.0001, dotResult), _Gloss)避免对0求幂导致未定义结果。问题使用lerp混合纹理时边缘有接缝。排查检查用于混合的系数t的来源。如果t是基于世界空间位置或法线在模型接缝处UV边界这些值可能不连续。解决考虑使用模型局部空间坐标或基于纹理本身采样的值如一张遮罩贴图的灰度作为混合系数以确保连续性。函数是Shader这座大厦的砖瓦。从最基础的数学运算到构建复杂的光照模型每一步都离不开对这些“砖瓦”特性的深刻理解与巧妙运用。我建议的学习方法是先模仿后创造。找到一些优秀的Shader示例一行行去读思考每个函数在这里的作用尝试修改参数看效果变化。然后从一个简单的效果开始比如一个会脉动的颜色尝试自己实现逐步增加复杂度比如加上纹理、加上简单光照。在这个过程中你会逐渐建立起对Shader函数组合的直觉最终能够自由地创造出心中所想的视觉效果。记住所有复杂的炫技都源于对基础函数的熟练掌握。