PlantUML序列图中teoz引擎的组宽度问题解析

问题背景

在使用PlantUML的teoz引擎绘制序列图时，开发者发现了一个关于组(Group)元素宽度计算的异常现象。当组内包含带有激活(activation)的消息时，组的右侧会出现不合理的额外空白，导致组宽度明显大于不包含激活消息的情况。

现象分析

通过对比两组简单的序列图示例可以清晰观察到这个问题：

1. 第一组仅包含普通消息交换：

group #ffa Group 1
    Particpant_A -> Particpant_B
    Particpant_A <- Particpant_B
end

2. 第二组包含带有激活的消息：

group #ffa Group 2
    Particpant_A -> Particpant_B++
    Particpant_A <- Particpant_B--
end

在teoz引擎下渲染时，第二组的宽度明显大于第一组，这种差异并非用户期望的行为。

技术原因

经过深入代码分析，发现问题的根源在于teoz引擎对组边界计算逻辑的不一致性：

1. 对于不含生命线事件(激活/去激活)的组，引擎会精确计算生命线左右两侧的空间
2. 当存在生命线事件时，引擎会错误地将参与者标题框的边界作为组的边界

这种差异导致包含激活消息的组获得了不必要的额外宽度。

解决方案演进

开发团队经过多次迭代，逐步完善了解决方案：

1. 初步修正：简单调整时间线事件的宽度计算，使其与普通消息组保持一致
2. 深入分析：发现需要额外考虑激活层级对组宽度的影响
3. 最终方案：在计算组右侧边界时，正确考虑最后一个生命线内的激活层级宽度

修正后的效果通过以下测试用例得到验证：

group #ffa Group 3b
    Particpant_A -> Particpant_B++
    activate Particpant_A
        Particpant_A -> Particpant_B++
                Particpant_A -> Particpant_B++
                        Particpant_A -> Particpant_B++
                        Particpant_A <- Particpant_B--
                Particpant_A <- Particpant_B--
        Particpant_A <- Particpant_B--
    Particpant_A <- Particpant_B--
    deactivate Particpant_A
end

该测试用例展示了多级嵌套激活情况下，组宽度能够正确适应不同的激活层级。

设计考量

在解决方案制定过程中，团队特别考虑了以下因素：

1. 与Puma引擎的差异：明确teoz引擎不需要与Puma引擎保持完全一致的渲染结果
2. 视觉一致性：确保组内外的边距和填充保持合理比例
3. 激活层级的处理：正确处理多级激活对布局的影响
4. 向后兼容性：确保修正不会影响现有其他类型的序列图元素

结论

该问题的解决不仅修复了组宽度的异常计算，还完善了teoz引擎对复杂激活场景的处理能力。通过这次修正，PlantUML序列图的布局算法变得更加健壮和可靠，能够更好地满足用户对专业图表布局的期望。

对于PlantUML用户来说，这意味着在使用teoz引擎时，无论是否包含激活消息，组元素的宽度都将保持合理且一致的视觉效果，从而提升整体图表的美观性和专业性。