Шаблон Java Builder с общими границами типов - PullRequest
Новая
       42

Шаблон Java Builder с общими границами типов

5 голосов
/ 18 мая 2010

Я пытаюсь создать класс с множеством параметров, используя шаблон Builder, а не телескопические конструкторы. Я делаю это способом, описанным в «Эффективной 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<Q extends Quantity> {

    private final Unit<Q> units;
    // Many variables

    private Foo(Builder<Q> b) {
        // Use all of b's variables to initialize self
    }

    public static final class Builder<Q extends Quantity> {
        private Unit<Q> units;

        public Builder(/* required variables */) {

        }

        public Builder units(Unit<Q> units) {
            this.units = units;
            return this;
        }

        public Foo build() {
            return new Foo<Q>(this);
        }

    }

}

Это компилируется нормально, но компилятор позволяет мне делать то, что, по моему мнению, должно быть ошибкой компилятора. Э.Г. 

public static final Foo.Builder<Acceleration> x_Body_AccelField =
        new Foo.Builder<Acceleration>()
        .units(SI.METER)
        .build();

Здесь аргумент единиц измерения не Unit<Acceleration>, а Unit<Length>, но он все еще принимается компилятором.

Что я здесь не так делаю? Я хочу убедиться, что во время компиляции типы юнитов совпадают правильно.

Ответы [ 2 ]

7 голосов
/ 18 мая 2010

units должен вернуть Builder<Q>, а не не сформированный Builder.

0 голосов
/ 18 мая 2010

Хотя точка @ Дэниела верна, Eclipse, как минимум, обнаруживает ошибку в вашем коде. Конечно, ваше определение Quantity, Unit и METER, вероятно, отличается от упрощенного хака, который я собрал: 

interface Quantity {
}
class Acceleration implements Quantity {
}
class Length implements Quantity {
}
public class Unit<Q extends Quantity> {
    public static final Unit<Length> METER = new Unit<Length>();
}

public static final Foo.Builder<Acceleration> x_Body_AccelField =
    new Foo.Builder<Acceleration>()
    .units(Unit.METER) // here the compiler complains
    .build();

Сообщение об ошибке: 

The method units(Unit<Acceleration>) in the type Foo.Builder<Acceleration> is
not applicable for the arguments (Unit<Length>)
...