java - 是否有一个 java 方法的名称被认为与任何特定类分开？

Question

这是一个术语问题，很难问!

我举个例子。假设我正在编写一个符号微分算法。我有一个抽象类 Exp，它是一堆表达式类型(求和、积分等)的父类(super class)。有一个抽象方法导数使得 e.derivative() 应该是表达式 e 的导数。 Exp 的所有具体子类(想象一下这里的整个层次结构)都实现了一个派生方法，该方法获取有关如何区分该类型表达式的知识。给定的方法通常会通过组合子表达式的导数来计算表达式的导数。

示例的细节并不重要。重要的是所有这些分散的方法都可以被认为是一个(递归)算法的一部分。并非所有方法都如此，但其中许多方法都是如此(使用重载为根本不同的操作重用相同的方法名称被认为是一个坏主意)。问题是，将“导数”视为单一函数的术语是什么？这不是一种方法；在另一种语言中，它将是一个函数，各种子句(如何处理求和，如何处理积分)将在同一个地方。我不关心哪种方法或语言更好，或者那种风格是否可以在 Java 中使用。我只想知道将什么术语用于“导数”被视为单个函数或过程(这个想法不限于函数式编程，递归也不是关键特征)。当我告诉别人我今天做了什么时，我想说“我试图实现符号微分__，但我想到的每个算法都不起作用。”空白处是什么？

我认为其他 OO 语言也会出现同样的问题，但 Java 是我最熟悉的语言。我对它非常熟悉，所以我很确定没有标准术语，但我想在得出这个结论之前我会问问我们这里的优秀专家。

Answer 1

这听起来很“正常”subtype polymorphism .子类/实现完成工作，但接口(interface)是在基类型中定义的。这种“分散”方法与Visitor Pattern相反。 (“与 Java 一样好”)或模式匹配(不是 Java)或一个大的 switch/if-else Controller 。我不确定我是否真的会称其为任何其他聚合。

附录:您可能会发现 Are Scala case-classes a failed experiment?一个很好的阅读。特别是关于“列”与“行”组织以及每种方法的“局部差异”的评论:

...in OO, you divide by rows. Each row is a module, called a class. All the functions pertaining to that data variant are grouped together. This is a reasonable way of organizing things, and it's very common. The advantage is that's easy to add a data variant ... However the disadvantage is that it's hard to add new functions that vary by data type. You have to go through every class to add a new method.