Question

我得到了这样的基类：

 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 = teacher.getName（）;）然后将Student返回给调用者。

问题： a）我如何获得预期的行为？ b）宣布MyBase当前的方式与做MyBase之间的区别是什么？ c）我有兴趣知道解决方案，以防我可以更改基类，我不能更改基类。

提前感谢您的帮助。此外，如果有任何有用的资源/教程，你可以指出我会很好。再次感谢。

Answer 1

如果定义object，则无法保证传递到MyClass的{{1}}方法的assign为Teacher。MyBase办法。如果您允许修改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的子类的实例。

编辑：修改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's Java Generics Tutorial。

Answer 2

如果你不能修改基类，那么实际上并没有一种涉及泛型的方法。你可以做两件事。一，检查对象的运行时类型，如果是教师则执行一项操作，如果不是，则执行另一项操作。

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方法，一个覆盖基类中的泛型方法，另一个方法只将教师作为参数。

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;
}

但这与上面的第二个例子非常相似。该方法不会覆盖基类中的方法，它仍然依赖于编译器在编译时选择更具体的重载，并且方法签名的擦除与第二个示例中的非泛型方法完全相同： / p>

public Student assign(Teacher)

它看起来更像是从基类重写方法，因为它有一个泛型类型变量，参数名为object而不是teacher。但是尝试在其上粘贴@Override注释，编译器会告诉你它不会覆盖或实现超类型的方法。

你还有<T>泛型方法，它不会设置教师名称，如果你有一个未被声明的教师对象，编译器将选择错误的重载，你会不知道为什么，如果对象是老师，那么老师的名字就不会落在学生身上。

Answer 3

通用方法通常适用于所提供的任何类型，而不是泛型类，它可以专门用于处理具体类型。这是一种功能性的OO方法。所以你可能想要的是一个带有T参数的泛型类：

MyBase<T>

让方法使用该参数

public abstract Student assign (T object)

然后将其专门用于教师

MyClass extends MyBase<Teacher>

带

public Student assign (Teacher object)

大多数情况下，我的泛型方法都是静态的 - 如果实例方法是参数化的，那么type参数属于类而不是方法是合乎逻辑的。通常，当然。

在java中扩展包含抽象泛型方法的基类

3 个答案: