做图形渲染这些年最常被问到的一个问题不是PBR公式怎么推导而是URP里一个三角形是怎么变成屏幕上像素的片元着色器里那些法线、UV、世界坐标到底是从哪冒出来的说实话这个问题比想象中重要因为你在调Shader时遇到的90%的诡异现象最终都能追溯到光栅化和片元这两步上。这篇文章就以Unity URP为例从顶点着色器输出之后讲起一直讲到片元着色器输出颜色中间的光栅阶段、透视校正插值、URP的Pass与光照数据全都拆开讲。最后会带着你写一个带菲涅尔边缘光的URP片元着色器每一步对应渲染管线里的哪个环节都能一一对上。不管你是刚从内置管线迁到URP还是第一次手写ShaderLab这碗底料都够你吃一阵了。1. 光栅阶段三角形是怎么变成片元的很多人以为顶点着色器跑完之后三角形就直接画上去了中间最多自动插值一下。但实际上GPU在顶点和片元之间要处理的事情相当多而且全部是硬件固定管线完成的你没有办法在Shader里去改写它。光栅阶段做的事情如果用一句话概括就是把3D空间里的三角形变成2D屏幕上被覆盖的采样点并为每个采样点生成一组插值后的顶点属性。1.1 顶点着色器退出之后裁剪、透视除法与视口变换顶点着色器输出的SV_POSITION是裁剪空间下的齐次坐标。这个坐标不是直接的屏幕坐标它后面还压着三件事裁剪clip、透视除法perspective divide、视口变换viewport transform。裁剪负责处理三角形超出视锥体的情况。比如一个三角形有一半跑到相机后面去了GPU会拿近裁剪面把它切掉剩下的部分重新组成一个或者多个三角形。这一步是硬件在做你在Unity里一般感知不到但一旦你在顶点着色器里手写了不正确的投影矩阵把w输出成了负数或者0裁剪阶段就会给你脸色看——三角形要么消失要么在屏幕上产生撕裂般的错误。透视除法算是这阶段最核心的一步。裁剪空间坐标(x, y, z, w)整体除以w之后得到NDC坐标。对D3D和Metal这类API来说NDC的x和y落在[-1, 1]z落在[0, 1]。这一步把视锥体里的透视投影变成了一个标准化的立方体方便后续映射到屏幕。如果顶点输出时w恒为1那透视除法等于没做画面就变成了正交投影效果——这就是很多人想写透视却写出正交时最常见的原因。最后是视口变换GPU把NDC坐标映射到实际的屏幕像素坐标。一个1920x1080的窗口NDC的x-1对应屏幕x0x1对应屏幕x1920。这一步结束三角形的三个顶点才终于有了屏幕上的坐标。这里有个实用的建议在Unity里写URP Shader顶点位置输出尽量用GetVertexPositionInputs或者UnityObjectToClipPos这类内置函数不要自己拿一个投影矩阵手动乘。因为UNITY平台抽象层已经在里面做了D3D和OpenGL的NDC差异处理你自己手算很容易在某台设备上翻车。1.2 三角形覆盖测试片元不是像素拿到了三个屏幕坐标之后GPU开始真正光栅化。它会对每个三角形计算三条边的直线方程edge function然后用屏幕上每个像素中心点去检测这个点到底在不在三角形内部。如果三条边的检测结果都满足条件这个像素就被标记为被覆盖。为了提高效率GPU会先算三角形的包围盒只在这个包围盒范围内遍历像素不会傻乎乎地检测整块屏幕。你可以把它想象成用一把三角形尺子在网格纸上比划先框出大概范围再逐格确认哪些格子被盖住。这里必须强调一个概念光栅阶段产生的是片元fragment不是最终像素。片元只是一个候选它还要经过深度测试、模板测试、颜色混合等后续环节才有资格真正写入帧缓冲。一个三角形盖住的像素可能有一万个但最终因为深度测试被挡住的片元也可能有九千个。这也是为什么Overdraw会成为性能指标——被遮挡的片元虽然不显示但片元着色器已经跑过了那个开销已经实实在在花掉了。如果开了MSAA情况会更细一层。每个像素会有多个采样点每个采样点都要单独做覆盖测试和插值。在4x MSAA下一个像素边缘有4个采样点参与判断得到的画面边缘自然比单个像素中心判断要平滑得多。代价就是光栅化和片元着色器的工作量都上升了所以移动端经常会权衡是否开MSAA。1.3 透视校正插值片元属性怎么从顶点长出来三角形覆盖检测做完之后GPU要为每个被覆盖的片元生成一份自己的顶点属性UV、法线、世界坐标、顶点色等等。这项工作被称为插值但它绝不是简单的屏幕空间线性平均。最经典的错误例子是一个巨大的地面三角形近处UV跨度小远处UV跨度大。如果你在屏幕空间里直接对UV做线性插值远处的贴图会被拉得扭曲变形就像PS1时代那种贴图在画面上扭动的经典错误。原因在于屏幕空间等距的像素步长对应的世界空间步长并不相同——近处一个像素只覆盖一小块地面远处一个像素却覆盖一大片。解决方法是透视校正插值perspective-correct interpolation。GPU的做法是不直接插值属性本身而是先插值属性除以w再除以插值后的1/w。换句话说是先对每个顶点的属性除以自己的w做线性插值最后再除以插值得到的1/w这个结果才等同于在真正的3D空间里做线性插值后再投影到屏幕。公式长这样假设三个顶点属性是a0、a1、a2重心坐标权重是λ0、λ1、λ2那么片元处的属性值等于(a0 / w0 × λ0 a1 / w1 × λ1 a2 / w2 × λ2) / (λ0 / w0 λ1 / w1 λ2 / w2)。这段公式你不需要背但要记住一个结论你在片元着色器里拿到的TEXCOORD、法线这些数据已经被硬件用透视校正处理过了是符合近大远小透视规律的。这也意味着理论上你在片元里拿到的法线方向是正确的但长度不再保证为1——因为插值过程会把向量长度拉偏。这个点后面写片元代码时马上会用到。2. 片元着色器每个片元都是一次独立审判光栅阶段把这台戏的舞台搭好了之后片元着色器才登场。它是渲染流水线里执行次数最多的一个阶段也是你最应该花心思优化的一段。2.1 片元函数的输入输出不只是颜色片元着色器接收光栅阶段插值出来的顶点属性输出该片元对帧缓冲的贡献值通常是一个RGBA颜色。在Unity ShaderLab里你用#pragma fragment frag声明片元入口函数参数是Varyings结构体返回值类型是half4或者float4语义是SV_TARGET。除了颜色片元着色器还能输出SV_Depth来改写深度缓冲。这个操作平时用得少但遇到特殊需求会非常关键。比如某些全屏特效想要绕过常规深度关系或者你想做一个即便被遮挡也露出来的轮廓效果都可以在片元里直接计算并覆写深度值。这里特别要理解的是执行次数。1080p屏幕大约是207万个像素每个像素只要覆盖一个片元片元着色器每帧就要跑约200万次。如果屏幕上有三层叠加的三角形overdraw等于3实际执行量就是600万次。按60帧每秒算每秒要执行3.6亿次。这就是为什么片元阶段不能写太重——你每加一条pow或者一个循环代价都是按像素覆盖次数被放大的而不是按三角形数量算的。2.2 URP对ShaderLab的硬性约束标签、Pass与SRP Batcher在URP里手写Shader和内置管线相比最大的差异在于ShaderLab的组织方式。首先是SubShader上的Tag。URP的三轮筛选只认这套东西你要在SubShader里声明RenderPipeline UniversalPipeline让URP知道这是自己人然后在每个Pass里用LightMode告诉URP这个Pass是干什么活的。URP最常见的Lit Pass标签是UniversalForward这是前向渲染路径使用的。如果你的项目开了延迟渲染需要的是UniversalGBuffer。阴影贴图渲染只认ShadowCaster标签深度预写只认DepthOnly标签。写错了标签或者干脆没写URP在相应阶段就找不到你的Pass物体的表现就是紫色或完全不可见。我自己从内置管线迁到URP时踩过最大的坑就是把CGPROGRAM改成HLSLPROGRAM之后忘了改LightMode标签结果光照全部对不上。然后是SRP Batcher。这是URP性能的关键机制它要求所有per-material变量必须放在CBUFFER里。如果你在Shader里声明了一个属性却在CGPROGRAM或者HLSLPROGRAM里没有把它包进CBUFFER_START(UnityPerMaterial)这个块中SRP Batcher会直接放弃对这个shader的合批优化退回传统的SetPass Call模式。合批数量可能差出一个量级尤其是场景里重复材质特别多的时候差别非常明显。2.3 URP光照数据片元里的主光源从哪来URP把光照计算前移到了片元阶段这是和内置管线一个很大的区别。内置管线的灯光参数是一堆全局变量处理起来比较玄学URP则是SRP可编程管线渲染某个Pass之前URP会往GPU缓冲区里写入当前帧的光照数据你的片元着色器通过Lighting.hlsl提供的函数直接取用。最常用的是GetMainLight()函数。它会返回一个Light结构体里面有direction世界空间方向、color光照颜色、shadowAttenuation阴影衰减、distanceAttenuation距离衰减等字段。如果你想要主光的实时阴影需要先给片元传入shadowCoord——这个坐标是片元在阴影贴图空间里的位置。片元着色器采样阴影贴图后把得到的shadowAttenuation乘进颜色里就得到了逐片元的阴影效果。这就是URP前向渲染的基本工作方式光栅插值把数据送到片元片元里采样贴图、采样阴影、算光照、算BRDF最后输出颜色。你会发现整个ForwardPass本质上就是一个以片元计算为核心的巨型函数。3. 实操写一个带边缘光的URP片元着色器纸上谈兵到此为止下面动手写。目标是一个带主光源漫反射、实时阴影和菲涅尔边缘光的URP Shader。它很简单但足够把前面讲的所有概念串起来。Shader URPDemo/RimFragment { Properties { _BaseMap (Albedo, 2D) white {} _BaseColor (Tint Color, Color) (1, 1, 1, 1) _RimColor (Rim Color, Color) (1, 0.4, 0.2, 1) _RimPower (Rim Power, Range(0.2, 8)) 2.5 } SubShader { Tags { RenderPipeline UniversalPipeline RenderType Opaque Queue Geometry } Pass { Name ForwardLit Tags { LightMode UniversalForward } HLSLPROGRAM #pragma vertex vert #pragma fragment frag #pragma multi_compile _ _MAIN_LIGHT_SHADOWS #pragma multi_compile _ _MAIN_LIGHT_SHADOWS_CASCADE #pragma multi_compile _ _SHADOWS_SOFT #include Packages/com.unity.render-pipelines.universal/ShaderLibrary/Core.hlsl #include Packages/com.unity.render-pipelines.universal/ShaderLibrary/Lighting.hlsl #include Packages/com.unity.render-pipelines.universal/ShaderLibrary/Shadows.hlsl struct Attributes { float4 positionOS : POSITION; float3 normalOS : NORMAL; float2 uv : TEXCOORD0; }; struct Varyings { float4 positionHCS : SV_POSITION; float3 normalWS : TEXCOORD0; float3 positionWS : TEXCOORD1; float2 uv : TEXCOORD2; float4 shadowCoord : TEXCOORD3; }; CBUFFER_START(UnityPerMaterial) float4 _BaseMap_ST; half4 _BaseColor; half4 _RimColor; half _RimPower; CBUFFER_END TEXTURE2D(_BaseMap); SAMPLER(sampler_BaseMap); Varyings vert(Attributes input) { Varyings output (Varyings)0; VertexPositionInputs posInputs GetVertexPositionInputs(input.positionOS.xyz); VertexNormalInputs nrmInputs GetVertexNormalInputs(input.normalOS); output.positionHCS posInputs.positionCS; output.positionWS posInputs.positionWS; output.normalWS nrmInputs.normalWS; output.uv TRANSFORM_TEX(input.uv, _BaseMap); output.shadowCoord TransformWorldToShadowCoord(posInputs.positionWS); return output; } half4 frag(Varyings input) : SV_TARGET { half3 normalWS normalize(input.normalWS); half3 viewDirWS normalize(GetCameraPositionWS() - input.positionWS); Light mainLight GetMainLight(input.shadowCoord); half NdotL saturate(dot(normalWS, mainLight.direction)); half3 albedo SAMPLE_TEXTURE2D(_BaseMap, sampler_BaseMap, input.uv).rgb * _BaseColor.rgb; half3 diffuse albedo * mainLight.color * NdotL * mainLight.shadowAttenuation; half rimFactor pow(1.0 - saturate(dot(normalWS, viewDirWS)), _RimPower); half3 rim rimFactor * _RimColor.rgb * mainLight.color; half3 finalColor diffuse rim; return half4(finalColor, 1.0); } ENDHLSL } } FallBack Hidden/InternalErrorShader }3.1 先搭外壳属性、SubShader与URP标签Properties里声明了四样东西主贴图_BaseMap、主颜色_BaseColor、边缘光颜色_RimColor、边缘光强度_RimPower。这些都是材质面板上能调的参数。SubShader里的Tags写了两行。RenderPipeline标签告诉URP这是可兼容ShaderRenderType和Queue是给渲染队列和后期处理用的。这里我用的Opaque和Geometry如果你的材质想做半透明这两个都要改成Transparent还要额外处理混合模式后面会讲到。Pass部分的Name和LightMode标签决定了URP在哪个阶段使用这个Pass。URP渲染实际物体时找UniversalForward渲染阴影贴图时会去找ShadowCaster标签的Pass这个Shader暂时没有所以它不会向场景投射阴影。想让它投阴影要么补一个ShadowCaster Pass要么在SubShader里UsePass一个内置的阴影Pass。3.2 顶点到片元为片元准备哪些插值数据Attributes结构体描述的是从Mesh取上来的原始顶点数据位置、法线、UV。Varyings结构体则是顶点着色器输出到片元着色器的数据这些数据会经过光栅阶段透视校正插值每个片元拿到一份属于自己的副本。这里最关键的是normalWS和positionWS。它们在顶点阶段从模型空间转换到了世界空间然后在光栅阶段被插值到每个片元。shadowCoord是一样它是由世界坐标再换算到阴影贴图空间后插值出来的坐标供片元阶段采样阴影贴图使用。你注意到没有我在顶点阶段做坐标转换时用的全是URP内置函数GetVertexPositionInputs会同时算好对象空间转世界空间、世界空间转裁剪空间GetVertexNormalInputs会用逆转置矩阵处理法线正确处理模型缩放。这些函数内部已经包含了平台适配比你自己手写TransformObjectToHClip要稳得多。3.3 片元计算漫反射、阴影与菲涅尔边缘光进入frag函数第一件事就是normalize一下法线。这一步非常关键。光栅阶段插值出来的法线方向是对的但长度已经不是单位长度了直接把没归一化的法线拿去和光线方向点积得到的NdotL会偏小暗部会出现一块块的色斑尤其是在低模上。所以URP自己的Lit Shader在片元阶段也都会做一次归一化。GetMainLight(input.shadowCoord)返回的是当前帧主光源并且会采样阴影贴图把结果塞进mainLight.shadowAttenuation里。有了它漫反射乘上shadowAttenuation物体被遮挡的地方自然就暗下来了。这一步体现的就是逐片元阴影采样。菲涅尔边缘光的原理很简单法线和视线方向越接近垂直也就是点在模型轮廓边缘dot(normalWS, viewDirWS)越接近01减掉这个值后越接近1乘以_RimPower做pow得到一个在边缘部分高亮的系数。这是逐片元计算所以边缘光的过渡是平滑的不会出现顶点光照那种三角形棱面。最后返回half4(finalColor, 1.0)。URP默认在线性空间工作这个输出值是线性颜色后面由后处理或者最终Blit处理成sRGB后再显示。4. 常见问题与排查技巧实录写片元着色器一定会遇到各种奇怪的现象下面这些坑我基本都踩过整理出来给大家当速查手册用。4.1 法线不归一化的分层亮面最典型的症状是一个光滑的球体或低模物体上出现三角形的棱面分界线亮区和暗区之间像被切了一刀。原因是插值后的法线长度不再是1直接把短了或者长了法线拿去点积光照强度会跟着法线长度波动。解决办法就是片元函数第一行写normalize。这个操作看起来多余实际是必须的。如果你发现已经归一化还是有棱面那多半是顶点阶段的法线本身有问题比如模型缩放没有处理好或者用了非均匀缩放导致法线方向都歪了。URP的GetVertexNormalInputs已经处理了逆转置但如果模型缩放是非均匀的还得注意物体空间法线是否在顶点阶段被正确变换。4.2 阴影不出现shadowCoord与ShadowCaster双重坑自定义Shader最常见的阴影问题有两种。第一种是片元里根本没采样阴影。你写了GetMainLight()但没传shadowCoord这个重载拿到的shadowAttenuation默认是1阴影自然出不来。必须写成GetMainLight(input.shadowCoord)。第二种是shader本身没有ShadowCaster Pass。URP渲染阴影贴图时只找LightMode为ShadowCaster的Pass找不到就默认物体不投影。这时候你的物体可以接收阴影但永远不会把自己投到别人身上。解决方法是补一个ShadowCaster Pass最省事的是直接include URP自带的ShadowCasterPass.hlsl把它的ShadowPassVertex和ShadowPassFragment接到你的Shader里。4.3 边缘光发脏线性空间、pow与默认参数边缘光的颜色有时会显得脏最常见的原因是你在片元里用了不符合线性空间习惯的pow参数或者把_Ceil拿到gamma空间做颜色混合。URP默认项目是线性颜色空间所有光照计算和颜色混合都应该在线性空间进行。贴图如果是sRGB颜色贴图采样器会自动解码成线性值如果你再手动做一次pow(gamma)近似等于做了双重颜色变换画面就会发灰或者发暗。另一个常见问题是边缘光的_RimPower给得太低。pow的底数saturate(dot(normalWS, viewDirWS))永远在0到1之间幂越大高光区越收窄边缘就越靠轮廓。你要是设成0.2几乎整个正面都是亮的看起来就不像边缘光了。经验值是2到4肉眼效果最舒服。4.4 合批失效、变体爆炸与透明排序速查表现象可能原因排查顺序SRP Batcher不生效材质属性没有放进CBUFFER检查UnityPerMaterial块物体不显示/紫色Pass的LightMode标签不对改成UniversalForward物体不投影缺少ShadowCaster Pass补ShadowCaster或UsePass半透明物体排序错乱Queue没设Transparent/ZWrite开启改Queue并关闭ZWrite阴影边缘锯齿没开软阴影关键字确认_SHADOWS_SOFT变体片元颜色被压暗手写gamma处理去掉手动pow或统一线性空间半透明还需要单独提醒URP的透明渲染是按物体排序的不是按像素排的。如果你的透明物体互相穿插又开着ZWrite或者混合模式设置不对同一个像素上多个半透明片元的混合顺序就会出错结果看起来像是谁先画谁就赢。透明材质建议统一Queue为Transparent关闭ZWrite混合模式用SRC_ALPHA对ONE_MINUS_SRC_ALPHA。5. 调试渲染流程的实用心得最后分享几个我真实项目中一直在用的调试方法它们解决过不少只觉得颜色不对但说不出哪不对的问题。5.1 Frame Debugger盯着Pass看Unity自带的Frame Debugger能列出每一帧所有Pass渲染的完整顺序包括SRP管线注册过的ShadowCaster、Depth、Forward等Pass。我在排查物体没阴影时第一步不是看Shader而是打开Frame Debugger看阴影Pass有没有把物体画进去。如果渲染列表里压根没有这个物体问题一定出在Shader的Pass标签上不用去怀疑灯光设置。这个工具在Window Analysis Frame Debugger里建议每个写Shader的人先把它用熟。5.2 RenderDoc直接看片元的插值输入Frame Debugger只能看到Pass级别再往下一层就得靠RenderDoc了。用RenderDoc截帧之后打开一个Draw的Mesh Shader查看器你可以选中某个像素直接查看它的所有Varyings输入值——包括插值后的法线、UV、世界坐标、shadowCoord。这比你在代码里猜插值结果要快得多。我此前有一次边缘光在模型背面出现奇怪高亮就是在RenderDoc里发现片元拿到的viewDirWS计算错了因为我把相机位置减反了方向导致背面点的dot值变成了负数saturate之后被强行拉到0最后pow出异常结果。5.3 写片元着色器的三个小习惯第一个习惯调试初期把片元函数简化成只输出一个纯色比如直接return half4(1, 0, 0, 1)红色看得见说明Pass被正确渲染了接着再加纹理、加光照逐步定位问题。第二个习惯输入数据有怀疑时直接把UV或者世界坐标当颜色输出用颜色梯度来验证插值是否正确。你看到的渐变平滑说明光栅插值工作正常如果有断裂或者跳变说明数据本身在顶点阶段就没处理好。第三个习惯移动端注意half精度。half虽然省带宽但在部分GPU上精度只有10位左右大范围数值或者很接近1的pow结果容易出现banding和色阶。遇到颜色断层先试试把关键变量从half改成float看是不是精度在作祟。我自己现在的习惯是任何自定义URP Shader都保持一个可复用的结构顶点阶段用内置函数做坐标转换片元阶段第一行归一化法线材质属性全部塞进UnityPerMaterialPass标签写全。这套结构可能不那么酷但它能让我在排查问题时少走很多弯路。渲染管线这东西看一百张流程图不如自己写一个Shader、用RenderDoc完整Debug一遍。光栅阶段的插值逻辑、片元阶段的执行代价只有亲手跳进代码里才能真正建立感觉。