Переопределение & # 8220; равно & # 8221; Метод: как выяснить тип параметра?
-
06-07-2019 - |
Вопрос
Я пытаюсь переопределить метод equals
для параметризованного класса.
@Override
public boolean equals(Object obj) {
if (this == obj)
return true;
if (obj == null)
return false;
if (!(obj instanceof Tuple))
return false;
Tuple<E> other = (Tuple<E>) obj; //unchecked cast
if (!a0.equals(other.a0) && !a0.equals(other.a1)) {
return false;
}
if (!a1.equals(other.a1) && !a1.equals(other.a0)) {
return false;
}
return true;
}
Как я могу убедиться, что < E >
объекта other
совпадает с this
?
Решение
Это можно сделать, сохранив ссылку на тип Class < E >
. Однако, по моему мнению, тесты на равенство должны относиться к значениям, которые представляют объекты, а не к конкретным типам, значения которых выражаются .
Классическим примером этого является, например, API коллекций. new ArrayList < String > (). equals (new LinkedList < Object > ())
возвращает true
. Хотя они имеют совершенно разные типы, они представляют одно и то же значение, а именно «пустую коллекцию».
Лично, если два кортежа
, которые представляют одинаковые данные (например, (" a " ;, " b ")
), не равны, поскольку один из введите Tuple < String >
, а другой - Tuple < Object >
?
Другие советы
Из-за стирания вы не можете. Самое лучшее, что вы можете сделать, - это сохранить в классе кортежей тип, который вы планируете хранить в кортеже в " java.lang.Class " член поля. Затем вы можете сравнить эти поля, чтобы убедиться, что класс кортежа содержит те же типы.
Также посмотрите эту тему: Что эквивалентно паре C ++ < L , R & GT; на Java?
Это поможет, если вы напишете больше о своем классе. Я думаю, что непроверенный актерский состав и число полей, которые вы приравниваете, означают, что это должен быть Tuple < E, F > нет?
РЕДАКТИРОВАТЬ: вот полезный класс Pair, который я регулярно использую (вы можете адаптировать свой класс Tuple при необходимости). Обратите внимание, что аналогично предложениям других, этот класс просто позволяет содержащимся членам решать вопрос равенства. Ваш вариант использования - это то, что должно определять, действительно ли равенство основано на типе содержащихся в нем членов.
/**
* Adapted from http://forums.sun.com/thread.jspa?threadID=5132045
*
*
* @author Tim Harsch
*
* @param <L>
* @param <R>
*/
public class Pair<L, R> {
private final L left;
private final R right;
public R getRight() {
return right;
} // end getter
public L getLeft() {
return left;
} // end getter
public Pair(final L left, final R right) {
this.left = left;
this.right = right;
} // end constructor
public static <A, B> Pair<A, B> create(A left, B right) {
return new Pair<A, B>(left, right);
} // end factory method
@Override
public final boolean equals(Object o) {
if (!(o instanceof Pair<?,?>))
return false;
final Pair<?, ?> other = (Pair<?, ?>) o;
return equal(getLeft(), other.getLeft()) && equal(getRight(), other.getRight());
} // end method
public static final boolean equal(Object o1, Object o2) {
if (o1 == null) {
return o2 == null;
}
return o1.equals(o2);
} // end method
@Override
public int hashCode() {
int hLeft = getLeft() == null ? 0 : getLeft().hashCode();
int hRight = getRight() == null ? 0 : getRight().hashCode();
return hLeft + (37 * hRight);
} // end method
@Override
public String toString() {
StringBuilder sb = new StringBuilder();
sb.append('<');
if( left == null ) {
sb.append("null");
} else {
sb.append(left.toString());
} // end if
sb.append(',');
if( right == null ) {
sb.append("null");
} else {
sb.append(right.toString());
} // end if
sb.append('>');
return sb.toString();
} // end method
} // end class
Я сам столкнулся с этой проблемой, и в моем конкретном случае мне не нужно было знать тип E.
Например:
public class Example<E> {
E value;
public boolean equals(Object obj) {
if (this == obj)
return true;
if (obj == null)
return false;
if (getClass() != obj.getClass())
return false;
Example<?> other = (Example<?>) obj;
if (value == null) {
if (other.value != null)
return false;
} else if (!value.equals(other.value))
return false;
return true;
}
}
В приведенном выше коде нет непроверенного приведения из-за использования Example <? >
. Подстановочный знак параметра типа '?' спасает день.
К сожалению, вы не можете сделать это во время компиляции; информация ушла. Таковы последствия стирания типов . Альтернативой является сохранение параметра как экземпляра Class
, а затем поиск его позже.
Поскольку дженерики удаляются во время компиляции , вы в принципе не могу. Во время выполнения любой параметр типа пропадает, и что касается JVM, они абсолютно одинаковы во всех отношениях.
Способ обойти это - сохранить поле Class
, представляющее тип, и создать объект с этим типом в конструкторе.
Пример конструктора:
public class Tuple < E > {
public Tuple(Class<E> c) {
//store the class
}
}
Или вы можете использовать фабрику:
public static <E> Tuple <E> getTuple(Class<E> type) {
// Create and return the tuple,
// just store that type variable in it
// for future use in equals.
}
Предложения по сохранению ссылки на тип E
с объектом Class
кажутся неэффективными (это много бессмысленных ссылок на Class
занимает память) и бессмысленно для вашей проблемы.
Обычно неверно, что Foo < Bar >
и Foo < Baz >
должны быть неравными. Так что вам не нужно E
. И в написанном вами коде он даже не нужен для компиляции. Просто приведите к Tuple <? & Gt;
, так как это действительно все, что вы знаете о Tuple
на данный момент. Все равно компилируется и все.
Если вы передадите Tuple
с данными двух совершенно разных типов, эти элементы не будут equals
, и ваш метод вернет false
по желанию. (Надеюсь - зависит от тех типов, которые разумно реализуют equals
.)
Не по теме - понимаете ли вы, что в соответствии с вашей реализацией Tuple (a0, a1) равен Tuple (a1, a1)? Я подозреваю, что это не то, что вы хотите ...
По теме, как говорили другие, стирание делает это невозможным. Но вам следует пересмотреть причину, по которой вы этого хотите - проверка на равенство происходит только во время выполнения, а обобщения - только во время компиляции . Концептуально, переменная имеет общие параметры, а объект - нет. Таким образом, когда вы сравниваете равенство объектов, общие параметры не имеют значения вообще; вы все равно не можете предпринять соответствующие действия на их основе во время выполнения.
Равенство объектов и общая ко-/ дисперсионность параметров - это две ортогональные проблемы.
Я согласен с комментариями выше, почему класс E должен быть равен? и как вы хотите относиться к подклассам E?
В любом случае, учитывая, что вот пример кода, который может вам помочь:
public class Example<T> {
T t;
public Example(T t) {
this.t = t;
}
public static void main(String[] args) {
final String s = "string";
final Integer i = 1;
final Number n = 1;
final Example<String> exampleString = new Example<String>(s);
final Example<Integer> exampleInteger = new Example<Integer>(i);
final Example<Number> exampleNumber = new Example<Number>(n);
System.out.println("exampleString subclass " + exampleString.t.getClass());
System.out.println("exmapleIntger subclass " + exampleInteger.t.getClass());
System.out.println("exmapleNumber subclass " + exampleNumber.t.getClass());
System.out.println("Integer equals Number = " +
exampleInteger.t.equals(exampleNumber.t));
}
}
Вы можете вызвать t.getClass (), чтобы получить информацию о классе о типе T (конечно, при условии, что он не равен нулю.)
Надеюсь, это поможет.
Используйте отражение. http://tutorials.jenkov.com/java-reflection/generics.html р>