你如何表明一个类将有一个特定的静态方法？

Question

我目前有一个接口 Ring，它指定了加法、乘法等方法。因此，只要 E 扩展 Ring，我就可以创建一类向量，其元素为 E 类型，具有加法、点积等。例如，一个非常简单的类可能看起来像

public class Vector<E extends Ring<E>> {

     List<E> data;

     public Vector() {
          // constructor implementation here
     }

     public E dot(Vector<E> other) {
          // initialize ``result" somehow
          for (int index=0; index<data.size(); index++) {
              result.add(data.get(index).multiply(other.get(index)));
          }
          return result;
     }

}

在这个简单的例子中，可以简单地将结果初始化为 data.get(0).multiply(other.get(0)) 然后从 1 开始 for 循环，但我想知道是否有一种指定存在类型 E 的“零元素”的方法。

理想情况下，我想指定 E 有一个名为 zero() 的静态方法，因此零元素就是 E.zero()。我似乎无法找到一种方法来做到这一点。另一方面，我不能只将 zero() 方法添加到 Ring 接口，因为那样我将不得不执行类似 (new E()).zero() 之类的操作，当然不能在其中创建通用构造函数那样。有一个愚蠢的捷径，涉及像 E zero = data.get(0).zero() 之类的东西，但这似乎不是很好，只有当我已经有另一个 E 类型元素的实例漂浮在周围时才有效（这可能不是在另一种情况下是这种情况）。那么，有没有什么好的方法来指定这样一个零元素的存在，保证在任何扩展 Ring 的 E 类中实现？

Answer 1

您不能要求实现类具有静态方法。我建议您不要重用像 Vector 这样的常见内置类名称，因为它会导致混淆。

如果您对构造有重要要求，我建议您使用工厂方法来创建实例。在您的情况下，您可以指定 E 有一个方法 zero() 即使它不是静态的。问题是您必须将类或该类的实例作为参数传递。方法/构造函数不知道您在调用它时使用了哪些泛型，它们必须是参数。