Блог

У меня есть еще одна интересная проблема с Java Generics . Я уверен, что у некоторых из вас может быть правильный ответ на этот вопрос.

Контекст.Во-первых, чтобы понять контекст, давайте посмотрим на определение объектов Animal , Mammal и Cat, которые определены в терминах друг друга:

 public abstract class Animal<T extends Animal<T>> {
    private final int age;

    public Animal(int age) {
        this.age = age;
    }

    public int getAge() {
        return this.age;
    }

    public abstract T setAge(int age);

    public static void main(String[] args) {
        List<Mammal<?>> mammals = new ArrayList<Mammal<?>>();
        mammals = Animal.increaseAge(mammals, 1);
        Map<Integer, List<Mammal<?>>> mammalsByAge = Animal.groupByAge(mammals);
    }

    public static <T extends Animal<T>> List<T> increaseAge(List<T> animals, int augment) {
        List<T> list = new LinkedList<T>();
        for (T animal : animals) {
            list.add(animal.setAge(animal.getAge()   augment));
        }
        return list;
    }

    public static <T extends Animal<T>> Map<Integer, List<T>> groupByAge(List<T> animals) {
        Map<Integer, List<T>> animalsPerAge = new TreeMap<Integer, List<T>>();
        animals.forEach((animal) -> {
            int age = animal.getAge();
            animalsPerAge.putIfAbsent(age, new LinkedList<T>());
            animalsPerAge.get(age).add(animal);
        });
        return animalsPerAge;
    }

};

abstract class Mammal<T extends Mammal<T>> extends Animal<Mammal<T>> {
    public Mammal(int age) {
        super(age);
    }
};

class Cat extends Mammal<Cat> {
    public Cat(int age) {
        super(age);
    }

    @Override
    public Cat setAge(int age) {
        return new Cat(age);
    }
}
 

Позже у меня будут разные животные и млекопитающие, очевидно. Кроме того, все импортируемые элементы должны реализовывать политику копирования при записи, т. Е. Изменение свойства animal создает новое animal того же типа с новым свойством на месте.

Наконец, мне нужно реализовать две вспомогательные функции, groupByAge , и increaseAge .

Проблема.Вначале я понял, что среда разработки Eclipse IDE может компилировать и выполнять программу, тогда как компилятор Maven потерпел неудачу с ошибкой компилятора.

 [ERROR] Failed to execute goal
org.apache.maven.plugins:maven-compiler-plugin:3.1:compile
(default-compile) on project BCBS248Calculator: Compilation failure:
Compilation failure:

[ERROR] Animal.java:[25,33] method increaseAge in class
com.ibm.ilm.bcbs248.Animal<Tcannot be applied to given types;

[ERROR] required: java.util.List<T>,int

[ERROR] found: java.util.List<com.ibm.ilm.bcbs248.Mammal<?>>,int

[ERROR] reason: inferred type does not conform to equality
constraint(s)

[ERROR] inferred: com.ibm.ilm.bcbs248.Mammal<capture#1 of ?>

[ERROR] equality constraints(s): com.ibm.ilm.bcbs248.Mammal<capture#1
of ?>,com.ibm.ilm.bcbs248.Mammal<?>

[ERROR] Animal.java:[27,68] method groupByAge in class
com.ibm.ilm.bcbs248.Animal<Tcannot be applied to given types;

[ERROR] required: java.util.List<T>

[ERROR] found: java.util.List<com.ibm.ilm.bcbs248.Mammal<?>>

[ERROR] reason: inferred type does not conform to equality
constraint(s)

[ERROR] inferred: com.ibm.ilm.bcbs248.Mammal<capture#2 of ?>

[ERROR] equality constraints(s): com.ibm.ilm.bcbs248.Mammal<capture#2
of ?>,com.ibm.ilm.bcbs248.Mammal<?>
 

На первый взгляд, я подумал, что это проблема Maven (потому что Eclipse может компилировать и выполнять код), но на самом деле, похоже, это ошибка (?) в компиляторе Eclipse. Даже обычный компилятор Java не может скомпилировать программу, она завершается ошибкой типа, поскольку программа не может быть проверена. Это хорошо известная проблема с Java generics, т.Е. Средство проверки типов Java не может проверить программу на данный момент. Это просто из-за приближения проверки статического типа.

Насколько я знаю, Eclipse использует собственный компилятор Java, то есть оболочку вокруг оригинального компилятора Java, который позволял компилировать вредоносные программы? Однако в этой ситуации он не показывает никакого сообщения об ошибке? Кто-нибудь может проверить, что это проблема с компилятором Eclipse?

