Blend2D中A8格式下fillRect斜线问题的分析与修复

问题现象

在Blend2D图形库中，当使用BL_FORMAT_A8（8位alpha通道）格式创建图像并调用fillRect函数绘制非整数坐标的矩形时，会出现矩形边缘呈现斜线而非预期直角的现象。这个问题在macOS 14.4（arm64架构）环境下使用LLVM clang 19.1或Apple clang 15.0编译器时均可复现。

问题复现

通过以下简单代码即可复现该问题：

#include <blend2d.h>

int main() {
  BLImage img(480, 480, BL_FORMAT_A8);
  BLContext ctx(img);
  ctx.clearAll();
  ctx.fillRect(0, 0, 100.5, 100.5); // 使用非整数坐标
  ctx.end();
  img.writeToFile("test.png");
  return 0;
}

问题分析

经过深入调查，发现该问题具有以下特点：

1. JIT编译相关：当禁用JIT编译器（通过-D BLEND2D_NO_JIT=ON选项）时，问题消失，输出结果正常。这表明问题与Blend2D的即时编译功能相关。

2. 特定格式相关：该问题仅出现在BL_FORMAT_A8格式下，其他像素格式如RGB或RGBA不受影响。

3. 坐标精度相关：只有当使用非整数坐标时才会触发该问题，使用整数坐标时表现正常。

技术背景

Blend2D是一个高性能的2D矢量图形渲染库，其特点包括：

• 支持多种像素格式，包括A8（纯alpha通道）、RGB、RGBA等
• 采用JIT（即时编译）技术优化渲染性能
• 提供精确的浮点坐标支持

A8格式是一种仅包含alpha通道的像素格式，常用于遮罩、灰度图像等场景。在这种格式下，每个像素仅用一个字节表示透明度信息，没有颜色数据。

问题根源

经过Blend2D开发团队的分析，该问题源于JIT编译器在处理A8格式下非整数坐标矩形填充时的特定边缘计算错误。在浮点坐标转换和抗锯齿处理过程中，某些边界条件未被正确处理，导致渲染管线生成了错误的像素覆盖计算。

解决方案

开发团队在提交f6fdedd5f449e5f2895409ac52d28407a2f40766中修复了该问题。修复主要涉及：

1. 修正了JIT编译器对A8格式下非整数坐标的处理逻辑
2. 优化了边缘像素的覆盖计算算法
3. 确保浮点坐标到整数像素的转换一致性

后续工作

虽然此特定问题已修复，但开发团队注意到A8格式下还存在其他相关问题，计划在后续版本中进一步改进：

1. 优化A8格式下的抗锯齿算法
2. 提高非整数坐标渲染的精度
3. 增强边缘像素的一致性处理

总结

这个案例展示了图形渲染库中格式特定问题的典型调试过程。它提醒开发者：

1. 不同像素格式可能有完全不同的渲染路径
2. JIT优化可能引入特定条件下的边缘情况问题
3. 浮点坐标处理需要特别注意精度和一致性

对于使用Blend2D的开发者，建议在遇到类似渲染异常时：

• 尝试禁用JIT以确认问题来源
• 检查是否特定格式下出现
• 确认坐标值是否为整数
• 及时更新到最新版本获取修复