java 边界 泛型_具有泛型类型边界的Java Builder模式

我正试图创建一个具有许多参数的类,使用构建器模式而不是伸缩构造函数。我这样做是用Joshua Bloch的有效Java描述的,在封闭类上拥有私有构造函数,以及公共静态Builder类。builder类在调用build()之前确保对象处于一致状态,此时它将封闭对象的构造委托给私有构造函数。因此

public class Foo {

// Many variables

private Foo(Builder b) {

// Use all of b's variables to initialize self

}

public static final class Builder {

public Builder(/* required variables */) {

}

public Builder var1(Var var) {

// set it

return this;

}

public Foo build() {

return new Foo(this);

}

}

}

然后我想给一些变量添加类型边界,因此需要参数化类定义。我希望foo类的边界与builder类的边界相同。

public class Foo {

private final Unit units;

// Many variables

private Foo(Builder b) {

// Use all of b's variables to initialize self

}

public static final class Builder {

private Unit units;

public Builder(/* required variables */) {

}

public Builder units(Unit units) {

this.units = units;

return this;

}

public Foo build() {

return new Foo(this);

}

}

}

这编译得很好,但是编译器允许我做我认为应该是编译器错误的事情。例如。

public static final Foo.Builder x_Body_AccelField =

new Foo.Builder()

.units(SI.METER)

.build();

这里的units参数不是

Unit

但是

Unit

但它仍然被编译器接受。

我在这里做错什么了?我希望在编译时确保单元类型正确匹配。