方法链+继承不能很好地搭配在一起?

2022-09-01 02:54:36

这个问题是在C++上下文中提出的,但我对Java感到好奇。关于虚拟方法的担忧不适用(我认为),但如果你有这种情况:

abstract class Pet
{
    private String name;
    public Pet setName(String name) { this.name = name; return this; }        
}

class Cat extends Pet
{
    public Cat catchMice() { 
        System.out.println("I caught a mouse!"); 
        return this; 
    }
}

class Dog extends Pet
{
    public Dog catchFrisbee() { 
        System.out.println("I caught a frisbee!"); 
        return this; 
    }
}

class Bird extends Pet
{
    public Bird layEgg() {
        ...
        return this;
    }
}


{
    Cat c = new Cat();
    c.setName("Morris").catchMice(); // error! setName returns Pet, not Cat
    Dog d = new Dog();
    d.setName("Snoopy").catchFrisbee(); // error! setName returns Pet, not Dog
    Bird b = new Bird();
    b.setName("Tweety").layEgg(); // error! setName returns Pet, not Bird
}

在这种类层次结构中,有没有办法以不(有效地)向上转换对象类型的方式返回?this


答案 1

如果你想避免编译器发出未经检查的强制转换警告(并且不想@SuppressWarnings(“unchecked”)),那么你需要做更多的事情:

首先,您对 Pet 的定义必须是自引用的,因为 Pet 始终是通用类型:

abstract class Pet <T extends Pet<T>>

其次,setName 中的强制转换也是未选中的。为了避免这种情况,请使用Angelika Langer的优秀泛型常见问题解答中的“getThis”技术:(T) this

“getThis”技巧提供了一种恢复此引用的确切类型的方法。

这将导致下面的代码,该代码在没有警告的情况下编译和运行。如果你想扩展你的子类,那么技术仍然有效(尽管你可能需要泛化你的中间类)。

生成的代码为:

public class TestClass {

  static abstract class Pet <T extends Pet<T>> {
    private String name;

    protected abstract T getThis();

    public T setName(String name) {
      this.name = name;
      return getThis(); }  
  }

  static class Cat extends Pet<Cat> {
    @Override protected Cat getThis() { return this; }

    public Cat catchMice() {
      System.out.println("I caught a mouse!");
      return getThis();
    }
  }

  static class Dog extends Pet<Dog> {
    @Override protected Dog getThis() { return this; }

    public Dog catchFrisbee() {
      System.out.println("I caught a frisbee!");
      return getThis();
    }
  }

  public static void main(String[] args) {
    Cat c = new Cat();
    c.setName("Morris").catchMice();
    Dog d = new Dog();
    d.setName("Snoopy").catchFrisbee();
  }
}

答案 2

这个老把戏怎么样:

abstract class Pet<T extends Pet>
{
    private String name;
    public T setName(String name) { this.name = name; return (T) this; }        
}

class Cat extends Pet<Cat>
{
    /* ... */
}

class Dog extends Pet<Dog>
{
    /* ... */
}

推荐