Предполагаемый тип не соответствует ошибке ограничения равенства для несвязанных переменных - PullRequest
Новая
       22

Предполагаемый тип не соответствует ошибке ограничения равенства для несвязанных переменных

6 голосов
/ 03 апреля 2019

У меня есть следующий фрагмент кода 

public class TeeingCollector {

    public static void main(String[] args) {
        //        var strs = List.of("abc");
        var dividedStrings = Stream.of("foo", "hello", "bar", "world")
            .collect(Collectors.teeing(
                        Collectors.filtering((String s) -> s.length() <= 3, Collectors.toList()),
                        Collectors.filtering((String s) -> s.length() > 3, Collectors.toList()),
                        List::of
                        ));
        System.out.println(dividedStrings);
    }
    private static class Employee {
        boolean isActive;

        public Employee(boolean isActive) {
            this.isActive = isActive;
        }

        public boolean isActive() {
            return isActive;
        }

        @Override
            public String toString() {
                return "Employee{" +
                    "isActive=" + isActive +
                    '}';
            }
    }
    private static class MaxMin {
        int max;
        int min;

        MaxMin(int max, int min) {
            this.max = max;
            this.min = min;
        }

        @Override
            public String toString() {
                return "MaxMin{" +
                    "max=" + max +
                    ", min=" + min +
                    '}';
            }
    }
}

Если я выполняю этот класс из терминала с java src/TeeingCollector.java, я получаю следующую ошибку: 

