Чому абстрактний клас, що реалізує інтерфейс, може пропустити оголошення / реалізацію одного з методів інтерфейсу?

Цікава річ відбувається в Java, коли ви використовуєте абстрактний клас для реалізації інтерфейсу: деякі методи інтерфейсу можуть бути повністю відсутні (тобто немає абстрактної декларації чи реальної реалізації), але компілятор не скаржиться.

Наприклад, з урахуванням інтерфейсу:

public interface IAnything {
  void m1();
  void m2();
  void m3();
}

такий абстрактний клас весело складається без попередження або помилки:

public abstract class AbstractThing implements IAnything {
  public void m1() {}
  public void m3() {}
}

Чи можете ви пояснити, чому?

Це тому, що якщо клас абстрактний, то за визначенням вам потрібно створити його підкласи для інстанції. Підкласи будуть потрібні (компілятором) для реалізації будь-яких методів інтерфейсу, які абстрактний клас залишив.

Слідуючи прикладу коду, спробуйте скласти підклас AbstractThingбез застосування m2методу і подивитися, які помилки дає вам компілятор. Це змусить вас застосувати цей метод.

Ідеально чудово.
Ви не можете створити абстрактні класи. Але абстрактні класи можуть використовуватися для розміщення загальних реалізацій для m1 () та m3 ().
Таким чином, якщо реалізація m2 () відрізняється для кожної реалізації, але m1 і m3 не є. Ви можете створити різні конкретні реалізації IAnything з просто різною реалізацією м2 та походити від AbstractThing - вшановуючи принцип DRY. Перевірка, якщо інтерфейс повністю реалізований для абстрактного класу, марний.

Оновлення : Цікаво, що я вважаю, що C # виконує це як помилку компіляції. У цьому сценарії ви змушені копіювати підписи методів і префіксувати їх "абстрактним публічним" у абстрактному базовому класі .. (щось нове щодня :)

Добре. Щоб зрозуміти вищесказане, потрібно спочатку зрозуміти природу абстрактних класів. Вони схожі на інтерфейси в цьому відношенні. Про це тут говорять Oracle .

Абстрактні класи схожі на інтерфейси. Ви не можете їх створити, і вони можуть містити поєднання методів, оголошених із реалізацією або без неї.

Тож вам доведеться подумати про те, що відбувається, коли інтерфейс розширює інший інтерфейс. Наприклад ...

//Filename: Sports.java
public interface Sports
{
   public void setHomeTeam(String name);
   public void setVisitingTeam(String name);
}

//Filename: Football.java
public interface Football extends Sports
{
   public void homeTeamScored(int points);
   public void visitingTeamScored(int points);
   public void endOfQuarter(int quarter);
}

... як ви бачите, це також ідеально чудово. Просто тому, що, як і абстрактний клас, інтерфейс НЕ МОЖЕТ бути екземпляром. Отже, не потрібно чітко згадувати методи від свого «батьківського». Однак ВСІ батьківські підписи методу DO неявно стають частиною інтерфейсу, що розширюється, або реалізації абстрактного класу. Отже, як тільки власний клас (той, який можна створити інстанцію) розширює вище, потрібно буде забезпечити реалізацію кожного абстрактного методу.

Сподіваюсь, що це допоможе ... і Аллах, алам!

Інтерфейс означає клас, який не реалізує свого методу, а лише з декларацією.
З іншого боку, абстрактний клас - це клас, який може мати реалізацію якогось методу разом з якимсь методом із просто декларацією, без реалізації.
Коли ми реалізуємо інтерфейс до абстрактного класу, це означає, що абстрактний клас успадкував усі методи інтерфейсу. Оскільки, не важливо впроваджувати весь метод у абстрактному класі, однак це стосується абстрактного класу (також у спадок), тому абстрактний клас може залишити частину методу в інтерфейсі без реалізації тут. Але, коли цей абстрактний клас буде успадкований деяким конкретним класом, їм доведеться реалізувати всі ці нереалізовані методи там у абстрактному класі.

Враховуючи інтерфейс:

public interface IAnything {
  int i;
  void m1();
  void m2();
  void m3();
}

Ось як насправді бачить Java:

public interface IAnything {
  public static final int i;
  public abstract void m1();
  public abstract void m2();
  public abstract void m3();
}

Таким чином, ви можете залишити деякі (або всі) з цих abstractметодів без виконання, так само, як у випадку з abstractкласами, що розширюють інший abstractклас.

Коли ви , правило , що всі методи повинні бути реалізовані в похідному , відноситься тільки до конкретної реалізації (тобто, що ні сам по собі).implementinterfaceinterfaceclassclassabstract

Якщо ви дійсно плануєте створити abstract classйого, тоді немає жодного правила, яке говорить про те, що ви дотримуєтесь implementвсіх interfaceметодів (зауважте, що в такому випадку обов'язково оголошувати похідне classяк abstract)

Коли абстрактний клас реалізує інтерфейс

У розділі «Інтерфейси» було зазначено, що клас, який реалізує інтерфейс, повинен реалізовувати всі методи інтерфейсу. Однак можна визначити клас, який не реалізує всі методи інтерфейсу, за умови, що клас оголошено абстрактним. Наприклад,

abstract class X implements Y {   
    // implements all but one method of Y
}

class XX extends X {   
    // implements the remaining method in Y 
} 

У цьому випадку клас X повинен бути абстрактним, оскільки він не повністю реалізує Y, але клас XX насправді реалізує Y.

Довідка: http://docs.oracle.com/javase/tutorial/java/IandI/ab абстракт.html

Абстрактні класи не потрібні для реалізації методів. Тож хоча він реалізує інтерфейс, абстрактні методи інтерфейсу можуть залишатися абстрактними. Якщо ви спробуєте реалізувати інтерфейс у конкретному класі (тобто не абстрактному), а ви не реалізуєте абстрактні методи, компілятор скаже вам: або реалізуйте абстрактні методи, або оголосити клас абстрактним.