1. 项目概述：从“黑盒子”到“有光”的起点

在图形渲染这条路上，无论你是刚接触Shader的新手，还是已经能熟练摆弄各种后处理特效的老手，有一个概念你绝对绕不过去，那就是光照模型。它就像是给3D世界注入灵魂的第一步，决定了物体看起来是“平的”还是“立体的”，是“塑料的”还是“金属的”。而今天我们要聊的，就是所有光照模型中最基础、也最经典的两个基石：兰伯特光照模型和它的一个经典变种——半兰伯特光照模型。

你可能在很多教程里见过这两个名字，公式看起来也不复杂，无非是点乘一下法线和光线方向。但你真的理解为什么是点乘吗？为什么兰伯特模型下，物体的背光面会完全死黑？半兰伯特又是怎么“作弊”让暗部亮起来的？这背后不仅仅是数学，更是一套对现实光照的简化理解和工程上的巧妙妥协。我见过不少朋友，Shader代码写了一大堆，各种高级效果往上堆，但基础光照没吃透，出来的效果总觉得哪里“不对味”，或者性能开销莫名其妙就上去了。

这篇文章，我就以一个图形程序员的视角，带你彻底拆解这两个模型。我们不只讲公式，更要讲清楚公式背后的物理直觉（尽管是简化的）、数学推导、在代码里怎么实现，以及在实际项目中，你该如何根据需求在“物理正确”和“艺术效果”之间做取舍。无论你是想自己写Shader，还是仅仅为了更好地与TA（技术美术）沟通，理解这些基础，都能让你在3D图形这条路上走得更稳。

2. 核心原理拆解：光与表面的第一次握手

2.1 兰伯特反射：余弦定律的图形化表达

兰伯特光照模型，描述的是理想的漫反射表面。什么叫理想的漫反射？想象一下粗糙的墙面、粉笔或者一张无光的打印纸。当光线照到这类表面上时，它不会像镜子那样朝一个特定方向反射，而是会被均匀地散射到各个方向。因此，你从任何角度看过去，这个点的亮度都是一样的。那么，亮度由什么决定呢？兰伯特定律告诉我们：表面接收到的光强，与光线入射方向和表面法线方向夹角的余弦值成正比。

这就是那个著名公式的由来：Diffuse = max(0, dot(N, L))。其中N是归一化的表面法线向量，L是从表面点指向光源的归一化方向向量，dot是点积运算。

为什么是点积？点积的几何意义是|a||b|cosθ，当两个向量都是单位向量时，点积的结果就是它们夹角的余弦值cosθ。这个cosθ直观地反映了光线“正面照射”的程度。当光线垂直照射表面（N和L方向相同）时，cosθ = 1，光强最大；当光线与表面相切（夹角90度）时，cosθ = 0；当光线从表面背面照射（夹角大于90度）时，cosθ为负值。

注意：这里max(0, ...)的操作至关重要。它意味着当cosθ为负时（即背光面），我们将漫反射强度强行设为0。这是兰伯特模型的一个关键特征，也是它导致“死黑”背光面的直接原因。从物理上讲，背光面确实接收不到来自该光源的直接光照，但现实中我们还能看到背光面，是因为有环境光（来自天空、其他物体的反射光等）和间接光照的存在。基础的兰伯特模型没有考虑这些。

我们来拆解一下这个简单的公式里蕴含的假设：

1. 表面是理想的朗伯体：反射光在所有方向均匀分布，亮度与观察方向V无关。
2. 光源是方向光或点光源：在着色点，光的方向L是明确的。
3. 只考虑直接光照：不考虑光在场景中的多次反弹。

在Shader中实现它，通常是在片元着色器（Fragment Shader）或顶点着色器（Vertex Shader）中进行的。以下是片元着色器中的一个基础实现片段（以GLSL为例）：

// 假设 varying 变量 vNormal 和 vLightDir 已经从顶点着色器传递过来，并已归一化 uniform vec3 uLightColor; // 光源颜色 uniform vec3 uDiffuseColor; // 物体漫反射颜色（通常来自纹理） void main() { // 计算兰伯特因子 float lambertFactor = max(dot(vNormal, vLightDir), 0.0); // 计算最终的漫反射颜色 vec3 diffuse = uLightColor * uDiffuseColor * lambertFactor; // 输出颜色（这里暂不考虑环境光和其他光照成分） gl_FragColor = vec4(diffuse, 1.0); }

