12

这有点难以解释，但我到处寻找，我找不到任何好的答案。

我还看到了 Stack Overflow 问题如何引用接口在 Java 中实现的类类型？以及如何返回与使用 Java 6 传入的类相同类型的对象的实例？，但他们无法回答我的问题。当我应用继承时有一个例外。

有一个例子，为了更容易理解：

假设我有一些名为 SelfMaker 的界面：

public interface SelfMaker <SELF>{
    public SELF getSelf();
}

A有一条狗，它可以和另一条狗一起生育。所以狗是“SelfMaker”，像这样：

public class Dog implements SelfMaker<Dog> {
    String color;

    public String toString() {
        return "some " + color + " dog";
    }

    public Dog procreate(Dog anotherDog) {
        Dog son = getSelf();
        son.color = color;
        return son;
    }

    @Override
    public Dog getSelf() {
        return new Dog();
    }
}

但是后来，我有一只家养狗，它是一只狗，但它有一个可爱的家庭给他取名。像这样：

public class DomesticDog extends Dog {
    private String name;

    public String toString() {
        return super.toString() + " named " + name;
    }
}

现在，我有一些类可以处理一些“SelfMaker”的事情，我们称这个类为“Couple”。像这样：

public class Couple<T extends SelfMaker<T>> {
    private T first;
    private T second;

    public String toString() {
        return first.toString() + " and " + second.toString();
    }
}

例外：

当我想创建几个DomesticDogs 时出现异常。像这样：

public class CoupleOfDomesticDogs extends Couple<DomesticDog>{
    public DomesticDog procreate(){
        DomesticDog son = first.procreate(second);
        return son;
    }
}

<DomesticDog>这将在抱怨时引发异常：Bound mismatch: The type DomesticDog is not a valid substitute for the bounded parameter <T extends SelfMaker<T>> of the type Couple<T>

我已经尝试将广义变量从 Couple 类更改为：Couple<T extends SelfMaker<?>>但“儿子”不会是 DomesticDog（我希望“儿子”成为 DomesticDog）。如果我添加一些演员表，那么它会编译，但它会不太清晰。

所以......这是一个问题：有没有办法在没有铸造和概括的情况下实现这一目标？

4

2 回答 2

7

如果不进行强制转换，我想不出办法来做到这一点。如果您覆盖 DomesticDog 的 procreate 和 getSelf 方法并更改类 Couple 的声明，您的问题将得到解决：

public class DomesticDog extends Dog {
    private String name;

    public DomesticDog procreate(Dog anotherDog) {
        return (DomesticDog)super.procreate(anotherDog);
    }

    public Dog getSelf() {
        return new DomesticDog();
    }

    public String toString() {
        return super.toString() + " named " + name;
    }
}

public class Couple<T extends SelfMaker<? super T>> {
    protected T first;
    protected T second;

    public String toString() {
        return first.toString() + " and " + second.toString();
    }
}

如果您不想在 Dog 的每个子类中覆盖 getSelf()，您可以在 Dog 类中进行以下更改：

public Dog getSelf() {
    Class<? extends Dog> thisClass = this.getClass();
    try {
        return thisClass.newInstance();
    } catch (InstantiationException e) {
    } catch (IllegalAccessException e) {
    }
    throw new UnsupportedOperationException(thisClass 
                         + " does not supply a public no-arg constructor");
}

这保证了 getSelf() 返回的每个值都是this.getClass(). 但是您仍然必须为子类转换 procreate() 的返回值。无法将返回类型显式指定为this.getClass().

于 2013-08-03T22:18:22.333 回答
0

您将不得不Dog使用指示结果的类型参数进行通用和抽象getSelf()。然后，每种类型Dog都需要以自己作为参数来实现它：

public abstract class Dog<T> implements SelfMaker<T> {
    String color;

    public String toString() {
        return "some " + color + " dog";
    }

    public T procreate(T anotherDog) {
        T son = getSelf();
        son.color = color;
        return son;
    }

}

public class DomesticDog extends Dog<DomesticDog> {
    private String name;

    public String toString() {
        return super.toString() + " named " + name;
    }

    @Override
    public DomesticDog getSelf() {
        return new DomesticDog();
    }
}
于 2013-08-05T09:12:26.287 回答