Почему абстрактный класс заставляет конкретный метод переопределяться?

Я использую библиотеку, где абстрактный класс переопределяет конкретный метод, унаследованный от Object с абстрактным способом:Почему абстрактный класс заставляет конкретный метод переопределяться?

public abstract class A { 
    @Override 
    public abstract boolean equals(Object obj); 
}

Чтобы расширить этот класс, я должен реализовать equals метод:

public class B extends A { 
    @Override 
    public boolean equals(Object obj) { 
     return obj != null && obj.getClass() == B.class; 
    } 
}

Почему абстрактный метод (A::equals) переопределяет конкретный метод (Object::equals)? Я не вижу цели этого.

источник

2015-06-17 gontard

Здесь обратное - базовый класс имеет абстрактный метод, а неабстрактный производный класс имеет не абстрактный метод, который переопределяет метод базового класса. – sharptooth

@sharptooth Мой вопрос был не очень ясен. Я говорю о 'A :: equals' overriding' Object :: equals' – gontard

Думаю, вы должны прямо сказать это в вопросе. Поскольку вы только представили два своих класса, я был уверен, что вопрос касается только их. – sharptooth

В этом конкретном примере это имеет смысл. Если подклассы A предназначены для использования в коллекциях, где equals широко используется для поиска объектов, то создание абстрактного метода Aequals приводит к тому, что вы даете нестандартную реализацию equals в любых подклассах A (вместо используя стандартную реализацию класса Object, которая сравнивает только примеры экземпляров).

Конечно, ваша предлагаемая реализация equals в B имеет мало смысла. Вы должны сравнивать свойства экземпляров 2 B, чтобы определить, равны ли они.

Это более подходит реализация:

public class B extends A { 
    @Override 
    public boolean equals(Object obj) { 
     if (!(obj instanceof B)) 
      return false; 
     B other = (B) obj; 
     return this.someProperty.equals(other.someProperty) && this.secondProperty.equals(other.secondProperty); 
    } 
}

Кроме того, помните, чтобы переопределить hashCode всякий раз, когда вы переопределить equals (с договором equals и hashCode требует, что если a.equals(b) == true затем a.hashCode() == b.hashCode()).

источник

2015-06-17 07:39:31 Eran

Если 'B' не имеет других свойств (и не имеет' A'), которые делают экземпляры разными друг от друга, реализация, как в вопросе, может быть разумной. Хотя сравнение с 'this.getClass()' экземпляром 'B.class' было бы более правильным при рассмотрении подклассов' B'. –

Да, может быть, 'B' является Singleton – acbabis

Потому что в этом случае вы хотели бы, чтобы ваши объекты определяли свои собственные equals, которые предположительно будут отличаться от реализации по умолчанию.

Вы не должны смотреть на это как , удаляя функциональность, а скорее применяя к тому, чтобы наследующие объекты реализовывали свои собственные.

источник

2015-06-17 07:40:12 npinti

Вы понятны, я действительно видел это * как удаление функциональности *. – gontard

@gontard: В этом случае вы * хотите * реализовать классы, чтобы определить их собственное поведение. Для этого вам необходимо убедиться, что реализация по умолчанию недоступна, чтобы получить желаемое поведение. – npinti

На самом деле он [по-прежнему доступен] (http://stackoverflow.com/a/2692379/823393), но совсем не легко. – OldCurmudgeon

Это позволит вам подставить подкласс для переопределения метода. Является ли это хорошей идеей или нет, другое дело. Вы сделали бы это только в том случае, если хотите применить более сильный контракт, чем оригинальный метод. Затем вы должны тщательно документировать новый контракт.

источник

2015-06-17 07:40:25

Это означает, что вы должны реализовать свой собственный метод equals()

источник

2015-06-17 07:41:27

Поскольку все классы в Java по своей сути расширить Object класс. Класс A наследует метод Object#equals. Предположим, вы хотите принудительно выполнить компиляцию, когда метод equals явно не реализован, как в этом example. Создание абстрактного метода equals без блока реализации позволит вам сделать это.

источник

2015-06-17 08:33:13 cosbor11

Почему абстрактный класс заставляет конкретный метод переопределяться?

ответ

Смежные вопросы