2.2 半兰伯特模型：一个“不物理”但“很管用”的补丁

兰伯特模型在早期硬件渲染和卡通渲染中表现出的“死黑”问题，在追求特定艺术风格或弥补光照信息不足时，显得不太友好。Valve公司在开发《半条命2》时，为了解决低光照环境下模型细节丢失的问题，提出了半兰伯特光照模型。

半兰伯特不是一个物理模型，而是一个经验性的、感知性的修正。它的核心思想是：将兰伯特因子的值域从 [0, 1] 重新映射到 [a, b] 的一个更宽、且下限大于0的区间。最常用的映射公式是：

HalfLambertFactor = dot(N, L) * 0.5 + 0.5

然后，通常会对这个结果进行一个幂运算（Gamma校正的一种形式，或称为“提亮”处理）来进一步控制明暗对比：HalfLambertFactor = pow(HalfLambertFactor, g)

这里的g是一个可调参数。有时也会使用更通用的缩放和平移：HalfLambertFactor = alpha * dot(N, L) + beta其中alpha和beta通常满足alpha + beta <= 1且beta >= 0.5以确保结果非负。

它到底做了什么？

1. 值域变换：原始的dot(N, L)范围是 [-1, 1]。经过*0.5+0.5变换后，范围变成了 [0, 1]。这意味着，即使是在背光面（dot值为负），计算结果也不再是0，而是一个介于0到0.5之间的正值。
2. 提升暗部：通过平移，确保了最暗的地方（dot = -1）也有基础亮度（0）。通过缩放系数（如0.5），压缩了整体的动态范围，让明暗对比减弱。
3. 非线性调整：pow运算可以灵活地调整亮度分布曲线。g < 1会让曲线整体上凸，暗部提升更明显；g > 1会让曲线下凹，暗部更暗，亮部更亮，对比度增强。

在Shader中，我们只需对兰伯特的计算稍作修改：

