java - 如何在 UML 方法中表示泛型参数？

Question

我必须将一些类从 Java 应用程序逆向工程到 UML 2 类图中。到目前为止一切顺利，我已经找到了如何表示 Jon Skeet 在这里提出的整个类的类模板:What is the correct way to represent template classes with UML? .有了这些信息，我对这样的类进行了逆向工程:

public class Foo<T> {
    //class fields and methods...
}

现在我遇到了一个难题，试图对一个只有一个方法包含通用参数的类进行逆向工程:

public class OtherFoo {
    public <T extends Comparable<T>> boolean bar(T x, T y) {
        //fancy code goes here...
    }
}

你知道如何实现不管任何UML 2工具吗？我只是想了解这个概念。

Answer 1

我不知道如何在您选择的工具中执行此操作，但在模型级别，它的工作方式与类完全一样。您使用您的签名创建模板操作。

UML2 superstructure 的第 17.4.14 章指定此符号:

The template parameters and template parameter binding of a template operation are two lists in between the name of the operation and the parameters of the operation.
*<visibility> <name> ‘<‘ <template-parameter-list> ‘>’ ‘<<‘ <binding-expression-list> ‘>>’‘( ‘ <parameter> [‘,’<parameter>]** ‘)’ [‘:’ <property-string>]

在你的情况下，让我们先看看简单的情况

public <T> boolean bar(T x, T y)

这对应于

+ bar<T> (x: T, y: T) : Boolean

您的原始示例看起来有点复杂，因为模板参数被限制到另一个类 Comparable，而该类又是一个模板，其参数(我将其称为 T1)依次绑定(bind)到操作的参数。这给了我们

+ bar<T > Comparable<T1->T>> (x: T, y: T) : Boolean

注意:(前面有点深入的漫谈)UML(在某种程度上还有 C++)指定的模板与 Java 中的泛型截然不同.它们看起来或多或少相同，但它们的语义存在——有时是细微的——差异，这使得两者难以匹配。 UML 中最重要的一个是:

A template cannot be used in the same manner as a non-template element of the same kind. The template element can only be used to generate bound elements (e.g., a template class cannot be used as the type of a typed element) or as part of the specification of another template (e.g., a template class may specialize another template class).

这意味着在 UML 中，OtherFoo 也需要是一个模板 - 即具有模板签名(带有 0 个参数)。为了在模板范围之外正确使用操作模板——即在 Activity 或类似 Activity 中调用它——你首先必须将它绑定(bind)到一个具体的操作，而不是使用它。对于您的示例，这意味着:

1. 将 OtherFoo 模板绑定(bind)到(匿名)绑定(bind)类。
2. 将栏操作模板绑定(bind)到绑定(bind)类中的操作。