Skia SkBlendMode 混合模式全解析从 Porter-Duff 到非分离混合的完整指南【免费下载链接】skiaSkia is a complete 2D graphic library for drawing Text, Geometries, and Images. See documentation for contribution instructions.项目地址: https://gitcode.com/gh_mirrors/ski/skiaSkBlendMode 是 Skia 2D 图形库中定义源像素如何与目标像素合成的核心枚举类型它决定了每次draw操作中源source颜色与画布上已有目标destination颜色之间的混合规则。本文以 site/docs/user/api/SkBlendMode_Overview.md 文档为主体骨架结合 Skia 源码include/core/SkBlendMode.h、src/core/SkBlendMode.cpp与测试用例系统讲解全部 29 种混合模式的数学原理、分类体系、值域边界与工程实现帮助你准确选用混合模式并理解其在光栅管线中的真实行为。SkBlendMode 是什么SkBlendMode 描述的是目标像素如何被自身与源像素的组合所替换。从 SkBlendMode 头文件 的注释可以看到混合Blend是接收两个颜色源 source、目标 destination并返回一个新颜色的算子。其核心特征包括逐分量独立运算绝大多数混合模式对红、绿、蓝、Alpha 四个分量执行相同的运算规则因此文档与实现只需描述单个分量的行为而非逐一命名每个分量不使用相邻像素每个目标像素的最终结果仅由该位置上的源像素与目标像素决定与周围像素无关Alpha 参与合成源与目标各自的 Alpha 值共同决定写入目标像素的 Alpha同时两者 Alpha 也可能影响写入的目标颜色分量。源码注释还给出了文档采用的数学约定分量值一律归一化表述为 0..1 的浮点数并使用缩写ssource、ddestination、sasource alpha、dadestination alpha结果缩写r四分量同规则、ra结果 Alpha、rc结果颜色分量。值域约定与两个重要例外无论源像素与目标像素中的 Alpha 采用何种编码方式几乎所有 SkColorType 都将 Alpha 视为 0 到 1 之间的值同样地几乎所有混合模式的算法都会把输出结果限制在 0 到 1 的范围内。这一约定保证了混合结果的数学良定义性。但存在两个例外例外行为说明SkBlendMode::kPlus允许计算出的 Alpha 与颜色分量值大于 1。对于除kRGBA_F16_SkColorType之外的色彩类型结果 Alpha 与分量值会被钳制到 1kRGBA_F16_SkColorType允许数值超出 0..1 范围因此是否将结果控制在 0..1 内完全由客户端负责只有保证结果落在该区间内混合结果才是良定义的。从实现看kPlus 的钳制行为体现在 src/core/SkBlendMode.cpp 的SkBlendMode_ShouldPreScaleCoverage注释中Plus 模式总是需要预缩放这是其 SkRasterPipeline 实现的特定行为目的是把钳制放进混合模式自身而不是在 lerp 之后追加独立的 clamp 阶段。而在 include/core/SkBlendMode.h#L51 中kPlus 的公式被写作r min(s d, 1)正是加后钳制到 1的数学表达。Porter-Duff 混合模式kClear 到 kXorPorter-Duff 混合模式组覆盖SkBlendMode::kClear到SkBlendMode::kXor共 12 种其理论来源是经典论文Compositing Digital ImagesPorter 与 Duff 发表于 1984 年。这些模式对 Alpha 与颜色分量采用统一的系数加权形式结果 src 系数 × src dst 系数 × dst。从 include/core/SkBlendMode.h#L38-L74 的枚举定义可以提取出每种模式的完整公式模式公式r 表示四分量同规则语义kClearr 0清除目标kSrcr s直接用源覆盖kDstr d保留目标kSrcOverr s (1-sa)*d源叠加于目标之上默认模式kDstOverr d (1-da)*s目标叠加于源之上kSrcInr s * da源仅保留在目标覆盖区域kDstInr d * sa目标仅保留在源覆盖区域kSrcOutr s * (1-da)源仅保留在目标之外的区域kDstOutr d * (1-sa)目标仅保留在源之外的区域kSrcATopr s*da d*(1-sa)目标覆盖源的部分kDstATopr d*sa s*(1-da)源覆盖目标的部分kXorr s*(1-da) d*(1-sa)互斥区域保留系数化实现的深层原理Skia 在 src/core/SkBlendMode.cpp#L58-L96 的SkBlendMode_AsCoeff中为这 15 种模式kClear 到 kScreen即mode kLastCoeffMode建立了系数表。表中每个模式对应一对SkBlendModeCoeff枚举值源系数与目标系数系数可以是常量、Alpha 函数或颜色函数CoeffRec{ SkBlendModeCoeff::kZero, SkBlendModeCoeff::kZero }, // clear CoeffRec{ SkBlendModeCoeff::kOne, SkBlendModeCoeff::kISA }, // src-over CoeffRec{ SkBlendModeCoeff::kDA, SkBlendModeCoeff::kISA }, // src-atop CoeffRec{ SkBlendModeCoeff::kOne, SkBlendModeCoeff::kISC }, // screen其中SkBlendModeCoeff枚举定义于 include/core/SkBlendMode.h#L84-L97包括kZero、kOne、kSC源颜色、kISC1 - 源颜色、kDC、kIDC、kSA、kISA、kDA、kIDA十种系数。例如 kSrcOver 的系数对为(kOne, kISA)展开即1×s (1-sa)×d与头文件注释完全一致。这种系数化抽象让 GPU 后端如 src/gpu/ganesh/GrXferProcessor.cpp可以统一生成混合着色器而非为每个模式写死代码。透明绘制行为的差异文档特别指出两种 Porter-Duff 应用场景的差异绘制带透明度的位图bitmap时Porter-Duff 合成是自由的允许清除目标像素——透明区域可以真正把目标擦掉绘制带透明度的几何图形时透明的源像素不会参与组合因此几何图形外部的目标像素保持原样、不被触碰。这一点与 Skia 的混合分类相关kLastCoeffMode kScreen标记了 Porter-Duff 组的末尾见 include/core/SkBlendMode.h#L71而kLastSeparableMode kMultiply与kLastMode kLuminosity则分别划分出可分离与非分离混合组的边界kSkBlendModeCount因此等于 29。明暗调整模式从简单算术到复杂算法模式组kPlus与kScreen使用简单的算术来提亮或压暗目标kPlusr min(s d, 1)—— 直接相加后钳制kScreenr s d - s*d—— 经典的屏幕混合结果总是比单独任一方更亮。而kOverlay到kMultiply这一组则使用更复杂的算法甚至同一个模式会同时具备变亮与变暗两种行为取决于目标与源的明暗关系这正是 Blend Modes 中定义的通用 Photoshop 风格混合模式模式行为kOverlay依据目标明暗选择 multiply 或 screenmultiply or screen, depending on destinationkDarkenrc s d - max(s*da, d*sa)Alpha 按 kSrcOver 规则kLightenrc s d - min(s*da, d*sa)Alpha 按 kSrcOver 规则kColorDodge提亮目标以反映源kColorBurn压暗目标以反映源kHardLight依据源明暗选择 multiply 或 screenkSoftLight依据源明暗选择变亮或变暗kDifferencerc s d - 2*(min(s*da, d*sa))kExclusionrc s d - two(s*d)kMultiplyr s*(1-da) d*(1-sa) s*d其中kMultiply的公式值得注意它不是简单的s*d而是对源与目标各自未覆盖的部分做了 Alpha 加权再叠加乘积项因此效果等价于非预乘值相乘详见下节 kModulate 对比。kModulatekSrcATop 与 kMultiply 的结合体kModulate是kSrcATop与kMultiply的混血模式其核心差异在于kModulate 对所有分量包括 Alpha做乘法公式即r s*d。因此只要源或目标中有一个是透明的结果就是透明的kModulate 使用预乘Premultiplied值计算乘积而kMultiply使用非预乘Unpremultiplied值计算乘积。换句话说kModulate 在预乘色彩空间中将 RGBA 四通道全部直接相乘天然保持了透明即零贡献的语义而 kMultiply 的公式r s*(1-da) d*(1-sa) s*d可以看作是在非预乘空间完成的乘法并显式处理了两者 Alpha 的补偿项。这一点在 include/core/SkBlendMode.h#L52 中直接体现kModulate, //! r s*d。有趣的是从 Skia 的系数表看src/core/SkBlendMode.cpp#L82kModulate 的系数对为(kZero, kSC)即0×s sc×d恰好是以源颜色缩放目标的线性表述而 kScreen 的系数对为(kOne, kISC)对应s (1-s)×d。这解释了为什么 kModulate 可以归类到系数模式组 kLastCoeffMode而 kMultiply 必须归入可分离模式组 kLastSeparableMode。非分离颜色混合kHue、kSaturation、kColor、kLuminosity最后一组模式kHue、kSaturation、kColor、kLuminosity与其他所有模式都不同它们不能对四个分量独立运算而是必须使用全部颜色分量信息、在 HSL/HSV 类色彩空间中对源与目标进行重组属于 W3C Compositing and Blending 规范定义的non-separable blend modes非分离混合模式模式语义kHue使用源色相 目标的饱和度与明度kSaturation使用源饱和度 目标的色相与明度kColor使用源的色相与饱和度 目标的明度kLuminosity使用源的明度 目标的色相与饱和度由于这类模式需要把 RGB 转换到包含色相Hue、饱和度Saturation的中间色彩空间再重组其实现无法用简单的线性系数表达因此它们被排除在系数模式与可分离模式之外仅能通过kLastMode kLuminosity之前的枚举序号标识。在光栅管线中它们对应独立的hue、saturation、color、luminosity阶段见下文。在代码中使用 SkBlendMode通过 SkPaint 设置混合模式最常见的用法是通过SkPaint::setBlendMode(SkBlendMode mode)设置绘制时的混合模式定义见 include/core/SkPaint.h#L470-L474。Skia 同时提供配套的查询接口asBlendMode()若当前 blender 可表示为SkBlendMode枚举则返回其值否则返回空 optionalinclude/core/SkPaint.h#L456getBlendMode_or(SkBlendMode defaultMode)无法表示时返回调用方提供的默认模式include/core/SkPaint.h#L462isSrcOver()判断当前 blender 是否等价于默认的 kSrcOver 行为include/core/SkPaint.h#L468setBlender()/getBlender()/refBlender()更通用的自定义混合函数接口setBlendMode本质上是设置一个实现了指定混合模式枚举的 SkBlender的便捷方法include/core/SkPaint.h#L494-L499。当 blender 为 nullptr 时一律表示默认的 SrcOver 行为。一个最小示例参考 tests/BlendTest.cpp 的测试写法SkPaint paint; paint.setColor(SkColorSetRGB(0x80, 0xFF, 0xFF)); paint.setBlendMode(SkBlendMode::kMultiply); // 使用乘色混合 canvas-drawRect(SkRect::MakeXYWH(2, 2, 5, 5), paint);调试辅助SkBlendMode_Name若要打印或序列化混合模式名称可调用SkBlendMode_Name(SkBlendMode blendMode)其实现见 src/core/SkBlendMode.cpp#L167-L202返回 Clear、SrcOver、Multiply 等与枚举名对应的 C 字符串。底层实现光栅管线中的阶段映射SkBlendMode 在软件渲染路径中由 SkRasterPipeline 执行。函数SkBlendMode_AppendStagessrc/core/SkBlendMode.cpp#L98-L134将每个枚举映射到一个光栅管线阶段stagecase SkBlendMode::kSrcOver: p-append(SkRasterPipelineOp::srcover); return; case SkBlendMode::kModulate: p-append(SkRasterPipelineOp::modulate); return; case SkBlendMode::kMultiply: p-append(SkRasterPipelineOp::multiply); return; case SkBlendMode::kHue: p-append(SkRasterPipelineOp::hue); return;值得关注的工程细节kSrc被映射为no-op源即结果无需任何运算kDst被映射为move_dst_src把目标拷贝到源位置未知/非法模式兜底为srcover。在 src/core/SkBlendMode.cpp#L136-L165 的SkBlendMode_Apply中Skia 还针对kClear、kSrc、kDst、kSrcOver四种高频模式做了特判快路径直接返回常量或单条 SIMD 表达式src dst*(1-sa)其余模式才走完整的光栅管线流水加载目标 → 交换源/目标 → 加载源 → 追加混合阶段 → 存储结果。此外CheckFastPathsrc/core/SkBlendMode.cpp#L208-L241在绘制层面进一步优化例如kDst可直接跳过绘制kSkipDrawing当目标不透明且画笔为纯色时kSrcIn可退化为kSrcOverkDstOver在目标不透明时同样可跳过。这些优化确保最常见的混合场景不会付出无谓的渲染代价。测试验证混合正确性有据可查Skia 对混合模式有系统性的测试保障tests/BlendTest.cpp#L64-L89 的Blend_byte_multiply测试专门验证 8-bit 整数乘法的舍入精度穷举 256×256 全组合要求结果与理想值(x*y127)/255的偏差不超过 1且透明必须保持透明diffs_0x00 0、不透明必须保持不透明diffs_0xff 0。测试还指出(x*y)8、(x*y128)8等看似正确实则损坏的实现只有(x*y127)/255及少数等价变体才是完美方案——这正是 kMultiply 在整数色彩类型下舍入行为的工程约束tests/BlendTest.cpp#L92-L189 的ES2BlendWithNoTexture测试在 GL 上下文中验证 kMultiply 混合结果确认矩形内部像素按混合公式变为0x80FF80而混合区域之外保持目标原色0xFFFF80tests/BlendTest.cpp#L194-L241 的BlendRequiringDstReadWithLargeCoordinates测试针对需要读取目标的混合模式如 kSoftLight在大坐标下的正确性回归skbug.com/40045423。此外tests/GrPorterDuffTest.cpp、tests/AdvancedBlendTest.cpp 等测试文件分别覆盖 Porter-Duff 系数模式与高级混合模式在 GPU 后端的行为。小结SkBlendMode 的 29 种模式可按三组理解Porter-Duff 系数模式kClear–kScreen含 kPlus、kModulate以线性系数加权为核心可直接映射为 GPU 固定混合方程可分离模式kOverlay–kMultiply逐分量使用非线性算法非分离模式kHue–kLuminosity则需在色彩空间中整体重组。理解其值域约定0..1 归一化、kPlus 钳制、kRGBA_F16 例外与源码中的系数表、光栅管线阶段映射及快速路径优化能帮助你在选择混合模式时兼顾视觉效果与渲染性能并准确判断各类色彩类型下的数值行为。【免费下载链接】skiaSkia is a complete 2D graphic library for drawing Text, Geometries, and Images. See documentation for contribution instructions.项目地址: https://gitcode.com/gh_mirrors/ski/skia创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
