Переопределение метода с Универсальными Параметрами в Java?

В Java все переменные, которые вы объявляете, на самом деле являются «ссылками» на объекты (или примитивы), а не самими объектами.

При попытке выполнить один метод объекта , ссылка просит живой объект выполнить этот метод. Но если ссылка ссылается на NULL (ничего, нуль, void, nada), то нет способа, которым метод будет выполнен. Тогда runtime сообщит вам об этом, выбросив исключение NullPointerException.

Ваша ссылка «указывает» на нуль, таким образом, «Null -> Pointer».

Объект живет в памяти виртуальной машины пространство и единственный способ доступа к нему - использовать ссылки this. Возьмем этот пример:

public class Some {
    private int id;
    public int getId(){
        return this.id;
    }
    public setId( int newId ) {
        this.id = newId;
    }
}

И в другом месте вашего кода:

Some reference = new Some();    // Point to a new object of type Some()
Some otherReference = null;     // Initiallly this points to NULL

reference.setId( 1 );           // Execute setId method, now private var id is 1

System.out.println( reference.getId() ); // Prints 1 to the console

otherReference = reference      // Now they both point to the only object.

reference = null;               // "reference" now point to null.

// But "otherReference" still point to the "real" object so this print 1 too...
System.out.println( otherReference.getId() );

// Guess what will happen
System.out.println( reference.getId() ); // :S Throws NullPointerException because "reference" is pointing to NULL remember...

Это важно знать - когда больше нет ссылок на объект (в пример выше, когда reference и otherReference оба указывают на null), тогда объект «недоступен». Мы не можем работать с ним, поэтому этот объект готов к сбору мусора, и в какой-то момент VM освободит память, используемую этим объектом, и выделит другую.

42
задан reevesy 13 January 2013 в 13:57
поделиться

2 ответа

Нет, это не переопределяет его правильно. Переопределение означает, что необходимо быть в состоянии справиться с любым допустимым входом к базовому классу. Рассмотрите то, что произошло бы, если бы клиент сделал это:

Monitor x = new EmailMonitor();
List<NonEmailAccount> nonEmailAccounts = ...;
x.performMonitor(nonEmailAccounts);

нет ничего там, которое должно дать ошибку времени компиляции, учитывая Ваше описание - но это явно неправильно.

Это звучит мне как Monitor, должно быть универсальным в типе учетной записи, которую это может контролировать, таким образом, Ваш EmailMonitor должен расшириться Monitor<EmailAccount>. Так:

public abtract class Monitor<T extends MonitorAccount>
{
    ...
    public abstract List<? extends T> performMonitor(
        List<? extends T> accounts);
}

public class EmailMonitor extends Monitor<EmailAccount>
{
    @Override
    public abstract List<? extends EmailAccount> performMonitor(
        List<? extends EmailAccount> accounts)
    {
        // Code goes here
    }
}

Вы могли бы хотеть думать тщательно о дженериках в эти performMonitor вызов, хотя - что возвращаемое значение предназначено для выражения?

34
ответ дан Jon Skeet 26 November 2019 в 23:59
поделиться

Вот мое собственное решение. Я подозреваю, что это - то же самое, которое Jon Skeet пытался достигнуть... без опечатки (см. мой комментарий в ответ на его ответ).

класс Monitor.java :

public abstract class Monitor <T extends MonitorAccount> {
  ...
  public abstract List<T> performMonitor(List<T> accounts);
  ..
}

EmailMonitor.java

public class EmailMonitor extends Monitor<EmailAccount> {
  ...
  public List<EmailAccount> performMonitor(List<EmailAccount> emailAccounts) {
    ..//logic...logic...logic
    return emailAccounts;
  }
  ...
}

В этой конфигурации, EmailMonitor.performMonitor () будет всегда проверять во время компиляции, что это получает список EmailAccount, а не любой из моих других типов FTPAccount, DBAccount, и т.д... Это намного более чисто, чем альтернатива, которая получала бы/отправляла бы необработанный список и затем имела бы для принуждения его необходимый тип, приводящий к потенциальным исключениям кастинга типа выполнения.

9
ответ дан Thomas Eizinger 26 November 2019 в 23:59
поделиться
Другие вопросы по тегам:

Похожие вопросы: