java - 具有泛型的 Vavr 给出了不兼容的类型

Question

谁能解释一下为什么这段代码:

interface Lol {
  default Try<Seq<? extends Number>> lol() {
    return Try.of(List::empty);
  }
}

class LolImpl implements Lol {
  @Override
  public Try<Seq<? extends Number>> lol() {
    return Try
      .of(() -> List.of(1, 2, 3))
      //.onFailure(Object::hashCode)
      ;
  }
}

如果我取消注释 onFailure 语句会编译失败吗？不知道这里发生了什么。如何改进？

Answer 1

您可以调用Try.of()返回显式泛型以满足编译器检查。像这样的东西:

Try.<Seq<? extends Number>of(() -> List.of(1,2,3))

Try.of()返回类型 Try<T>其中 T是供应商返回的类型。因为List.of(T t...)返回 List<T> , 那么编译器看到的最终类型是 Try<List<Integer> ，这不是定义的方法返回类型。具有特定类型的 Java 泛型是不变的，它们不支持协变或逆变替换，所以 List<Integer> != List<Number> .

工作示例:

import io.vavr.collection.List;
import io.vavr.collection.Seq;
import io.vavr.control.Try;

interface Lol {
    default Try<Seq<? extends Number>> lol() {
        return Try.of(List::empty);
    }
}

class LolImpl implements Lol {
    @Override
    public Try<Seq<? extends Number>> lol() {
        return Try
                .<Seq<? extends Number>>of(() -> List.of(1, 2, 3))
                .onFailure(t -> System.out.println(t.getMessage()));

    }

    public static void main(String[] args) {
        System.out.println(new LolImpl().lol());
    }
}

输出:

Success(List(1, 2, 3))

通用示例类型推断问题

进一步调查表明，这很可能是一个通用编译器问题。看看下面的普通 Java 示例:

import java.util.Arrays;
import java.util.List;
import java.util.function.Supplier;

interface Some<T> {
    static <T> Some<T> of(Supplier<T> supplier) {
        return new SomeImpl<>(supplier.get());
    }

    default Some<T> shout() {
        System.out.println(this);
        return this;
    }

    class SomeImpl<T> implements Some<T> {
        private final T value;

        public SomeImpl(T value) {
            this.value = value;
        }
    }

    static void main(String[] args) {
        final Some<List<CharSequence>> strings = Some.of(() -> Arrays.asList("a", "b", "c"));
    }
}

此代码编译没有任何问题，编译器推断 Arrays.asList() 返回的类型从左侧的预期类型:

现在，如果我称之为 Some<T>.shout()方法，它不执行任何操作并返回 Some<T> ，编译器不是从预期的变量类型推断类型，而是从最后返回的类型推断类型:

当然Arrays.asList("a","b","c")返回 List<String>和 this is the type shout()` 方法推断并返回:

指定 Some<T>.of() 的显式类型解决了 Try.of() 中的问题示例:

我正在搜索关于类型推断的 Oracle 文档，有这样的解释:

The Java compiler takes advantage of target typing to infer the type parameters of a generic method invocation. The target type of an expression is the data type that the Java compiler expects depending on where the expression appears.

Source: https://docs.oracle.com/javase/tutorial/java/generics/genTypeInference.html#target_types

在这种情况下，“取决于表达式出现的位置” 表示从先前返回的确切类型推断类型。它可以解释为什么跳过 shout()方法让编译器知道，我们期望 Some<List<CharSequence>>当我们添加 shout()它开始返回的方法 Some<List<String>> ，因为这就是 shout()方法从 Some.of() 的返回类型来看方法。希望对您有所帮助。