如何在UML序列图中展示C++类成员变量的函数调用及生命线关联？

核心执行时序（时间轴严格对齐） #

以下是按调用顺序梳理的序列图逻辑：

1. 外部调用者向NodeGraph实例发送消息：notify_graph_change()
2. NodeGraph实例调用自身成员graph_events_的方法：erase()（若有特定参数，可在消息旁补充标注，比如erase(event_id)）
3. graph_events_.erase()执行完成，将控制返回给NodeGraph实例
4. NodeGraph实例调用自身成员graph_cv_的方法：notify_all()
5. graph_cv_.notify_all()执行完成，将控制返回给NodeGraph实例
6. NodeGraph实例调用自身成员node_gc的方法：trigger()
7. node_gc.trigger()执行完成，将控制返回给NodeGraph实例
8. NodeGraph::notify_graph_change()执行完毕，向外部调用者返回结果（或无返回值）

成员变量独立生命线的绑定方式 #

若为graph_events_、graph_cv_、node_gc添加独立生命线，需明确其与NodeGraph实例的从属关系：

• 在序列图顶部的参与者区域，NodeGraph实例的生命线下方，用带标签的聚合连接线（虚线+实心菱形）连接到每个成员变量的生命线，标签分别标注为has-a graph_events_、has-a graph_cv_、has-a node_gc
• 成员变量的生命线仅在被调用时激活，其余时间可显示为“inactive”状态（用虚线表示）
• 所有成员方法调用的消息箭头，必须从NodeGraph实例的生命线指向对应成员的生命线，明确体现“对象调用自身成员”的逻辑

序列图元素细化建议 #

• 对重点方法添加强调：将graph_events_.erase()、graph_cv_.notify_all()、node_gc.trigger()的消息文本用斜体标注
• 若node_gc.trigger()涉及异步操作，可添加“异步执行”的标注（用虚线箭头表示后续回调逻辑）

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