我得到了一个基类,如下所示:
Class MyBase{
public abstract <T> Student assign (T object);
}
我扩展如下:
Class MyClass extends MyBase{
@Override
public abstract <T> Student assign (T object){
Student stew = new Student();
......
}
}
我的预期用途是:传入的对象应该是Teacher类型。在该方法中,我想创建一个新的Student,它将通过调用Teacher上的函数来获得一些值。(例如,stew.setTeacherName=教师.getName();)然后将Student返回给调用者。
问题:a) 我如何获得预期行为?b) 以当前方式声明MyBase与执行MyBase有什么区别?c) 我有兴趣了解在我可以更改基类而不能更改基类的情况下的解决方案。
提前感谢您的帮助。此外,如果有任何有用的资源/教程,你可以向我介绍,那将是非常棒的。再次感谢。
如果以这种方式定义MyBase
,则不能保证传递给MyClass
的assign
方法的object
是Teacher
。如果允许修改MyBase
,请执行以下操作:
abstract class MyBase
{
public abstract <T extends Teacher> Student assign (T object);
}
并将其扩展到您的类:
class MyClass extends MyBase
{
@Override
public <T extends Teacher> Student assign (T object){
Student stew = new Student();
......
}
}
这将保证传入的object
是Teacher
,即使它实际上是Teacher
的子类的实例。
EDIT:修改MyBase
的另一种方法。将泛型参数作为类定义的一部分,而不是方法定义。
abstract class MyBase<T extends Teacher>
{
public abstract Student assign (T object);
}
class MyClass<T extends Teacher> extends MyBase<T>
{
@Override
public Student assign (T object)
{
Student stew = new Student();
......
}
}
// Could also do this...
class MyClass2 extends MyBase<Teacher>
{
@Override
public Student assign (Teacher object)
{
Student stew = new Student();
......
}
}
下面是Oracle的Java泛型教程。
如果不能修改基类,就没有真正涉及泛型的方法。你可以做两件事。一是检查对象的运行时类型,如果它是老师,就做一件事,如果不是,就做另一件事。
public class MyClass extends MyBase {
@Override public <T> Student assign(T object) {
Student student = new Student();
if (object instanceof Teacher) {
Teacher teacher = (Teacher) object;
student.setTeacherName(teacher.getName());
} else {
student.setTeacherName("unknown");
}
return student;
}
}
第二,在MyClass中创建两个独立的assign
方法,一个覆盖基类中的泛型方法,另一个只将Teacher作为参数的非泛型方法。
public class MyClass extends MyBase {
@Override public <T> Student assign(T object) {
return new Student();
}
public Student assign(Teacher teacher) {
Student student = new Student();
student.setTeacherName(teacher.getName());
return student;
}
}
当调用该方法时,如果编译时类型为Teacher,编译器将选择该方法的更具体的重载:
public class Main {
/**
* Gets a teacher but calls it an Object.
*
* @return an Object that happens to be a Teacher
*/
public static Object getTeacher() {
return new Teacher();
}
public static void main(String[] args) {
/** A Teacher, and is declared as such */
Teacher teacher = new Teacher();
/**
* Some Object, which just so happens to actually
* be a Teacher (but the compiler can't see that)
*/
Object something = getTeacher();
MyClass mc = new MyClass();
Student withTeacher = mc.assign(teacher);
Student withoutTeacher = mc.assign(something);
}
}
然而,我更喜欢一个修改MyBase的解决方案。
编辑添加:实际上,您可以将第二个更具体的assign
方法声明为通用方法,如下所示:
public <T extends Teacher> Student assign(T object) {
Student student = new Student();
student.setTeacherName(object.getName());
return student;
}
但这实际上和上面的第二个例子是一样的。该方法没有覆盖基类中的方法,它仍然依赖于编译器在编译时选择更具体的重载,并且方法签名的擦除与第二个示例中的非泛型方法完全相同:
public Student assign(Teacher)
它看起来更像是基类中方法的重写,因为它有一个泛型类型变量,并且参数名为object
而不是teacher
。但是试着在上面粘贴@Override
注释,编译器会告诉你它不会重写或实现超类型的方法。
你仍然有<T>
通用方法,它没有设置教师名称,如果你有一个没有声明为教师的对象,编译器会选择错误的重载,你会挠头,想知道如果对象是教师,为什么没有在学生身上设置教师名称。
泛型方法通常用于处理所提供的任何类型,而泛型类可以专门用于处理具体类型。这是一种功能性与面向对象的方法。所以你可能想要的是有一个带有T参数的泛型类:
MyBase<T>
让方法使用该参数
public abstract Student assign (T object)
然后专门使用教师
MyClass extends MyBase<Teacher>
带有
public Student assign (Teacher object)
正是出于这个原因,我的泛型方法大多是静态的——如果实例方法被参数化,那么类型参数属于类而不是方法是合乎逻辑的。通常,当然。