void main() { // 计算半兰伯特因子 float halfLambertFactor = dot(vNormal, vLightDir) * 0.5 + 0.5; // 可选：进行非线性提亮，例如使用平方操作让过渡更柔和 halfLambertFactor = pow(halfLambertFactor, 2.0); // 计算最终的漫反射颜色 vec3 diffuse = uLightColor * uDiffuseColor * halfLambertFactor; gl_FragColor = vec4(diffuse, 1.0); }

为什么说它“不物理”？因为它违背了“背光面不应接收到该光源直接照射”的基本物理事实。它实际上是在漫反射计算中，混入了一层均匀的、假想的“基础光照”，模拟了非常简单的间接光照效果或材质自身的微弱辉光。

3. 实现细节与参数剖析

3.1 向量空间的选择：一个容易踩坑的关键点

在实现公式dot(N, L)时，N和L必须在同一个坐标空间下进行计算。这是一个初学者极易出错的地方。通常有三个空间可供选择：

1. 世界空间（World Space）：

   • 做法：将顶点法线（模型空间）通过模型矩阵的逆转置矩阵变换到世界空间，同样将光源方向也转换到世界空间。
   • 优点：直观，便于与世界空间中的其他计算（如阴影、基于世界坐标的纹理采样）结合。
   • 缺点：每个顶点/片元都需要进行矩阵变换，计算量相对较大。需要小心处理非均匀缩放导致的法线失真，必须使用法线矩阵（模型矩阵的逆转置）来变换法线。

2. 视图空间（View Space / Eye Space）：

   • 做法：将顶点位置和法线都变换到视图空间（通过 Model-View 矩阵及其逆转置矩阵）。光源方向也需要变换到视图空间。
   • 优点：在某些情况下简化了计算（例如，视图空间的原点是相机，有些计算更直接）。是传统固定管线光照的常用空间。
   • 缺点：与模型空间类似，需要变换。

3. 切线空间（Tangent Space）：

   • 做法：这不是用于计算dot(N, L)的常用空间，而是主要用于法线贴图。法线贴图中存储的法线信息是在切线空间下的。此时，我们需要将光线方向L从世界空间或视图空间变换到每个顶点的切线空间，然后与法线贴图采样得到的法线进行点乘。
   • 优点：是实现高质量细节的法线贴图技术的标准做法。
   • 缺点：计算更复杂，需要为模型计算并传递切线和副切线向量。

实操建议：

• 对于不需要法线贴图的简单场景，使用世界空间是最清晰易懂的选择。
• 对于移动平台或性能敏感的场景，可以评估在视图空间计算是否更优（因为视图矩阵通常是正交的，其逆转置就是其自身，但前提是模型变换不包含非均匀缩放）。
• 绝对要避免：在模型空间计算法线，却使用世界空间的光源方向。这会导致完全错误的光照结果。

这里给出一个在世界空间计算的顶点着色器示例：

// Vertex Shader attribute vec3 aPosition; attribute vec3 aNormal; uniform mat4 uModelMatrix; uniform mat4 uViewMatrix; uniform mat4 uProjectionMatrix; uniform mat3 uNormalMatrix; // 法线矩阵，通常是模型矩阵的逆转置 uniform vec3 uLightPositionWorld; // 光源在世界空间的位置 varying vec3 vNormalWorld; varying vec3 vLightDirWorld; void main() { // 将顶点变换到世界空间 vec4 positionWorld = uModelMatrix * vec4(aPosition, 1.0); // 将法线变换到世界空间（使用法线矩阵，处理缩放） vNormalWorld = normalize(uNormalMatrix * aNormal); // 计算世界空间下的光线方向（假设是点光源） vLightDirWorld = normalize(uLightPositionWorld - positionWorld.xyz); // 常规的MVP变换 gl_Position = uProjectionMatrix * uViewMatrix * positionWorld; }

3.2 光源类型的处理

上述例子中我们使用了点光源。光照模型需要根据光源类型调整L的计算：

• 方向光（Directional Light）：光源视为无限远，所有点的光线方向L相同，通常由光源方向uLightDirection直接给出（注意方向是从表面指向光源）。L是常量，无需在着色器中逐顶点或逐片元计算差值。
• 点光源（Point Light）：如示例所示，L = normalize(lightPos - fragPos)。此外，通常还会引入衰减，根据距离削弱光强，公式类似attenuation = 1.0 / (constant + linear*dist + quadratic*dist*dist)，然后将diffuse乘以attenuation。
• 聚光灯（Spotlight）：在点光源基础上，增加一个锥形角的限制。计算光线方向与聚光灯方向的点积，与内外锥角的余弦值比较，在内外锥角之间进行平滑过渡。

3.3 半兰伯特中的参数艺术

半兰伯特公式alpha * dot(N, L) + beta或pow(dot(N,L)*0.5+0.5, gamma)中的参数并非固定不变，它们是重要的艺术控制工具。

• alpha和beta：

  • alpha控制明暗对比度。alpha越小，亮部和暗部的差异越小，画面越“平”。
  • beta控制暗部的基础亮度。beta越大，背光面越亮。通常保持alpha + beta = 1，以确保当dot(N,L)=1（正面受光）时，因子为1，保持亮部强度不变。
  • 常见配置：(alpha=0.5, beta=0.5)即标准半兰伯特。(alpha=0.4, beta=0.6)会得到更柔和的阴影。

• gamma（在幂运算中）：

  • 这是更精细的控制。gamma < 1（如0.5）会使曲线整体上凸，大幅提亮中间调和暗部，产生一种“泛光”的、梦幻的效果，常用于风格化渲染或女性角色皮肤。
  • gamma > 1（如2.0）会使曲线下凹，压暗暗部，提亮亮部，增强对比，让物体看起来更硬朗、干燥。
  • 你可以将其理解为在光照计算中内置了一个简单的色调曲线调整。

在Unity ShaderLab中的灵活运用：

// 在Surface Shader中自定义光照模型 half4 LightingHalfLambert(SurfaceOutput s, half3 lightDir, half atten) { half NdotL = dot(s.Normal, lightDir); // 核心的半兰伯特变换 half halfLambert = NdotL * _HalfLambertScale + _HalfLambertBias; // 可选的非线性调整 halfLambert = pow(halfLambert, _HalfLambertGamma); halfLambert = saturate(halfLambert); // 确保在[0,1]范围 half4 c; c.rgb = s.Albedo * _LightColor0.rgb * (halfLambert * atten * 2); c.a = s.Alpha; return c; }

这里_HalfLambertScale、_HalfLambertBias、_HalfLambertGamma都可以作为材质属性暴露给美术人员调节，以实现不同的视觉风格。

4. 应用场景与选择策略

理解了原理和实现，我们来看看在什么情况下该用谁。

4.1 兰伯特模型的应用场景

1. 追求物理准确性的PBR管线基础：在基于物理的渲染（PBR）中，漫反射部分通常采用更精确的模型（如Disney BRDF的漫反射项），但兰伯特模型因其简单高效，仍然是许多实时PBR实现中漫反射部分的近似选择，尤其是在移动端。它作为直接光照的漫反射基底，配合图像-Based Lighting（IBL）来处理间接光照，可以取得很好的效果。
2. 卡通渲染（Cel-Shading）中的色阶划分：卡通渲染需要明确的明暗分界。兰伯特模型计算出的NdotL是一个连续的灰度值，通过一个阈值函数（如step(threshold, NdotL)）或平滑阶梯函数（如smoothstep(edge0, edge1, NdotL)），可以很方便地将其离散化为两到三个色阶（亮部、中间调、暗部），形成典型的卡通光影效果。死黑的背光面在这里反而是优点，因为它让暗部区域更统一，便于后续填充固有色或环境色。
3. 性能极度受限的环境：兰伯特计算量极小，就是一个点乘和一个max操作。在需要渲染海量物体（如大量NPC、植被）且光照要求不高的场景中，它是保证帧率的安全选择。

4.2 半兰伯特模型的应用场景

1. 风格化渲染与角色渲染：这是半兰伯特的主场。在动漫、低多边形（Low Poly）风格、或是一些强调角色形体美感的游戏中，我们并不希望看到生硬的死黑阴影。半兰伯特通过提亮暗部，能让角色的轮廓始终清晰，形体更加圆润饱满，皮肤质感也更通透。许多二次元手游的角色Shader，其漫反射部分都采用了半兰伯特或其变种。
2. 弥补低光照环境下的细节丢失：正如其诞生于《半条命2》的初衷，在昏暗的室内、夜晚场景中，如果使用纯兰伯特，很多模型细节会淹没在黑暗中。半兰伯特通过赋予暗部基础亮度，使得即使在弱光下，模型的褶皱、结构依然可见，提升了场景的可读性。
3. 作为环境遮蔽（AO）或间接光照的廉价替代：在早期或轻量级项目中，可能没有完整的全局光照（GI）或屏幕空间环境遮蔽（SSAO）。使用半兰伯特可以作为一种“作弊”手段，模拟出一点点间接光“渗入”暗角的效果，虽然不准确，但能在一定程度上改善物体看起来“飘在空中”的感觉，增加视觉上的重量感。
4. 非真实感渲染（NPR）的预处理：在一些更复杂的NPR效果中，需要一张包含平滑过渡光影信息的图作为输入，来进行边缘检测、色彩量化等后续处理。半兰伯特产生的平滑渐变光影就比兰伯特的硬阴影更适合作为这种输入。

4.3 选择与混合策略

在实际项目中，非此即彼的选择很少见，更多是混合与定制：

• 主体用兰伯特，局部用半兰伯特：一个场景中，对主要角色使用半兰伯特以突出形象，对环境物体使用兰伯特以保持光影的真实感和层次。这可以通过不同的Shader或材质参数实现。
• 动态混合：甚至可以基于光照强度、摄像机距离等因素，动态调整半兰伯特的beta值。例如，在远离相机时使用更强的半兰伯特效果（提升暗部，减少细节），在靠近时切换为更接近兰伯特的参数（增强对比，突出细节）。
• 与其它技术结合：无论是兰伯特还是半兰伯特，都只是漫反射项。一个完整的光照计算通常还包括高光反射项（如Phong、Blinn-Phong、GGX等）、环境光项。半兰伯特解决了漫反射暗部死黑的问题，但高光部分依然可能因为NdotL <= 0而被忽略，需要单独处理（例如，在高光计算中忽略max(0, NdotL)的限制，或采用基于视角的替代方案）。

5. 常见问题、优化与排查实录

即使理解了原理，在实际编码和调试中还是会遇到各种问题。下面是我在项目中积累的一些常见坑点和解决思路。

5.1 光照结果全黑或异常

这是最常见的问题，可能的原因和排查步骤如下：

1. 检查向量归一化：这是头号嫌疑犯。确保在点乘之前，N和L都已经是单位向量。特别是在顶点着色器中计算并传递给片元着色器的varying变量，由于插值，其长度可能不再是1，必须在片元着色器中重新归一化。这是性能（在顶点着色器做）和精度（在片元着色器做）之间的权衡，对于平滑模型，顶点着色器归一化通常足够；对于高细节或陡峭变化，建议在片元着色器做。

   // 片元着色器中 vec3 normal = normalize(vNormalWorld); vec3 lightDir = normalize(vLightDirWorld); float ndotl = max(dot(normal, lightDir), 0.0);

2. 检查向量空间一致性：再次强调，确保法线和光线方向在同一个坐标系中。打印或可视化N和L的值（例如，将(N+1.0)/2.0或(L+1.0)/2.0直接作为颜色输出），看看它们是否在预期的范围内（每个分量在[-1,1]）。如果法线显示为纯色（如蓝色），可能它根本没有被正确变换或传递。

3. 检查光源颜色和强度：uLightColor可能被误设为(0,0,0)，或者强度系数为0。同样，物体的uDiffuseColor或纹理采样结果也可能是黑色。

4. 检查矩阵传递：确保传递给着色器的模型矩阵、视图矩阵、投影矩阵，特别是法线矩阵是正确的。一个常见的错误是直接将模型矩阵当作法线矩阵使用，当模型存在非均匀缩放时，这会导致法线方向错误，光照完全混乱。法线矩阵应是模型矩阵的逆转置。

5.2 性能考量与优化

1. 顶点着色器 vs 片元着色器：

   • 顶点着色器光照：在顶点着色器计算光照，然后通过varying将颜色插值到片元。优点是计算量小（顶点数远少于片元数），缺点是光照在三角形内部是线性插值的，在低多边形模型上会有明显的马赫带（颜色块状过渡），不光滑。
   • 片元着色器光照：将法线、光线方向等向量插值到片元着色器，在每个像素上计算光照。效果平滑细腻，是现在的标准做法，但计算量更大。
   • 选择：对于移动端简单物体，可考虑顶点光照。对于PC/主机或需要高质量画面的物体，务必使用片元光照。一个折中方案是在顶点着色器计算关键向量，在片元着色器归一化并计算点乘。

2. 避免不必要的计算：

   • 如果使用方向光，L是常量，可以在CPU端计算好传入，而不是在着色器中每个顶点/片元都计算。
   • 对于点光源/聚光灯，衰减计算相对昂贵。可以考虑使用查找表（LUT）纹理来近似衰减函数，或者在某些距离外直接裁剪（不渲染）该光源的影响。

3. 半兰伯特的pow运算：pow函数是相对昂贵的操作。如果gamma是固定值（如2.0），直接用乘法halfLambert * halfLambert会比pow(halfLambert, 2.0)更快。对于非整数次幂，可以评估其视觉必要性，有时用简单的线性变换（调节alpha和beta）也能达到类似效果。

5.3 艺术效果调试技巧

1. 单独可视化光照因子：在调试时，不要直接输出最终颜色。可以先将lambertFactor或halfLambertFactor以灰度图的形式输出（vec3(factor, factor, factor)）。这样可以最纯粹地看到光影的分布，排除纹理和颜色的干扰，快速判断模型、法线、光源方向是否正确。

2. 使用颜色区分正面/背面：在开发阶段，可以添加一个调试模式，当dot(N,L) < 0时，输出一个特殊的颜色（如红色）。这能让你一目了然地看到哪些区域是标准的背光“死黑”区，帮助理解半兰伯特到底影响了哪些部分。

3. 参数调节的“二分法”：调节alpha、beta、gamma时，不要盲目滑动。先尝试极端值，比如将beta设为0（变回兰伯特）和设为1（完全无阴影），观察效果边界。然后取中间值，再根据视觉需求微调。记住，这些参数是联动的，调节一个时可能需要补偿另一个。

光照模型是渲染的基石，兰伯特和半兰伯特则是这块基石上最经典的两块砖。理解它们，不仅能帮你写出正确的Shader，更能让你在面对更复杂的渲染需求时，拥有拆解和分析问题的能力。从这里的点乘开始，后面还有高光模型、能量守恒、基于图像的光照、全局光照等一系列高山等待攀登，但每一步都离不开对光与物质交互这一基本问题的深刻理解。希望这篇长文能成为你图形学旅程中一块有用的垫脚石。下次当你调Shader觉得阴影不对劲时，不妨先回来看看，你的N和L，真的归一化了吗？它们真的在同一个空间里吗？