Java 8 currying 函数，无法确定 int[] 返回类型

Question

假设我们有一个这样的 lambda 函数：

Function<ArrayList<Integer>, int[]> func1 = a->new int[2];

它的作用并不重要。重要的是：输入是ArrayList<Integer>，输出是int[]。

使用一些基本的测试编译和运行没有问题：

int[] func1Result1 = func1.apply(new ArrayList<Integer>()); // Non-currying works with <Integer>
System.out.println(func1Result1);
System.out.println(func1Result1.getClass());
System.out.println(Arrays.toString(func1Result1));
System.out.println();

int[] func1Result2 = func1.apply(new ArrayList<>());        // Non-currying works with <>
System.out.println(func1Result2);
System.out.println(func1Result2.getClass());
System.out.println(Arrays.toString(func1Result2));
System.out.println();

int[] func1Result3 = func1.apply(new ArrayList());          // Non-currying works without <>
System.out.println(func1Result3);
System.out.println(func1Result3.getClass());
System.out.println(Arrays.toString(func1Result3));
System.out.println();

Try it online.

---

现在假设我们有一个像这样的柯里化 lambda 函数：

Function<Object, Function<Object, int[]>> func2 = a->b->new int[2];

同样，它的作用并不重要。这次柯里化函数接受了两个Object参数，仍然输出一个int[]。

使用相同的基本测试编译并再次运行没有问题：

int[] func2Result1 = func2.apply(new ArrayList<Integer>()).apply(null); // Currying works with <Integer>
System.out.println(func2Result1);
System.out.println(func2Result1.getClass());
System.out.println(Arrays.toString(func2Result1));
System.out.println();

int[] func2Result2 = func2.apply(new ArrayList<>()).apply(null);        // Currying works with <>
System.out.println(func2Result2);
System.out.println(func2Result2.getClass());
System.out.println(Arrays.toString(func2Result2));
System.out.println();

int[] func2Result3 = func2.apply(new ArrayList()).apply(null);          // Currying works without <>
System.out.println(func2Result3);
System.out.println(func2Result3.getClass());
System.out.println(Arrays.toString(func2Result3));
System.out.println();

Try it online.

---

现在是第三个变体，这是我的困惑所在和我的问题所在。假设我们有一个像这样的柯里化 lambda 函数：

Function<ArrayList<Integer>, Function<Object, int[]>> func3 = a->b->new int[2];

这次参数是ArrayList<Integer>和Object，返回类型还是int[]。

这次使用同样的基本测试编译不通过，报错：

int[] func3Result1 = func3.apply(new ArrayList<Integer>()).apply(null); // Currying works with <Integer>
System.out.println(func3Result1);
System.out.println(func3Result1.getClass());
System.out.println(Arrays.toString(func3Result1));
System.out.println();

int[] func3Result2 = func3.apply(new ArrayList<>()).apply(null);        // Currying works with <>
System.out.println(func3Result2);
System.out.println(func3Result2.getClass());
System.out.println(Arrays.toString(func3Result2));
System.out.println();

int[] func3Result3 = func3.apply(new ArrayList()).apply(null);          // Currying doesn't work without <>
System.out.println(func3Result3);
System.out.println(func3Result3.getClass());
System.out.println(Arrays.toString(func3Result3));
System.out.println();

错误是：

Main.java:23：错误：不兼容的类型：对象无法转换为 int[]
int[] func3Result3 = func3.apply(new ArrayList()).apply(null); // 如果没有
，Currying 不起作用 ^

Try it online.

为什么它认为返回类型是Object 而不是int[]？内部函数的返回类型清楚地表明返回类型是int[]。如果两个 lambda 的参数都是 Object（func2 测试），或者集合附有菱形（func3Result1 和 func3Result2），它确实可以正常工作。但是由于某种原因，当从集合中移除钻石时 (func3Result3) 会感到困惑，即使 int[] 返回类型与此 ArrayList<Integer> 输入无关。

编辑：刚刚在我的 jdk 版本 1.8.0_72 上对其进行了本地测试，它确实可以编译和工作。有人可以确认它确实不适用于 jdk 1.9 或 1.10（或最新版本的 jdk 1.8 之一）吗？也许问题是 TIO 在这里做了一些奇怪的事情而不是 JDK 本身.. :S

Answer 1

简而言之。当您使用原始类型（@Holger 在 cmets 中提到的you should not use them）时，您会删除任何通用信息。所以这行：

int[] func3Result3 = func3.apply(new ArrayList()).apply(null);

可以拆分为多行以进行说明：

Function temp = func3.apply(new ArrayList());

这里只返回Function，因为使用原始类型new ArrayList()擦除了通用信息。

和原始类型函数有点类似，但不等于Function<Object, Object>

这使得现在很容易看到，在将null 应用于该函数时，您并不确切知道返回的是什么（除了它是一个Object），这就是您得到它的原因错误：

int[] func3Result3 = temp.apply(null);

由于类型擦除，编译器只是不知道类型。

所以这句话的寓意是：

永远不要使用原始类型。它们只是一种向后兼容功能，不应在现代生产代码中使用。