当参数是函数时，如何在 UML 类图中表示参数的类型？

Question

例如，一个类有一个方法compute()（为了清楚起见，使用 Python 语法并删除了 self 参数）：

def compute(computation_fn):
    return computation_fn(5)

假设computation_fn 将int 映射到int。在 UML 类图中，我应该这样写吗？

+ compute(computation_fn: (num: int): int): int

如果这已经在某个地方得到了回答，只需删除一个链接！我一直在寻找答案。

Answer 1

UML 确实只有基本类型 Integer、Boolean、String、UnlimitedNatural 和 Real。

您还可以使用您在模型中定义的任何类作为类型。对此，您可以很好地定义一个class that corresponds to a kind of functions，例如FunctionOfIntToInt。在任何使用可调用对象的设计中，这都是常见的做法。

UML 还可以在配置文件中添加其他类型。很多时候，您会看到使用的您最喜欢的语言类型。这假定使用特定语言的配置文件。但通常它是固定的类型名称（例如Date、UInt8、...）。您可以想象一个称为(int):int 的类型，但是对于已经使用: 的UML 语法，这将是模棱两可的。

不幸的是，UML 的类型系统中没有任何东西可以表示具有任意数量的灵活类型参数的函数。因此，这完全取决于您需要与 UML 的兼容程度：

• Python 程序员可以理解您在图中使用的任何 Python 类型，包括函数类型，即使它不是“纯”UML。所以这将是务实的做法。尽管如此，我还是建议将返回类型的 : 替换为 -> 以避免词汇混淆
• 但是，如果您必须按书行事，则配置文件不允许在现有 UML 机制之上组合类型的语法扩展。有一个解决方法。您可以使用 UML 模板类来表示函数。第一个参数是返回类型，其余模板参数是参数类型。然后，您将使用 UML 的本机 template binding 语法来实例化模板以用于输入目的。但我同意，它更笨拙（即使 C++ std::function template 的任何用户都觉得它很熟悉。