Проблемы, когда не генерический метод переопределяет общий метод ⇐ JAVA

[Anonymous]

До generic был добавлен в язык Java, был класс Super , который был определен как:
class Super {
public Object transform(Object t) { ... }
public Object get() { ... }
}

Как пользователь этого класса, я могу вывести подклассу из super :
class Sub extends Super {
public Object transform(Object t) { ... } // override
public Object get() { ... } // override
}

Transform и get в sub переопределить Transform и Get в Super . Однажды, Generic был добавлен в Java Language, автор Super класса>, который хотел реинжинирировать, он изменил Super на новую форму, используя Generic:
< Pre Class = "Lang-Java PrettyPrint-Override">class Super {
public T transform(T t) { ... }
public T get() { ... }
}

для обратной совместимости Java позволяет негенерическо такая же стирание . Подпись Transform в sub и стирание подписи Transform в Super идентичны. Таким образом, независимо от того, является ли это до или после реинжиниринга Super , пользователям Super не нужно изменять код, используя Super . Br/> Если Super рефактируется в общий тип, пользователям Super также не нужно изменять какой -либо код. Однако в этом случае необработанный тип используется в SUPERSENDS SUPER .
class Super {
public T transform(T t) { ... }
public T get() { ... }
}
< /code>

Теперь определите подкласс Super < /code> - sub < /code>: < /p>
class Sub extends Super {
public Object transform(Object t) { ... } // override
}

Transform в sub имеет ту же подпись, что и стирание подписи Transform в Super Полем Это побуждает меня судить: если метод get () добавляется в sub , он также должен переопределить метод get () в Super Полем Однако во время компиляции я обнаружил, что он не только не может переопределяться, но и приводит к несовместимой ошибке возврата . Почему в этом случае не может быть метод get () в sub применить то же правило стирания для достижения переоценки?
// after adding get() method to Sub
class Sub extends Super {
public Object transform(Object t) { ... } // override
public Object get() { ... } // error: incompatible return type
}
< /code>
В конце концов, в следующей форме кода метод get () в подклассе переопределяет метод get () в Superclass. Почему это правило не может быть применено в случае, когда я столкнулся с ошибкой?class Super {
public T transform(T t) { ... }
public T get() { ... }
}

class Sub extends {
public Object transform(Object t) { ... } // override
public Object get() { ... } // override!
}


Подробнее здесь: https://stackoverflow.com/questions/794 ... ric-method