在抽象java类中正确使用泛型?
编辑:这个问题措辞不好,提供的答案从字面上看是正确的,但没有教我如何达到我所需要的。如果您正在为同样的问题而苦苦挣扎,这最终帮助了我:当这些方法的返回类型取决于子类时,如何强制执行子类行为/方法?
我正在尝试从我编写的样板抽象类中实现一个基本的矩阵类。这个抽象类会有几个实现,每个实现都使用不同的数学库,然后我将测试速度。
每个实现都将其数据保存在该库的本机矩阵数据结构中。我认为这是泛型的一个用例。在这一点上,我想我已经阅读了太多的教程并观看了太多的视频,因为我似乎无法找出所有正确的位置来放置TNotation 以使其正常工作。
所以我的问题是双重的:
- 我是否误用或错过了泛型的要点?
- 如果没有,它们使用的正确语法是什么?
我已经阅读了文档以及大约三个不同的教程,但仍然无法理解。
这是我尝试过的:
public abstract class BaseMatrix<T> {
protected int[] shape;
protected int nrows;
protected int ncols;
protected T data; // <--- Here is the generic data --->
public BaseMatrix(int rows, int cols){
this.nrows = rows;
this.ncols = cols;
this.shape = new int[]{nrows, ncols};
}
public abstract BaseMatrix mmul(BaseMatrix other);
这是我的实现:
public class ND4JDenseMatrix extends BaseMatrix{
// private INDArray data;
public ND4JDenseMatrix(int rows, int cols) {
super(rows, cols);
this.data = Nd4j.zeros(this.shape); <--- Here is the non-generic data --->
}
@Override
public ND4JDenseMatrix mmul(ND4JDenseMatrix other) {
ND4JDenseMatrix result = new ND4JDenseMatrix(nrows, ncols);
result.data = data.mmul(other.data);
return result;
}
错误是: Method does not override method from its superclass.
回答
将其数据保存在该库的本机矩阵数据结构中。我认为这是泛型的一个用例。
泛型用于链接事物。您使用 声明了类型变量<T>,并且在粘贴时使用了它,正好在一个地方(T 类型的字段)。这是一个危险信号;一般来说,考虑到它链接事物,如果你只在一个地方使用它,这通常是一个坏兆头。
这就是我的意思:想象一下你想写一个方法,它说:这个方法接受 2 个参数并返回一些东西。这段代码并不特别关心你在这里折腾什么,但是,参数必须是相同的类型,我也返回那种类型的东西。要链接参数的类型,其他参数的类型和返回类型在一起。
这就是泛型的用途。
如果我们稍微改变一下思路,它可能适用于这里:您想将data字段的类型与 BaseMatrix 的某些特定实现只能对某些特定类型(例如 ND4JMatrix)进行操作的概念相关联。
然而,大多数情况下,不,这并没有让我觉得正确使用泛型。你可以很容易地完全避免它:只要......停止拥有那个private T data;领域。你在这里有什么好处?您不知道那是什么类型,甚至不知道它是否可序列化。你对此一无所知,编译器证实了这一点:你可以对那个对象做任何事情,除了你可以对所有通常很无趣的对象做的事情。你可以调用.toString()它,同步它,也许调用它.hashCode(),就是这样。
为什么不直接放弃那个领域?实现可以使字段,不需要它在基地!
public class ND4JDense extends BaseMatrix {
private ND4JMatrix data; // why not like this?
}
(此代码假定 'ND4JMatrix' 是您在此处所需的正确数据类型,这可能是 ND4J impl 中数据的内部表示)。
但是,如果你必须,是的,你可以在这里使用泛型。您已经对 BaseMatrix 进行了类型修改,这意味着BaseMatrix 的所有用法都必须参数化。那是你在代码中搞砸的部分。如果我们采用类型参数化 BaseMatrix 类和 T 类型字段的计划,正确的代码是:
public class ND4JDense extends BaseMatrix<ND4JMatrix> {
...
}
但是,我不会这样做(我会选择让 impl 拥有该领域,简单得多,不需要用泛型来打扰任何人)。除非,当然,你不要有该领域中的实际需要,这是BaseMatrix的API的一部分。例如,如果你想要这个:
public class BaseMatrix<T> {
public T getData() { return data; }
}
然后它开始变得更有意义。有了它,您可以编写以下内容,它们都可以编译并运行良好:
public class ND4JDense extends BaseMatrix<ND4JMatrix> {
...
// no need to write a getData method here at all!
...
}
ND4JDense dense = new ND4JDense();
ND4JMatrix matrix = dense.getData();
但是,很明显,如果您打算让 ND4JMatrix 保留 BaseMatrix API 的用户可能不应该接触的实现细节,那么这毫无意义。
编辑:你后来改变了我的问题。现在您希望该mmul方法有效地将“self”作为参数:您希望传入相同的类型。
你可以这样做,但这有点棘手。您需要 self-ref 泛型 hack。它看起来像这样:
public class BaseMatrix<T extends BaseMatrix<T>> {
public abstract T mmul(T other);
}
实际上,T 的唯一有效值是您自己的类,或者至少,这是意图。这工作正常:
public class ND4JDenseMatrix extends BaseMatrix<ND4JDenseMatrix> {
public ND4JDenseMatrix mmul(ND4JDenseMatrix other) {
.. impl here ..
}
}