java - 一般行为

Question

(抱歉双关语)

假设有人想要定义一个通用构建器，如下所示:

public abstract class GenericBuilder<T extends Product> {
    int x;
    int y;

    <K extends GenericBuilder<T>> K setX(int x) {
        this.x = x;
        return (K)this;
    }

    <K extends GenericBuilder<T>> K  setY(int y) {
        this.y = y;
        return (K) this;
    }

    abstract T build();
}

abstract class Product {
    int x;
    int y;
}

class ConcreteProduct extends Product {
    int z;
}

class ConcreteBuilder extends GenericBuilder<ConcreteProduct>{
    int z;

    <K extends GenericBuilder<ConcreteProduct>> K  setZ(int z) {
        this.z = z;
        return (K) this;
    }

    @Override
    ConcreteProduct build() {
        ConcreteProduct cp = new ConcreteProduct();
        cp.x = x;
        cp.y = y;
        cp.z = z;
        return cp;
    }

    public static void main(String[] args) {
        new ConcreteBuilder().setX(1).setY(2).setZ(3);
    }
}

调用ConcreteBuilder.setZ()时，编译失败。

这是为什么呢？是否已到期删除？或者说，泛型不携带有关其泛型参数的信息？

编辑:

关于如何避免在以下位置使用第二个泛型参数的任何想法:

public class ConcreteBuilder extends GenericBuilder<ConcreteProduct, ConcreteBuilder>

即<...，ConcreteBuilder>，这似乎有点笨拙？我想这是不可能的。是否有其他语言(也许是 C#？)可以做到这一点？

Answer 1

以这种方式打破你的代码，你就会明白你的类 GenericBuilder<ConcreteProduct>没有定义任何 setZ() 方法。

    GenericBuilder<ConcreteProduct> setY = new ConcreteBuilder().setX(1).setY(2);
    setY.setZ(3);