Более того, есть ли у кого-нибудь еще одна элегантная идея о том, как решить проблему кодирования? В качестве простого перебора слов я могу изменить сигнатуру типа обеих вспомогательных функций следующим образом:

 public static <T extends Animal<?>> List<T> increaseAge(List<T> animals, int augment) {
    List<T> list = new LinkedList<T>();
    for (T animal : animals) {
        list.add((T) animal.setAge(animal.getAge()   augment));
    }
    return list;
}

public static <T extends Animal<?>> Map<Integer, List<T>> groupByAge(List<T> animals) {
    Map<Integer, List<T>> animalsPerAge = new TreeMap<Integer, List<T>>();
    animals.forEach((animal) -> {
        int age = animal.getAge();
        animalsPerAge.putIfAbsent(age, new LinkedList<T>());
        animalsPerAge.get(age).add(animal);
    });
    return animalsPerAge;
}
 

К сожалению, мне также нужно добавить приведение типа в строку list.add((T) animal.setAge(animal.getAge() augment)); . Я могу жить с измененной сигнатурой типа, но я избавлюсь от приведения типов, поскольку оно заканчивается неопределенностью.

Повторное добавление элемента того же типа, похоже, не является проблемой с сигнатурой типа изменений. Однако после вызова setAge некоторого типа информации, похоже, теряется. Может быть, я могу изменить тип функции или объекта таким образом, чтобы это работало?

—

Maven версии 3.1

Java версии 1.8.0_201 Среда выполнения Java (TM) SE (сборка 1.8.0_201-b09) 64-разрядная серверная виртуальная машина Java HotSpot (TM) (сборка 25.201-b09, смешанный режим)

Eclipse IDE для разработчиков Java Версия: Oxygen.Версия 3a (4.7.3a) Идентификатор сборки: 20180405-1200

Я думал, что это проблема Maven

Maven — это просто инструмент сборки. Если вы получаете ошибку компилятора, это не имеет ничего общего с Maven.

Eclipse использует собственный компилятор Java, то есть оболочку вокруг оригинального компилятора Java, который позволял компилировать вредоносные программы

У Eclipse другой компилятор, да. «Вредоносный» неверно. Он поддерживает инкрементную компиляцию (только перекомпилируйте код, когда он изменился). Он может компилировать и запускать код с ошибками во время компиляции, откладывая их до исключения во время выполнения.

Кто-нибудь может проверить, что это проблема с компилятором Eclipse?

Как вы сами сказали: «Даже обычный компилятор Java не может скомпилировать программу». Итак, ответ отрицательный. Ваша программа просто неверна.

Ваша проблема в основном связана с тем фактом, что я не думаю, что это значимые параметры общего типа

 Animal<T extends Animal<T>>
Mammal<T extends Mammal<T>>
 

Когда я вижу параметр универсального типа, я пытаюсь вставить слова «кому» или «из» и посмотреть, имеет ли это смысл.

List<String> представляет собой список строк. Comparable<String> это то, что можно сравнить со строками. A Listener<Message> прослушивает сообщения.

Так что же тогда Mammal<Cat> ? Млекопитающее из кошек? Млекопитающее для кошек? Вы видите, как это не имеет смысла таким же образом?

 abstract class Animal {
    private final int age;

    public Animal(int age) {
        this.age = age;
    }

    public int getAge() {
        return this.age;
    }

    public abstract Animal setAge(int age);

    public static <T extends Animal> List<T> increaseAge(List<T> animals, int augment) {
        List<T> list = new LinkedList<>();
        for (T animal : animals) {
            list.add((T) animal.setAge(animal.getAge()   augment));
        }
        return list;
    }

    public static <T extends Animal> Map<Integer, List<T>> groupByAge(List<T> animals) {
        Map<Integer, List<T>> animalsPerAge = new TreeMap<>();
        animals.forEach((animal) -> {
            int age = animal.getAge();
            animalsPerAge.putIfAbsent(age, new LinkedList<>());
            animalsPerAge.get(age).add(animal);
        });
        return animalsPerAge;
    }

    public static void main(String[] args) {
        List<Mammal> mammals = new ArrayList<>();
        mammals = Animal.increaseAge(mammals, 1);
        Map<Integer, List<Mammal>> mammalsByAge = Animal.groupByAge(mammals);
    }
};

abstract class Mammal extends Animal {
    public Mammal(int age) {
        super(age);
    }
}

class Cat extends Mammal {
    public Cat(int age) {
        super(age);
    }

    @Override
    public Cat setAge(int age) {
        return new Cat(age);
    }
}