Java 方法链接+；继承don’；你们在一起玩得不好吗？

但我对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
}

---

在这种类层次结构中，是否有任何方法可以以不（有效地）向上转换对象类型的方式返回

此

。您可以通过使用协变返回类型来解决此问题（感谢McDowell提供了正确的名称）：

---

（如果您担心的话，协变返回类型仅在Java 5及更高版本中存在。）

不，不太可能。您可以通过使用协变返回类型来解决此问题（感谢McDowell提供了正确的名称）：

---

（如果您担心的话，协变返回类型仅适用于Java 5及以上版本。）

这个老把戏怎么样：

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>
{
    /* ... */
}

抽象类Pet
{
私有字符串名称；
public T setName（字符串名）{this.name=name；返回（T）this；}
}
宠物猫
{
/* ... */
}
宠物狗
{
/* ... */
}

这个老把戏怎么样：

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>
{
    /* ... */
}

抽象类Pet
{
私有字符串名称；
public T setName（字符串名）{this.name=name；返回（T）this；}
}
宠物猫
{
/* ... */
}
宠物狗
{
/* ... */
}

这有点复杂，但您可以使用泛型实现这一点：

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

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

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

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

    public static void main (String[] args){
        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
    }

}

抽象类Pet{
私有字符串名称；
公共T集合名（字符串名）{
this.name=名称；
返回（T）这个；
}
公共静态类Cat扩展Pet{
公共猫捉老鼠（）{
System.out.println（“我抓到了一只老鼠！”）；
归还这个；
}
}
公共静态类狗扩展宠物{
公共狗抓飞盘（）{
System.out.println（“我抓到了飞盘！”）；
归还这个；
}
}
公共静态void main（字符串[]args）{
Cat c=新Cat（）；
c、 setName（“Morris”）.catchmices（）；//错误！setName返回Pet，而不是Cat
狗d=新狗（）；
d、 setName（“Snoopy”）.catchFrisbee（）；//错误！setName返回宠物，而不是狗
}
}

这有点复杂，但您可以使用泛型实现这一点：

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

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

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

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

    public static void main (String[] args){
        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
    }

}

抽象类Pet{
私有字符串名称；
公共T集合名（字符串名）{
this.name=名称；
返回（T）这个；
}
公共静态类Cat扩展Pet{
公共猫捉老鼠（）{
System.out.println（“我抓到了一只老鼠！”）；
归还这个；
}
}
公共静态类狗扩展宠物{
公共狗抓飞盘（）{
System.out.println（“我抓到了飞盘！”）；
归还这个；
}
}
公共静态void main（字符串[]args）{
Cat c=新Cat（）；
c、 setName（“Morris”）.catchmices（）；//错误！setName返回Pet，而不是Cat
狗d=新狗（）；
d、 setName（“Snoopy”）.catchFrisbee（）；//错误！setName返回宠物，而不是狗
}
}

公共级宠物{
私有字符串名称；
公共动物类型集合名（字符串名）{
this.name=name；返回（AnimalType）this；
}        
}

及

公共类Cat扩展Pet{
public Cat catchmices（）{返回此；}
公共静态void main（字符串[]args）{
Cat c=新的Cat（）.setName（“bob”）.catchmices（）；
}

}

公共级宠物{
私有字符串名称；
公共动物类型集合名（字符串名）{
this.name=name；返回（AnimalType）this；
}        
}

及

公共类Cat扩展Pet{
public Cat catchmices（）{返回此；}
公共静态void main（字符串[]args）{
Cat c=新的Cat（）.setName（“bob”）.catchmices（）；
}

---

}

如果希望避免编译器中未经检查的强制转换警告（并且不希望@SuppressWarnings（“unchecked”）），则需要执行更多操作：

首先，您对Pet的定义必须是自引用的，因为Pet始终是泛型类型：

abstract class Pet <T extends Pet<T>>

---

如果您希望避免编译器中未经检查的强制转换警告（并且不希望@SuppressWarnings（“unchecked”）），则需要执行更多操作：

首先，您对Pet的定义必须是自引用的，因为Pet始终是泛型类型：

abstract class Pet <T extends Pet<T>>

---

---

@史蒂夫B.-+1，跟我打赌！编辑：复制/粘贴代码成功了。我意识到我的基类是

X扩展Y

，而不是

X扩展Y

。这就解决了@史蒂夫B.-+1，跟我打赌！编辑：复制/粘贴代码成功了。我意识到我的基类是

X扩展Y

，而不是

X扩展Y

。这就解决了！现在我明白了为什么这么多人讨厌Java。现在我明白了为什么这么多人讨厌Java。+1，表达得比我更简洁。但是考虑到java泛型已经存在了这么长时间，这个技巧有多古老呢？啊哈，我想泛型会有一些东西，只是不知道是什么。谢谢@Steve B：java中不是旧的（实际上，我不认为我已经在java中见过它），但是它已经在C++中使用了很长时间。你能再加上一个向上和向下的例子吗？e、 g.Pet=c；（猫）宠物。捉老鼠；（我有这个权利吗？）+1，表达得比我更简洁。但是考虑到java泛型已经存在了这么长时间，这个技巧有多古老呢？啊哈，我想泛型会有一些东西，只是不知道是什么。谢谢@Steve B：java中不是旧的（实际上，我不认为我已经在java中见过它），但是它已经在C++中使用了很长时间。你能再加上一个向上和向下的例子吗？e、 g.Pet=c；（猫）宠物。捉老鼠；（我说的对吗？）<代码>类Snake扩展了PET {@重载保护的CAT GETSHIVE（）：{返回new Cter（）；} 这有点棘手，尽管当你有中间的非抽象的非最终类时，需要创建一个INS。

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