如何实现通用对的等于？

Question

只是为了好玩，我正在尝试用Java实现泛型Pair类。我在使用equals时遇到了麻烦：

public class Pair<A, B>
{
    public final A _1;
    public final B _2;

    // ... unnecessary details left out ...

    public boolean equals(Pair<A, B> that)
    {
        return (_1.equals(that._1)) && (_2.equals(that._2));
    }

    @Override
    public boolean equals(Object o)
    {
        return (o instanceof Pair<A, B>) && equals((Pair<A, B>) o);
    }
}

然而，o instanceof Pair<A, B>似乎不起作用。这是为什么？

使用(o instanceof Pair) && equals((Pair<A, B>) o)给了我一个关于演员的警告。摆脱演员阵容中的<A, B>部分仍然给了我一个警告，我想这也是有道理的。

这是否意味着Java无法阻止客户端比较具有不同类型参数的Pairs？

Answer 1

这是否意味着Java无法阻止客户端比较具有不同类型参数的Pairs？

是的，但这就是重点 - equals应该与任意对象一起使用。你想要的样子

@Override
public boolean equals(Object o)
{
    if (o instanceof Pair) {
       Pair<?, ?> pair = (Pair<?, ?>) o;
       return _1.equals(pair._1) && _2.equals(pair._2);
    }
    return false;
}

但这应该没问题，只要A和B有适当的equals实现任意Objects。

Answer 2

你不能像instanceof一样使用type erasure。你只能检查instanceof Pair。 还有什么是_1和_2？真？

Answer 3

o instanceof Pair<A, B> 

不起作用，因为泛型在运行时不存在，因此instanceof不知道它们。