src/TeeingCollector.java:14: error: incompatible types: inferred type does not conform to equality constraint(s)
            .collect(Collectors.teeing(
                    ^
inferred: List<String>
equality constraints(s): List<Object>,R
where R,T,A are type-variables:
R extends Object declared in method <T,A,R>filtering(Predicate<? super T>,Collector<? super T,A,R>)
T extends Object declared in method <T,A,R>filtering(Predicate<? super T>,Collector<? super T,A,R>)
A extends Object declared in method <T,A,R>filtering(Predicate<? super T>,Collector<? super T,A,R>)
1 error
error: compilation failed

Если я раскомментирую строкуvar strs = List.of("abc"); затем код выполняется без проблем.

Java-версия (для macOS): 

OpenJDK Runtime Environment (build 12+33)
OpenJDK 64-Bit Server VM (build 12+33, mixed mode, sharing)

выполнение того же кода со следующей версией (более старой) не дает ошибок 

OpenJDK Runtime Environment (build 12-ea+23)
OpenJDK 64-Bit Server VM (build 12-ea+23, mixed mode, sharing)

Примечание: если я скомпилирую его, а затем запустите, у меня не возникнет никаких ошибок при обеих сборках для macOS, поэтому кажется, что только java TeeingCollector.java не работает должным образом

1 Ответ

6 голосов
/ 05 апреля 2019

TL; DR это, очевидно, ошибка, поскольку поведение компилятора зависит от совершенно не связанных вещей, включая аспекты среды вне языка Java.

Я упростил ваш пример и интегрировал реализации Collectors.teeing и Predicate.not в пример, чтобы иметь возможность тестировать ваш код с версиями Java от JDK 9 до JDK 12.

Обратите внимание, что, хотя я впервые подумал, что это было какое-то взаимодействие вывода типа var с обобщенной конструкцией в правой части, другие тесты показали, что проблема существует даже при использовании явных типов для переменные, которые позволили включить JDK 9 в тесты. 

import java.util.*;
import java.util.function.*;
import java.util.stream.*;

import java.util.stream.Collector;

public class Temp5 {

  public static void main(String[] args) {
    // List<Character> strs = List.of("abc");
    List<List<Character>> lettersAndNumbers = Stream.of('5', 't', 'o', '9', 'p', '1', 'h')
        .collect(teeing(
                Collectors.filtering(Character::isLetter, Collectors.toList()),
                Collectors.filtering(not(Character::isLetter), Collectors.toList()),
                List::of    
        ));
    }

    public static <T, R1, R2, R>
    Collector<T, ?, R> teeing(Collector<? super T, ?, R1> downstream1,
                              Collector<? super T, ?, R2> downstream2,
                              BiFunction<? super R1, ? super R2, R> merger) {
        return teeing0(downstream1, downstream2, merger);
    }

    private static <T, A1, A2, R1, R2, R>
    Collector<T, ?, R> teeing0(Collector<? super T, A1, R1> downstream1,
                               Collector<? super T, A2, R2> downstream2,
                               BiFunction<? super R1, ? super R2, R> merger) {
        Objects.requireNonNull(downstream1, "downstream1");
        Objects.requireNonNull(downstream2, "downstream2");
        Objects.requireNonNull(merger, "merger");

        Supplier<A1> c1Supplier = Objects.requireNonNull(downstream1.supplier(), "downstream1 supplier");
        Supplier<A2> c2Supplier = Objects.requireNonNull(downstream2.supplier(), "downstream2 supplier");
        BiConsumer<A1, ? super T> c1Accumulator =
                Objects.requireNonNull(downstream1.accumulator(), "downstream1 accumulator");
        BiConsumer<A2, ? super T> c2Accumulator =
                Objects.requireNonNull(downstream2.accumulator(), "downstream2 accumulator");
        BinaryOperator<A1> c1Combiner = Objects.requireNonNull(downstream1.combiner(), "downstream1 combiner");
        BinaryOperator<A2> c2Combiner = Objects.requireNonNull(downstream2.combiner(), "downstream2 combiner");
        Function<A1, R1> c1Finisher = Objects.requireNonNull(downstream1.finisher(), "downstream1 finisher");
        Function<A2, R2> c2Finisher = Objects.requireNonNull(downstream2.finisher(), "downstream2 finisher");

        Collector.Characteristics[] characteristics;
        Set<Collector.Characteristics> c1Characteristics = downstream1.characteristics();
        Set<Collector.Characteristics> c2Characteristics = downstream2.characteristics();
        EnumSet<Collector.Characteristics> c = EnumSet.noneOf(Collector.Characteristics.class);
        c.addAll(c1Characteristics);
        c.retainAll(c2Characteristics);
        c.remove(Collector.Characteristics.IDENTITY_FINISH);
        characteristics = c.toArray(new Collector.Characteristics[0]);

        class PairBox {
            A1 left = c1Supplier.get();
            A2 right = c2Supplier.get();
            void add(T t) {
                c1Accumulator.accept(left, t);
                c2Accumulator.accept(right, t);
            }
            PairBox combine(PairBox other) {
                left = c1Combiner.apply(left, other.left);
                right = c2Combiner.apply(right, other.right);
                return this;
            }
            R get() {
                R1 r1 = c1Finisher.apply(left);
                R2 r2 = c2Finisher.apply(right);
                return merger.apply(r1, r2);
            }
        }
        return Collector.of(PairBox::new, PairBox::add, PairBox::combine, PairBox::get, characteristics);
    }
    @SuppressWarnings("unchecked")
    static <T> Predicate<T> not(Predicate<? super T> target) {
        Objects.requireNonNull(target);
        return (Predicate<T>)target.negate();
    }
}

Результаты катастрофичны. У каждой версии может быть свое мнение о правильности кода, даже если просто изменить минорную версию. Что ж, даже использование OpenJDK вместо дистрибутива Oracle может привести к другим результатам. Кроме того, даже самые маленькие изменения в коде могут повлиять на него. Как вы уже заметили, изменение комментария в фактическое объявление может изменить результат, но даже удаление комментария изменит результат для некоторых версий JDK. Изменение значений , например, использование Stream.of('5', 't', 'o', '9', 'p', '1') вместо Stream.of('5', 't', 'o', '9', 'p', '1', 'h'), изменяет результат для некоторых версий.

Мой вывод заключается в том, что что-то в реализации компилятора зависит от чего-то стабильного для конкретной установки, но на самом деле непредсказуемо, как порядок итерации HashMap. И сама версия JDK, кажется, является частью этого. Это также объясняет, почему результат может измениться при использовании MacOS вместо Linux или Windows. Даже компиляция этого исходного файла вместе с другим, несвязанным исходным файлом может изменить результат.

...