PyGObject下使用PyCairo在DrawingArea渲染分水岭算法生成的掩码无法正常显示

• 掩码内存格式不匹配
  当前代码使用cairo.FORMAT_A1创建遮罩表面，该格式要求内存为按1bit逐像素打包、且满足4字节行对齐的结构。但分水岭算法输出的掩码通常是Numpy/OpenCV生成的uint8类型数组，每个像素占8位、值为0或255，完全不符合A1格式的内存排布要求。直接传入该类数组会导致Cairo读取到错乱的内存数据，渲染出随机色块或无内容输出。
  此外create_for_data未显式传入行步长参数，默认计算的步长往往和数组实际内存排布不匹配，会出现横向内容撕裂、斜向错位的问题。
• 内存生命周期引用缺失
  cairo.ImageSurface.create_for_data仅保存传入内存的指针，不会自动持有Numpy数组的Python级引用。如果掩码数组是函数内的临时变量，函数执行完成后数组会被Python垃圾回收，Cairo后续绘制时读取的是已释放的野内存，表现为花屏、偶发无内容的不稳定故障。
• 绘制路径为空
  cr.fill()仅能填充Context中已定义的路径区域。当前代码在调用mask_surface和fill之前，没有定义覆盖绘图区域的矩形路径，相当于填充的是空路径，哪怕遮罩表面完全正确，也不会绘制出任何内容。

针对绝大多数使用OpenCV生成uint8二值掩码的场景，推荐使用更兼容的A8 alpha格式实现，避免1bit打包的复杂对齐问题，参考代码如下：

def draw_region(self, mask):
    # 统一掩码为uint8单通道格式
    if mask.dtype != np.uint8:
        mask = (mask > 0).astype(np.uint8)
    h, w = mask.shape

    # 计算Cairo要求的对齐行步长
    stride = cairo.ImageSurface.format_stride_for_width(cairo.FORMAT_A8, w)
    # 构造满足对齐要求的连续内存数组
    aligned_mask = np.ascontiguousarray(np.zeros((h, stride), dtype=np.uint8))
    aligned_mask[:, :w] = mask
    # 将数组存为实例属性，防止被垃圾回收
    self._mask_surface_ref = aligned_mask

    # 创建遮罩表面，传入正确的步长参数
    mask_surface = cairo.ImageSurface.create_for_data(
        aligned_mask, cairo.FORMAT_A8, w, h, stride
    )

    cr = cairo.Context(self.image_surface)
    # 定义覆盖全图的矩形路径，作为填充的目标区域
    cr.rectangle(0, 0, w, h)
    # 设置红色绘制源
    cr.set_source_rgb(1, 0, 0)
    # 按掩码表面的alpha值做遮罩裁剪
    cr.mask_surface(mask_surface, 0, 0)
    # 执行填充绘制
    cr.fill()

• 绘制完成后需调用self.queue_draw()触发DrawingArea组件的重绘，否则离屏surface的内容不会同步到界面。
• 如果掩码尺寸和DrawingArea尺寸不一致，可在cr.rectangle和mask_surface调用中传入对应的缩放、平移参数，避免位置错位。
• 若坚持使用A1格式，需将uint8掩码手动按位打包为1bit排布的结构，同样需要按4字节对齐行内存，且显式传入stride参数，不能依赖函数默认值。

内容的提问来源于stack exchange，提问作者Kieran Atkins