1. 项目概述为什么法线转换是Shader新手的第一个“坎”刚接触Unity Shader编程的朋友估计都遇到过这个场景你照着教程写了一个简单的漫反射光照模型在模型空间里计算一切正常但当你雄心勃勃地想把计算挪到世界空间以获得更灵活的光照控制时画面突然就“裂开”了——模型表面的光影变得支离破碎像是被什么无形的东西撕裂了一样。这时候十有八九问题就出在法线转换上更具体地说是出在你直接使用了unity_ObjectToWorld矩阵去乘了法线向量。这个看似简单的操作背后涉及图形学中矩阵变换的核心原理。unity_ObjectToWorld矩阵顾名思义是用来将顶点、方向等从模型局部坐标系Object Space变换到世界坐标系World Space的。对于顶点的位置一个点这个矩阵完美适用。但对于法线一个方向向量事情就变得微妙了。直接套用就如同用处理“点”的规则去处理“方向”在模型存在非均匀缩放Non-uniform Scale时必然会得到错误的结果导致光照计算彻底崩坏。所以这个项目标题直指Shader学习路上一个经典且高频的“坑”。它不是一个复杂的炫技效果而是构建任何可靠光照模型的基石。理解并正确实现法线变换意味着你真正跨过了“照抄代码”的阶段开始理解Shader背后数学的严谨性。本文将彻底拆解unity_ObjectToWorld矩阵的奥秘手把手带你推导出正确的法线变换矩阵并附上我踩过无数坑后总结的避坑指南和调试技巧。2. 核心原理拆解点、向量、法线的变换有何不同要避坑先得明白坑在哪。为什么顶点的变换矩阵不能直接用于法线这需要我们从几何和数学两个层面来理解。2.1 模型变换矩阵unity_ObjectToWorld的构成在Unity中一个物体的unity_ObjectToWorld矩阵简称M通常由平移T、旋转R和缩放S三部分复合而成。在齐次坐标下对于一个点P(x, y, z, 1)变换是P_world M * P_object。这个矩阵能正确工作是因为它保持了点的仿射变换关系。但对于一个方向向量比如从点A指向点B的向量V B - A它的齐次坐标表示为(dx, dy, dz, 0)。注意第四维是0这表示它不受平移影响。因此向量的变换应该是V_world (M * V_object).xyz实际上起作用的是矩阵M的左上3x3部分即旋转和缩放部分。2.2 法线向量的特殊性必须保持与切平面垂直法线Normal不是一个普通的方向向量。它的定义是与模型表面在某一点相切的平面垂直的向量。这个“垂直”关系是法线在光照计算如点积求余弦值中起作用的根本。假设我们有一个切线向量T和一个法线向量N在模型空间下它们满足垂直关系T · N 0点积为零。当我们用模型变换矩阵M的3x3部分记为M_3x3去变换切线向量T到世界空间时得到T M_3x3 * T。如果我们也用同样的M_3x3去变换法线N得到N M_3x3 * N。问题来了变换后的T和N还能保持垂直吗即T · N 0是否依然成立将点积展开T · N (M_3x3 * T) · (M_3x3 * N)。在线性代数中这等于T^T * (M_3x3^T * M_3x3) * N。要使它等于原来的T · N 0除非M_3x3^T * M_3x3是单位矩阵的倍数。什么矩阵满足这个条件正交矩阵即纯旋转矩阵。也就是说只有当模型变换只包含旋转和均匀缩放时M_3x3才是正交矩阵的倍数此时N M_3x3 * N才能保持垂直关系。一旦引入了非均匀缩放比如Scale是(2, 1, 1)M_3x3就不再具有正交性直接用其变换法线就会破坏垂直关系导致光照错误。2.3 推导正确的法线变换矩阵那么如何找到一个矩阵G使得用G变换后的法线N_world G * N_object能与用M_3x3变换后的切线向量T_world保持垂直呢我们需要满足(M_3x3 * T) · (G * N) 0且已知T · N 0。 推导过程如下(M * T) · (G * N) (M * T)^T * (G * N) T^T * M^T * G * N我们希望这个结果等于T · N T^T * N即0。因此我们需要M^T * G I单位矩阵这样T^T * M^T * G * N T^T * I * N T^T * N。由M^T * G I可得G (M^T)^-1 (M^-1)^T。结论出来了正确的法线变换矩阵G是模型变换矩阵M的逆矩阵的转置Inverse Transpose。在Unity Shader中这个矩阵被预定义为unity_WorldToObject矩阵即M^-1的转置。但我们通常不直接计算整个4x4矩阵的逆而是利用其左上角3x3部分。因此在代码中我们常这样计算世界空间法线// 方法一使用内置矩阵和转置函数推荐 float3 normalWorld normalize(mul(unity_WorldToObject, float4(normalObject, 0))).xyz; // 注意这里传入的normalObject是模型空间法线乘以unity_WorldToObject即M^-1后再取xyz相当于进行了(M^-1)^T的操作因为对方向向量左乘逆矩阵的转置与左乘逆矩阵再取xyz在只考虑3x3部分时等价但更常见的写法是下面这种 // 方法二显式使用转置概念更清晰 float3 normalWorld normalize(mul(normalObject, (float3x3)unity_WorldToObject)); // 或者 float3 normalWorld normalize(mul((float3x3)unity_WorldToObject, normalObject));这里有一个关键点当我们将unity_WorldToObject一个4x4矩阵强制转换为float3x3时我们截取了它的左上角3x3旋转缩放部分忽略平移。对于方向向量这样操作是正确的。而mul(向量, 3x3矩阵)这个写法在效果上等价于用该矩阵的逆的转置来变换向量是HLSL/GLSL中的一种常见简写形式用于处理法线变换。最稳妥、最易理解的写法是使用Unity内置的UnityObjectToWorldNormal宏。注意很多新手会混淆mul函数中参数顺序的意义。在HLSL中mul(float3, float3x3)和mul(float3x3, float3)都是合法的但结果不同前者相当于向量右乘矩阵行向量后者相当于左乘矩阵列向量。对于从模型空间到世界空间的变换我们通常使用后者。但Unity提供的内置宏帮我们屏蔽了这些细节。3. 核心细节解析与实操要点理解了“为什么”我们来看“怎么做”。在实际Shader编写中处理法线变换有几个关键细节和不同场景。3.1 不同渲染路径下的矩阵选择Unity支持内置渲染管线、URPUniversal Render Pipeline和HDRP。在不同管线中获取变换矩阵的方式略有不同。内置渲染管线Built-in 这是最经典的环境。我们通常在顶点着色器Vertex Shader中进行法线变换。v2f vert (appdata v) { v2f o; o.vertex UnityObjectToClipPos(v.vertex); // 顶点变换到裁剪空间 o.worldNormal UnityObjectToWorldNormal(v.normal); // **关键行**使用内置宏转换法线 o.worldPos mul(unity_ObjectToWorld, v.vertex).xyz; // 顶点变换到世界空间 return o; }这里的UnityObjectToWorldNormal宏是Unity为我们封装好的正确法线变换方法。在背后它根据当前渲染设置是否使用非均匀缩放自动选择最合适的计算方式。对于新手强烈建议始终使用这个宏而不是自己手动计算逆矩阵转置。URPShader Graph 或 HLSL代码 在URP的Shader Graph中事情变得更简单。你有一个名为“Normal Vector”的节点。当将其“Space”设置为“World”时它内部已经帮你完成了正确的变换无需关心底层矩阵。 在URP的HLSL代码中通常使用TransformObjectToWorldNormal(normalOS)函数它与内置管线的UnityObjectToWorldNormal作用相同。实操心得无论管线如何变化核心原则不变——使用引擎提供的高级封装函数来处理法线变换。自己手动计算(M^-1)^T虽然有助于理解原理但在实际项目中容易出错尤其是考虑到渲染批处理Batching时物体的变换矩阵可能会被修改手动计算可能无法兼容。3.2 法线是否需要归一化Normalize这是一个非常关键的细节。经过矩阵变换后的法线向量其长度模长很可能不再是1。如果变换中包含缩放法线长度会改变。即使只有旋转从浮点数计算精度角度考虑也可能会产生微小的误差。在光照计算中如dot(N, L)我们要求参与点积的法线必须是单位向量长度为1否则计算结果将不是真正的余弦值会导致光照强度错误。因此在顶点着色器中将法线变换到世界空间后必须进行一次归一化Normalize。o.worldNormal normalize(UnityObjectToWorldNormal(v.normal));但是这里又引出一个新问题在片段着色器Fragment Shader中我们接收的是经过顶点着色器输出、再由GPU在三角形内部插值后的法线。这个插值过程会再次破坏法线的单位长度。所以更严谨的做法是在顶点着色器中变换法线不进行归一化或归一化但知道它会被插值破坏。在片段着色器中对插值后的世界法线再次进行归一化。// 顶点着色器 v2f vert (appdata v) { v2f o; ... o.worldNormal UnityObjectToWorldNormal(v.normal); // 只变换不归一化 return o; } // 片段着色器 fixed4 frag (v2f i) : SV_Target { float3 N normalize(i.worldNormal); // **关键**在片段着色器归一化 float3 L normalize(_WorldSpaceLightPos0.xyz); float diff max(0, dot(N, L)); ... }为什么要在片段着色器归一化因为逐片段Per-pixel的光照计算比逐顶点Per-vertex精确得多。在顶点着色器归一化然后插值得到的是“插值后的单位向量”这本身就是一个矛盾结果向量长度不再是1。而先在顶点着色器得到“方向”插值后再在片段着色器归一化才是正确的“对插值后的方向进行归一化”能获得更平滑、准确的光照效果。3.3 处理非均匀缩放的“终极方案”即便使用了UnityObjectToWorldNormal在极端非均匀缩放下如果物体被“压扁”或“拉长”得非常厉害浮点数精度问题可能会被放大。Unity内置宏已经做了优化但对于自定义的、复杂的层级缩放物体有时仍需注意。一个更健壮但开销稍大的方法是在片段着色器中使用当前片元的世界位置通过差分的方法重新计算法线即通过ddx/ddy求导。这通常用于水面、布料等动态变形表面对于静态网格体使用变换归一化的方法已经完全足够。4. 完整Shader实例与分步实现让我们通过一个完整的、包含漫反射光照的Shader例子将上述所有知识点串联起来。这个Shader将在世界空间计算光照。4.1 Shader结构定义与输入输出首先我们定义Shader的基本属性、SubShader和Pass。为了清晰我们使用最简单的结构专注于法线变换部分。Shader Custom/WorldSpaceDiffuse { Properties { _Color (Main Color, Color) (1,1,1,1) _MainTex (Main Texture, 2D) white {} } SubShader { Tags { RenderTypeOpaque LightModeForwardBase} // 注意LightMode用于获取光照信息 LOD 100 Pass { CGPROGRAM #pragma vertex vert #pragma fragment frag #include UnityCG.cginc #include Lighting.cginc // 包含光照相关变量和函数 struct appdata { float4 vertex : POSITION; float3 normal : NORMAL; float2 uv : TEXCOORD0; }; struct v2f { float4 pos : SV_POSITION; float2 uv : TEXCOORD0; float3 worldNormal : TEXCOORD1; float3 worldPos : TEXCOORD2; }; sampler2D _MainTex; float4 _MainTex_ST; fixed4 _Color;这里定义了顶点着色器的输入appdata包含位置、法线、UV以及顶点到片段的输出v2f。注意我们预留了TEXCOORD1和TEXCOORD2来传递世界空间法线和世界空间位置。4.2 顶点着色器实现在顶点着色器中我们完成坐标变换和法线变换。v2f vert (appdata v) { v2f o; // 1. 顶点位置变换模型空间 - 裁剪空间 o.pos UnityObjectToClipPos(v.vertex); // 2. 纹理坐标变换支持Tiling和Offset o.uv TRANSFORM_TEX(v.uv, _MainTex); // 3. **核心步骤法线从模型空间变换到世界空间** // 使用Unity内置宏它内部处理了逆矩阵转置 o.worldNormal UnityObjectToWorldNormal(v.normal); // 注意此处没有进行normalize留到片段着色器进行 // 4. 顶点位置变换到世界空间用于光照计算如世界空间光源方向 o.worldPos mul(unity_ObjectToWorld, v.vertex).xyz; return o; }关键点注释UnityObjectToClipPos: 内置函数等价于mul(UNITY_MATRIX_VP, mul(unity_ObjectToWorld, v.vertex))一步到位。TRANSFORM_TEX: 内置宏处理纹理的缩放和平移。UnityObjectToWorldNormal(v.normal): 这是法线正确变换的核心。它自动处理了非均匀缩放的问题。mul(unity_ObjectToWorld, v.vertex).xyz: 将顶点位置变换到世界空间用于后续计算片段到光源的方向。4.3 片段着色器实现在片段着色器中我们进行归一化和实际的光照计算。fixed4 frag (v2f i) : SV_Target { // 1. 采样纹理 fixed4 col tex2D(_MainTex, i.uv) * _Color; // 2. **关键对插值后的世界空间法线进行归一化** float3 N normalize(i.worldNormal); // 3. 获取世界空间光源方向平行光 // _WorldSpaceLightPos0.xyz 对于平行光是光源方向已归一化 float3 L normalize(_WorldSpaceLightPos0.xyz); // 4. 计算漫反射系数兰伯特光照 // saturate 将结果限制在[0,1]范围 float diffuseFactor saturate(dot(N, L)); // 5. 结合环境光和漫反射光 // _LightColor0 是当前光源的颜色和强度 fixed3 ambient UNITY_LIGHTMODEL_AMBIENT.rgb * col.rgb; fixed3 diffuse _LightColor0.rgb * col.rgb * diffuseFactor; // 6. 最终颜色输出 fixed4 finalColor fixed4(ambient diffuse, col.a); return finalColor; } ENDCG } } FallBack Diffuse }逐行解析normalize(i.worldNormal): 这是纠正插值后法线长度的必须步骤。缺少它在曲面上的光照会出现明显的不连续或错误。normalize(_WorldSpaceLightPos0.xyz): 对于平行光其方向向量通常是归一化的但再次归一化是一个好习惯确保计算安全。saturate(dot(N, L)): 计算兰伯特漫反射。saturate防止因浮点误差或负值导致奇怪的结果。UNITY_LIGHTMODEL_AMBIENT: 内置的环境光颜色。_LightColor0: 当前生效的主平行光的颜色和强度在ForwardBase Pass中。将这个Shader赋给一个存在非均匀缩放例如Scale为 (2, 1, 1)的模型你会看到正确、平滑的光照效果。如果错误地使用mul((float3x3)unity_ObjectToWorld, v.normal)来替换UnityObjectToWorldNormal模型被拉长的方向上的光照将会明显错误。5. 常见问题、调试技巧与避坑指南即使知道了原理和标准写法在实际开发中依然会遇到各种诡异的问题。下面是我总结的几个典型场景和排查方法。5.1 问题一模型光照全黑或全亮没有明暗变化可能原因法线数据错误模型本身没有法线信息或者法线数据异常。变换矩阵用错在顶点着色器中错误地使用了unity_ObjectToWorld直接乘法线并且在片段着色器中没有归一化导致法线长度极长或极短点积结果溢出。光源方向错误错误地使用了光源位置而非方向。排查步骤调试输出法线在片段着色器中将法线N直接作为颜色输出return fixed4(N, 1)。正常的法线颜色应该是在(-1,1)范围映射到(0,1)的彩色图像。如果看到大片纯黑、纯白或纯色说明法线数据或变换有问题。检查光源输出光源方向L的颜色。对于平行光它应该是一个恒定的颜色。简化Shader移除纹理和复杂计算只输出diffuseFactor漫反射系数作为灰度图看是否有变化。5.2 问题二光照在模型表面呈现“破碎”或“条纹”状可能原因 这是非均匀缩放下法线变换错误的典型症状。法线没有与表面保持垂直导致每个像素计算出的dot(N, L)值混乱。解决方案确认你使用的是UnityObjectToWorldNormal或TransformObjectToWorldNormal。检查模型导入设置。在Unity的Model Importer中确保“Normals”选项不是 “None” 或 “Calculate”。通常选择 “Import” 或 “Calculate”。如果模型是动态生成的如程序化网格确保你正确计算并赋予了法线。5.3 问题三光照看起来“扁平”缺乏立体感特别是低模可能原因在顶点着色器归一化法线如前所述在顶点着色器归一化后插值会导致插值后的向量不再是单位向量且方向变化不线性使得片段着色器中的光照计算基于错误的法线方向平滑感丢失。模型面数过低顶点法线本身变化不够平滑。解决方案务必在片段着色器中进行最终归一化。考虑使用法线贴图来为低模提供高模的细节法线信息这是提升视觉效果的标准做法。5.4 问题四使用Shader Graph时法线看起来不对可能原因与解决 在Shader Graph中法线输入通常来自“Vertex Normal”节点。你需要将其连接到“Normal Vector”节点并将后者的“Space”设置为“World”。检查节点连接确保“Vertex Normal”正确连接到“Normal Vector”的“In”端口。检查空间设置“Normal Vector”节点的输出空间Output Space必须与你计算光照的其他向量如光源方向的空间一致。通常都是World Space。检查模型数据在Shader Graph的Master Node的“Material Options”中确保“Normal”下拉菜单不是设置为“None”。5.5 高级避坑缩放值为负值镜像和法线朝向这是一个更深层次的坑。当物体的缩放值包含负数时例如Scale为(-1, 1, 1)物体在空间中被镜像。unity_ObjectToWorld矩阵的行列式为负。此时即使使用了逆矩阵转置变换法线其法线朝向即正面/反面也可能出现问题可能会影响背面剔除Culling和单面材质的效果。Unity的UnityObjectToWorldNormal宏通常能处理这种情况。但如果你需要手动处理需要注意变换后法线的手性。在需要严格保证法线朝向的场合如渲染体积、模板操作可能需要对变换后的法线乘以unity_WorldTransformParams.w这个值在存在奇数个负值缩放时为 -1否则为 1来进行校正。float3 worldNormal UnityObjectToWorldNormal(v.normal); // 或者手动校正 float3 worldNormal mul(v.normal, (float3x3)unity_WorldToObject); worldNormal * unity_WorldTransformParams.w;不过对于99%的漫反射、高光反射光照计算UnityObjectToWorldNormal已经足够因为点积运算dot(N, L)只关心夹角不关心法线绝对朝向向内还是向外。6. 性能考量与最佳实践在移动平台或高性能要求的项目中每一个Shader指令都值得斟酌。优先使用内置宏/函数UnityObjectToWorldNormal不仅是正确的也往往是经过优化的。它可能会在特定平台如不支持逆转置矩阵快速计算的平台上编译成更高效的指令。空间选择的权衡我们一直在讨论世界空间下的光照。其实还有一种选择在视图空间Eye Space下计算光照。这样光源方向从顶点指向光源和法线都在同一个与摄像机相关的空间中有时可以简化计算避免将法线变换到世界空间。Unity的内置着色器很多采用这种方式。但对于需要与多个世界空间对象交互的效果如基于世界坐标的投影、雾效世界空间仍是首选。精度选择对于法线、光照方向等向量使用float3足矣。在片段着色器中normalize操作涉及开方倒数运算有一定开销但为了视觉质量这是必要的代价。在顶点着色器中如果法线后续需要插值可以不用normalize。考虑使用法线贴图如果你的模型使用了法线贴图那么法线信息存储在切线空间Tangent Space中。此时你需要构建一个从切线空间到世界空间的变换矩阵TBN矩阵这个过程同样涉及正确的法线变换原理并且需要用到顶点的切线和副切线信息。这是另一个重要话题但核心原则不变确保变换后的法线与表面垂直。正确理解和使用unity_ObjectToWorld及相关矩阵进行法线变换是Shader编程从入门到精通的标志性一步。它强迫你去思考图形学背后的数学而不仅仅是API调用。记住这个核心口诀变换点用unity_ObjectToWorld变换法线用UnityObjectToWorldNormal或其等价形式。在片段着色器中永远记得对插值后的法线进行归一化。掌握这一点你就能为绝大多数自定义光照Shader打下坚实的基础。
1. 项目概述为什么法线转换是Shader新手的第一个“坎”刚接触Unity Shader编程的朋友估计都遇到过这个场景你照着教程写了一个简单的漫反射光照模型在模型空间里计算一切正常但当你雄心勃勃地想把计算挪到世界空间以获得更灵活的光照控制时画面突然就“裂开”了——模型表面的光影变得支离破碎像是被什么无形的东西撕裂了一样。这时候十有八九问题就出在法线转换上更具体地说是出在你直接使用了unity_ObjectToWorld矩阵去乘了法线向量。这个看似简单的操作背后涉及图形学中矩阵变换的核心原理。unity_ObjectToWorld矩阵顾名思义是用来将顶点、方向等从模型局部坐标系Object Space变换到世界坐标系World Space的。对于顶点的位置一个点这个矩阵完美适用。但对于法线一个方向向量事情就变得微妙了。直接套用就如同用处理“点”的规则去处理“方向”在模型存在非均匀缩放Non-uniform Scale时必然会得到错误的结果导致光照计算彻底崩坏。所以这个项目标题直指Shader学习路上一个经典且高频的“坑”。它不是一个复杂的炫技效果而是构建任何可靠光照模型的基石。理解并正确实现法线变换意味着你真正跨过了“照抄代码”的阶段开始理解Shader背后数学的严谨性。本文将彻底拆解unity_ObjectToWorld矩阵的奥秘手把手带你推导出正确的法线变换矩阵并附上我踩过无数坑后总结的避坑指南和调试技巧。2. 核心原理拆解点、向量、法线的变换有何不同要避坑先得明白坑在哪。为什么顶点的变换矩阵不能直接用于法线这需要我们从几何和数学两个层面来理解。2.1 模型变换矩阵unity_ObjectToWorld的构成在Unity中一个物体的unity_ObjectToWorld矩阵简称M通常由平移T、旋转R和缩放S三部分复合而成。在齐次坐标下对于一个点P(x, y, z, 1)变换是P_world M * P_object。这个矩阵能正确工作是因为它保持了点的仿射变换关系。但对于一个方向向量比如从点A指向点B的向量V B - A它的齐次坐标表示为(dx, dy, dz, 0)。注意第四维是0这表示它不受平移影响。因此向量的变换应该是V_world (M * V_object).xyz实际上起作用的是矩阵M的左上3x3部分即旋转和缩放部分。2.2 法线向量的特殊性必须保持与切平面垂直法线Normal不是一个普通的方向向量。它的定义是与模型表面在某一点相切的平面垂直的向量。这个“垂直”关系是法线在光照计算如点积求余弦值中起作用的根本。假设我们有一个切线向量T和一个法线向量N在模型空间下它们满足垂直关系T · N 0点积为零。当我们用模型变换矩阵M的3x3部分记为M_3x3去变换切线向量T到世界空间时得到T M_3x3 * T。如果我们也用同样的M_3x3去变换法线N得到N M_3x3 * N。问题来了变换后的T和N还能保持垂直吗即T · N 0是否依然成立将点积展开T · N (M_3x3 * T) · (M_3x3 * N)。在线性代数中这等于T^T * (M_3x3^T * M_3x3) * N。要使它等于原来的T · N 0除非M_3x3^T * M_3x3是单位矩阵的倍数。什么矩阵满足这个条件正交矩阵即纯旋转矩阵。也就是说只有当模型变换只包含旋转和均匀缩放时M_3x3才是正交矩阵的倍数此时N M_3x3 * N才能保持垂直关系。一旦引入了非均匀缩放比如Scale是(2, 1, 1)M_3x3就不再具有正交性直接用其变换法线就会破坏垂直关系导致光照错误。2.3 推导正确的法线变换矩阵那么如何找到一个矩阵G使得用G变换后的法线N_world G * N_object能与用M_3x3变换后的切线向量T_world保持垂直呢我们需要满足(M_3x3 * T) · (G * N) 0且已知T · N 0。 推导过程如下(M * T) · (G * N) (M * T)^T * (G * N) T^T * M^T * G * N我们希望这个结果等于T · N T^T * N即0。因此我们需要M^T * G I单位矩阵这样T^T * M^T * G * N T^T * I * N T^T * N。由M^T * G I可得G (M^T)^-1 (M^-1)^T。结论出来了正确的法线变换矩阵G是模型变换矩阵M的逆矩阵的转置Inverse Transpose。在Unity Shader中这个矩阵被预定义为unity_WorldToObject矩阵即M^-1的转置。但我们通常不直接计算整个4x4矩阵的逆而是利用其左上角3x3部分。因此在代码中我们常这样计算世界空间法线// 方法一使用内置矩阵和转置函数推荐 float3 normalWorld normalize(mul(unity_WorldToObject, float4(normalObject, 0))).xyz; // 注意这里传入的normalObject是模型空间法线乘以unity_WorldToObject即M^-1后再取xyz相当于进行了(M^-1)^T的操作因为对方向向量左乘逆矩阵的转置与左乘逆矩阵再取xyz在只考虑3x3部分时等价但更常见的写法是下面这种 // 方法二显式使用转置概念更清晰 float3 normalWorld normalize(mul(normalObject, (float3x3)unity_WorldToObject)); // 或者 float3 normalWorld normalize(mul((float3x3)unity_WorldToObject, normalObject));这里有一个关键点当我们将unity_WorldToObject一个4x4矩阵强制转换为float3x3时我们截取了它的左上角3x3旋转缩放部分忽略平移。对于方向向量这样操作是正确的。而mul(向量, 3x3矩阵)这个写法在效果上等价于用该矩阵的逆的转置来变换向量是HLSL/GLSL中的一种常见简写形式用于处理法线变换。最稳妥、最易理解的写法是使用Unity内置的UnityObjectToWorldNormal宏。注意很多新手会混淆mul函数中参数顺序的意义。在HLSL中mul(float3, float3x3)和mul(float3x3, float3)都是合法的但结果不同前者相当于向量右乘矩阵行向量后者相当于左乘矩阵列向量。对于从模型空间到世界空间的变换我们通常使用后者。但Unity提供的内置宏帮我们屏蔽了这些细节。3. 核心细节解析与实操要点理解了“为什么”我们来看“怎么做”。在实际Shader编写中处理法线变换有几个关键细节和不同场景。3.1 不同渲染路径下的矩阵选择Unity支持内置渲染管线、URPUniversal Render Pipeline和HDRP。在不同管线中获取变换矩阵的方式略有不同。内置渲染管线Built-in 这是最经典的环境。我们通常在顶点着色器Vertex Shader中进行法线变换。v2f vert (appdata v) { v2f o; o.vertex UnityObjectToClipPos(v.vertex); // 顶点变换到裁剪空间 o.worldNormal UnityObjectToWorldNormal(v.normal); // **关键行**使用内置宏转换法线 o.worldPos mul(unity_ObjectToWorld, v.vertex).xyz; // 顶点变换到世界空间 return o; }这里的UnityObjectToWorldNormal宏是Unity为我们封装好的正确法线变换方法。在背后它根据当前渲染设置是否使用非均匀缩放自动选择最合适的计算方式。对于新手强烈建议始终使用这个宏而不是自己手动计算逆矩阵转置。URPShader Graph 或 HLSL代码 在URP的Shader Graph中事情变得更简单。你有一个名为“Normal Vector”的节点。当将其“Space”设置为“World”时它内部已经帮你完成了正确的变换无需关心底层矩阵。 在URP的HLSL代码中通常使用TransformObjectToWorldNormal(normalOS)函数它与内置管线的UnityObjectToWorldNormal作用相同。实操心得无论管线如何变化核心原则不变——使用引擎提供的高级封装函数来处理法线变换。自己手动计算(M^-1)^T虽然有助于理解原理但在实际项目中容易出错尤其是考虑到渲染批处理Batching时物体的变换矩阵可能会被修改手动计算可能无法兼容。3.2 法线是否需要归一化Normalize这是一个非常关键的细节。经过矩阵变换后的法线向量其长度模长很可能不再是1。如果变换中包含缩放法线长度会改变。即使只有旋转从浮点数计算精度角度考虑也可能会产生微小的误差。在光照计算中如dot(N, L)我们要求参与点积的法线必须是单位向量长度为1否则计算结果将不是真正的余弦值会导致光照强度错误。因此在顶点着色器中将法线变换到世界空间后必须进行一次归一化Normalize。o.worldNormal normalize(UnityObjectToWorldNormal(v.normal));但是这里又引出一个新问题在片段着色器Fragment Shader中我们接收的是经过顶点着色器输出、再由GPU在三角形内部插值后的法线。这个插值过程会再次破坏法线的单位长度。所以更严谨的做法是在顶点着色器中变换法线不进行归一化或归一化但知道它会被插值破坏。在片段着色器中对插值后的世界法线再次进行归一化。// 顶点着色器 v2f vert (appdata v) { v2f o; ... o.worldNormal UnityObjectToWorldNormal(v.normal); // 只变换不归一化 return o; } // 片段着色器 fixed4 frag (v2f i) : SV_Target { float3 N normalize(i.worldNormal); // **关键**在片段着色器归一化 float3 L normalize(_WorldSpaceLightPos0.xyz); float diff max(0, dot(N, L)); ... }为什么要在片段着色器归一化因为逐片段Per-pixel的光照计算比逐顶点Per-vertex精确得多。在顶点着色器归一化然后插值得到的是“插值后的单位向量”这本身就是一个矛盾结果向量长度不再是1。而先在顶点着色器得到“方向”插值后再在片段着色器归一化才是正确的“对插值后的方向进行归一化”能获得更平滑、准确的光照效果。3.3 处理非均匀缩放的“终极方案”即便使用了UnityObjectToWorldNormal在极端非均匀缩放下如果物体被“压扁”或“拉长”得非常厉害浮点数精度问题可能会被放大。Unity内置宏已经做了优化但对于自定义的、复杂的层级缩放物体有时仍需注意。一个更健壮但开销稍大的方法是在片段着色器中使用当前片元的世界位置通过差分的方法重新计算法线即通过ddx/ddy求导。这通常用于水面、布料等动态变形表面对于静态网格体使用变换归一化的方法已经完全足够。4. 完整Shader实例与分步实现让我们通过一个完整的、包含漫反射光照的Shader例子将上述所有知识点串联起来。这个Shader将在世界空间计算光照。4.1 Shader结构定义与输入输出首先我们定义Shader的基本属性、SubShader和Pass。为了清晰我们使用最简单的结构专注于法线变换部分。Shader Custom/WorldSpaceDiffuse { Properties { _Color (Main Color, Color) (1,1,1,1) _MainTex (Main Texture, 2D) white {} } SubShader { Tags { RenderTypeOpaque LightModeForwardBase} // 注意LightMode用于获取光照信息 LOD 100 Pass { CGPROGRAM #pragma vertex vert #pragma fragment frag #include UnityCG.cginc #include Lighting.cginc // 包含光照相关变量和函数 struct appdata { float4 vertex : POSITION; float3 normal : NORMAL; float2 uv : TEXCOORD0; }; struct v2f { float4 pos : SV_POSITION; float2 uv : TEXCOORD0; float3 worldNormal : TEXCOORD1; float3 worldPos : TEXCOORD2; }; sampler2D _MainTex; float4 _MainTex_ST; fixed4 _Color;这里定义了顶点着色器的输入appdata包含位置、法线、UV以及顶点到片段的输出v2f。注意我们预留了TEXCOORD1和TEXCOORD2来传递世界空间法线和世界空间位置。4.2 顶点着色器实现在顶点着色器中我们完成坐标变换和法线变换。v2f vert (appdata v) { v2f o; // 1. 顶点位置变换模型空间 - 裁剪空间 o.pos UnityObjectToClipPos(v.vertex); // 2. 纹理坐标变换支持Tiling和Offset o.uv TRANSFORM_TEX(v.uv, _MainTex); // 3. **核心步骤法线从模型空间变换到世界空间** // 使用Unity内置宏它内部处理了逆矩阵转置 o.worldNormal UnityObjectToWorldNormal(v.normal); // 注意此处没有进行normalize留到片段着色器进行 // 4. 顶点位置变换到世界空间用于光照计算如世界空间光源方向 o.worldPos mul(unity_ObjectToWorld, v.vertex).xyz; return o; }关键点注释UnityObjectToClipPos: 内置函数等价于mul(UNITY_MATRIX_VP, mul(unity_ObjectToWorld, v.vertex))一步到位。TRANSFORM_TEX: 内置宏处理纹理的缩放和平移。UnityObjectToWorldNormal(v.normal): 这是法线正确变换的核心。它自动处理了非均匀缩放的问题。mul(unity_ObjectToWorld, v.vertex).xyz: 将顶点位置变换到世界空间用于后续计算片段到光源的方向。4.3 片段着色器实现在片段着色器中我们进行归一化和实际的光照计算。fixed4 frag (v2f i) : SV_Target { // 1. 采样纹理 fixed4 col tex2D(_MainTex, i.uv) * _Color; // 2. **关键对插值后的世界空间法线进行归一化** float3 N normalize(i.worldNormal); // 3. 获取世界空间光源方向平行光 // _WorldSpaceLightPos0.xyz 对于平行光是光源方向已归一化 float3 L normalize(_WorldSpaceLightPos0.xyz); // 4. 计算漫反射系数兰伯特光照 // saturate 将结果限制在[0,1]范围 float diffuseFactor saturate(dot(N, L)); // 5. 结合环境光和漫反射光 // _LightColor0 是当前光源的颜色和强度 fixed3 ambient UNITY_LIGHTMODEL_AMBIENT.rgb * col.rgb; fixed3 diffuse _LightColor0.rgb * col.rgb * diffuseFactor; // 6. 最终颜色输出 fixed4 finalColor fixed4(ambient diffuse, col.a); return finalColor; } ENDCG } } FallBack Diffuse }逐行解析normalize(i.worldNormal): 这是纠正插值后法线长度的必须步骤。缺少它在曲面上的光照会出现明显的不连续或错误。normalize(_WorldSpaceLightPos0.xyz): 对于平行光其方向向量通常是归一化的但再次归一化是一个好习惯确保计算安全。saturate(dot(N, L)): 计算兰伯特漫反射。saturate防止因浮点误差或负值导致奇怪的结果。UNITY_LIGHTMODEL_AMBIENT: 内置的环境光颜色。_LightColor0: 当前生效的主平行光的颜色和强度在ForwardBase Pass中。将这个Shader赋给一个存在非均匀缩放例如Scale为 (2, 1, 1)的模型你会看到正确、平滑的光照效果。如果错误地使用mul((float3x3)unity_ObjectToWorld, v.normal)来替换UnityObjectToWorldNormal模型被拉长的方向上的光照将会明显错误。5. 常见问题、调试技巧与避坑指南即使知道了原理和标准写法在实际开发中依然会遇到各种诡异的问题。下面是我总结的几个典型场景和排查方法。5.1 问题一模型光照全黑或全亮没有明暗变化可能原因法线数据错误模型本身没有法线信息或者法线数据异常。变换矩阵用错在顶点着色器中错误地使用了unity_ObjectToWorld直接乘法线并且在片段着色器中没有归一化导致法线长度极长或极短点积结果溢出。光源方向错误错误地使用了光源位置而非方向。排查步骤调试输出法线在片段着色器中将法线N直接作为颜色输出return fixed4(N, 1)。正常的法线颜色应该是在(-1,1)范围映射到(0,1)的彩色图像。如果看到大片纯黑、纯白或纯色说明法线数据或变换有问题。检查光源输出光源方向L的颜色。对于平行光它应该是一个恒定的颜色。简化Shader移除纹理和复杂计算只输出diffuseFactor漫反射系数作为灰度图看是否有变化。5.2 问题二光照在模型表面呈现“破碎”或“条纹”状可能原因 这是非均匀缩放下法线变换错误的典型症状。法线没有与表面保持垂直导致每个像素计算出的dot(N, L)值混乱。解决方案确认你使用的是UnityObjectToWorldNormal或TransformObjectToWorldNormal。检查模型导入设置。在Unity的Model Importer中确保“Normals”选项不是 “None” 或 “Calculate”。通常选择 “Import” 或 “Calculate”。如果模型是动态生成的如程序化网格确保你正确计算并赋予了法线。5.3 问题三光照看起来“扁平”缺乏立体感特别是低模可能原因在顶点着色器归一化法线如前所述在顶点着色器归一化后插值会导致插值后的向量不再是单位向量且方向变化不线性使得片段着色器中的光照计算基于错误的法线方向平滑感丢失。模型面数过低顶点法线本身变化不够平滑。解决方案务必在片段着色器中进行最终归一化。考虑使用法线贴图来为低模提供高模的细节法线信息这是提升视觉效果的标准做法。5.4 问题四使用Shader Graph时法线看起来不对可能原因与解决 在Shader Graph中法线输入通常来自“Vertex Normal”节点。你需要将其连接到“Normal Vector”节点并将后者的“Space”设置为“World”。检查节点连接确保“Vertex Normal”正确连接到“Normal Vector”的“In”端口。检查空间设置“Normal Vector”节点的输出空间Output Space必须与你计算光照的其他向量如光源方向的空间一致。通常都是World Space。检查模型数据在Shader Graph的Master Node的“Material Options”中确保“Normal”下拉菜单不是设置为“None”。5.5 高级避坑缩放值为负值镜像和法线朝向这是一个更深层次的坑。当物体的缩放值包含负数时例如Scale为(-1, 1, 1)物体在空间中被镜像。unity_ObjectToWorld矩阵的行列式为负。此时即使使用了逆矩阵转置变换法线其法线朝向即正面/反面也可能出现问题可能会影响背面剔除Culling和单面材质的效果。Unity的UnityObjectToWorldNormal宏通常能处理这种情况。但如果你需要手动处理需要注意变换后法线的手性。在需要严格保证法线朝向的场合如渲染体积、模板操作可能需要对变换后的法线乘以unity_WorldTransformParams.w这个值在存在奇数个负值缩放时为 -1否则为 1来进行校正。float3 worldNormal UnityObjectToWorldNormal(v.normal); // 或者手动校正 float3 worldNormal mul(v.normal, (float3x3)unity_WorldToObject); worldNormal * unity_WorldTransformParams.w;不过对于99%的漫反射、高光反射光照计算UnityObjectToWorldNormal已经足够因为点积运算dot(N, L)只关心夹角不关心法线绝对朝向向内还是向外。6. 性能考量与最佳实践在移动平台或高性能要求的项目中每一个Shader指令都值得斟酌。优先使用内置宏/函数UnityObjectToWorldNormal不仅是正确的也往往是经过优化的。它可能会在特定平台如不支持逆转置矩阵快速计算的平台上编译成更高效的指令。空间选择的权衡我们一直在讨论世界空间下的光照。其实还有一种选择在视图空间Eye Space下计算光照。这样光源方向从顶点指向光源和法线都在同一个与摄像机相关的空间中有时可以简化计算避免将法线变换到世界空间。Unity的内置着色器很多采用这种方式。但对于需要与多个世界空间对象交互的效果如基于世界坐标的投影、雾效世界空间仍是首选。精度选择对于法线、光照方向等向量使用float3足矣。在片段着色器中normalize操作涉及开方倒数运算有一定开销但为了视觉质量这是必要的代价。在顶点着色器中如果法线后续需要插值可以不用normalize。考虑使用法线贴图如果你的模型使用了法线贴图那么法线信息存储在切线空间Tangent Space中。此时你需要构建一个从切线空间到世界空间的变换矩阵TBN矩阵这个过程同样涉及正确的法线变换原理并且需要用到顶点的切线和副切线信息。这是另一个重要话题但核心原则不变确保变换后的法线与表面垂直。正确理解和使用unity_ObjectToWorld及相关矩阵进行法线变换是Shader编程从入门到精通的标志性一步。它强迫你去思考图形学背后的数学而不仅仅是API调用。记住这个核心口诀变换点用unity_ObjectToWorld变换法线用UnityObjectToWorldNormal或其等价形式。在片段着色器中永远记得对插值后的法线进行归一化。掌握这一点你就能为绝大多数自定义光照Shader打下坚实的基础。
![【Bug已解决】[modular] ensure branch-specific input defaults 解决方案](http://pic.xiahunao.cn/yaotu/【Bug已解决】[modular] ensure branch-specific input defaults 解决方案)
