带参数依赖的模板类间UML继承关系表示方法问询

针对你给出的模板继承场景：

template<typename TB1, typename TB2, typename TB3>
class Base { ... };

template<typename TD1, typename TD2>
class Derived : public Base<TD1, TD2, int> { .... };

具体绘制方法如下：

1. 模板类的基础表示

   • Base类作为泛型模板，在UML类框顶部标注为 Base<TB1, TB2, TB3>，类框内可按需展示成员属性或方法。
   • Derived类同样作为泛型模板，类框顶部标注为 Derived<TD1, TD2>。

2. 继承关系与参数绑定标注

   • 用UML标准的空心三角箭头（泛化关系）从Derived类框指向Base类框，箭头方向指向基类。
   • 关键是在继承箭头上明确标注基类的实例化参数：直接写 <<generalization>> Base<TD1, TD2, int>，或者在箭头旁用文字说明绑定规则：TB1=TD1, TB2=TD2, TB3=int。

3. 可选的依赖箭头补充
   如果你想更直观地突出参数的依赖关系，可以添加虚线箭头（UML依赖关系）：

   • 从Derived的TD1指向Base的TB1
   • 从Derived的TD2指向Base的TB2
     但这不是必须的——只要继承箭头上的绑定标注清晰，就能准确表达模板参数的传递关系。

举个文本化的简化示例：

+------------------------+
|  Base<TB1, TB2, TB3>   |
+------------------------+
|  // 类成员             |
+------------------------+
          ^
          |
          | <<generalization>> Base<TD1, TD2, int>
          |
+--------------------------+
|  Derived<TD1, TD2>       |
+--------------------------+
|  // 类成员               |
+--------------------------+

核心逻辑就是：通过在继承关系上明确标注基类的实例化版本，直接体现Derived的模板参数如何绑定到Base的模板参数上，无需额外复杂符号。

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