Java 泛型 - 难以执行强类型检查

Question

这是我的代码：

public class Sequence<T> {

    protected List<T> sequence = new ArrayList<T>();

    public Matrix<OrderedPair<T, ?>> createCartesianProduct(Sequence<?> secondSequence) {
        Matrix<OrderedPair<T, ?>> result = new Matrix<OrderedPair<T, ?>>();
        for (int rowIndex = 0; rowIndex < sequence.size(); rowIndex++) {
            Sequence<OrderedPair<T, ?>> row = new Sequence<OrderedPair<T, ?>>();
            for (int columnIndex = 0; columnIndex < secondSequence.length(); columnIndex++) {
                row.add(new OrderedPair(sequence.get(rowIndex), secondSequence.sequence.get(columnIndex)));
            }
        }
        return result;
    }
}

它在 Eclipse 中编译，但在内部 for 循环 ( row.add(...) ) 内的行上，我收到以下三个警告：

• OrderedPair 是原始类型。 对泛型类型 OrderedPair() 的引用应该参数化。
• 类型安全：OrderedPair 类型的表达式需要未经检查的转换以符合 OrderedPair
• 类型安全：构造函数 OrderedPair(Object, Object) 属于原始类型 OrderedPair。 对泛型类型 OrderedPair 的引用应该参数化

我想使用泛型来强制执行强类型检查，但我想我对泛型的理解不足以让我看到如何。 有人可以教育我吗？

谢谢，

--肯

Answer 1

内部 for 循环中的构造函数应该具有泛型：

row.add(new OrderedPair <T, ?> (sequence.get(rowIndex), secondSequence.sequence.get(columnIndex)));

但你不能像这样使用 ? ； 因此您需要将所有 ? 替换为字母，例如 E。 然后将 添加到签名中，如下所示：

public <E> Matrix<OrderedPair<T, E>> createCartesianProduct(Sequence<E> secondSequence) {

否则，编译器将不知道 E 来自哪里。

Answer 2

OrderedPair 没有被泛化，但它被添加到泛化的列表（序列）中。 您必须使用泛型构造 OrderedPair，例如执行“new OrderedPair<...>(...)”，以消除此警告。

在这里，我向整个方法添加了泛型，因此返回类型与 secondarySequence 的类型匹配：

public <Z> Matrix<OrderedPair<T, Z>> createCartesianProduct(Sequence<Z> secondSequence) {
    Matrix<OrderedPair<T, Z>> result = new Matrix<OrderedPair<T, Z>>();
    for (int rowIndex = 0; rowIndex < sequence.size(); rowIndex++) {
        Sequence<OrderedPair<T, Z>> row = new Sequence<OrderedPair<T, Z>>();
        for (int columnIndex = 0; columnIndex < secondSequence.length(); columnIndex++) {
            addToRow(row, sequence.get(rowIndex), secondSequence.sequence.get(columnIndex));
        }
    }
    return result;
}

static <T, Z> void addToRow(Sequence<OrderedPair<T, Z>> seq, T t, Z z) {
    seq.add(new OrderedPair<T, Z>(t, z));
}

Answer 3

我认为你在这里有点困惑。 在类型 Sequence 中，T 是什么？

如果您定义一个 Sequence> 那么您最终会在 T 上递归。

请看看您是否真正需要的是这样的：

public class Sequence<T> {

    protected List<T> sequence = new ArrayList<T>();

    public <T2> Matrix<OrderedPair<T, T2>> createCartesianProduct(Sequence<T2> secondSequence) {
        Matrix<OrderedPair<T, T2>> result = new Matrix<OrderedPair<T, T2>>();
        for (int rowIndex = 0; rowIndex < sequence.size(); rowIndex++) {
                Sequence<T> row = new Sequence<T>();
                for (int columnIndex = 0; columnIndex < secondSequence.length(); columnIndex++) {
                        row.add(new OrderedPair<T, T2>(sequence.get(rowIndex), secondSequence.sequence.get(columnIndex)));
                }
        }
        return result;
    }
}

Answer 4

信任编译器并在调用 OrderedPair 时始终尝试使用通用参数:)
这不是必需的，但我认为这是一个很好的做法。

在 Java 中严格泛型应用是不可能的，因为：

类型擦除

Answer 5

您需要做的就是向构造函数添加泛型类型，如下所示：

row.add(new OrderedPair<T, ?>(sequence.get(rowIndex), secondSequence.sequence.get(columnIndex)));

编译器会抛出错误，因为 OrderedPair 期望接收类型 while您在没有任何显式类型的情况下传递它们。 编译器谈论的未经检查的转换是因为基本上你给构造函数，而它想要 因此正在进行未经检查的转换，如果意外传递了错误的类型，则可能会引发异常。