Java 8 中对多维数组的方法引用

Question

在 Java 中，我们可以从一维数组构造函数引用创建 IntFunction<String[]>：

    // both do the same thing
    IntFunction<String[]> createArrayL = size -> new String[size];
    IntFunction<String[]> createArrayMR = String[]::new;

现在我想知道为什么我们不能用二维数组来做到这一点：

    BiFunction<Integer, Integer, String[][]> createArray2DL = 
            (rows, cols) -> new String[rows][cols];

    // error:
    BiFunction<Integer, Integer, String[][]> createArray2DMR =
            String[][]::new;

当然我们可以写：

    IntFunction<String[][]> createArray2DInvalidL = String[][]::new;
    System.out.println(createArray2DInvalidL.apply(3)[0]); // prints null

但这将与以下行为不同：

    new String[3][3]

因为行数组不会被初始化。

所以我的问题是：为什么 String[][]::new 不适用于 2D 数组（对我来说，这看起来像是语言设计的不一致）？

Answer 1

确实是一个很有趣的案例。

问题在于String[][]::new 是一个元数为 1 的函数（它是数组数组的构造函数），不能被视为 BiFunction（元数 2），而您的示例 new String[3][3] 有两个参数而不是一个。

在这种情况下， createArray2DInvalidL.apply(3) 等于调用new String[3][];

您可能正在寻找的是：

IntFunction<String[][]> createArray2D = n -> new String[n][n];

维度不需要具有相等的长度，这听起来是一个非常合理的假设。

http://4comprehension.com/multidimensional-arrays-vs-method-references/

Answer 2

这里没有矛盾。如果你写一个像

这样的语句

IntFunction<ElementType[]> f = ElementType[]::new;

您创建一个函数，其评估将返回一个新数组，其中每个条目都能够保存ElementType 的引用，初始化为null。当您将String[] 用于ElementType 时，这不会改变。

但它也已在The Java Language Specification, §15.13.3. Run-Time Evaluation of Method References 中明确解决：

如果形式是Type[]^k :: new (k ≥ 1)，那么调用方法的主体有与 new Type [ size ] []^k-1 形式的数组创建表达式的效果相同，其中 size 是调用方法的单个参数. （符号 []^k 表示一系列 k 括号对。）

不支持矩形多维数组创建方法参考，很可能是因为没有作为驱动力的实际用例。一维数组创建表达式可以与Stream.toArray(…)一起使用，允许比等效的lambda表达式更简洁的语法，尽管底层架构没有特殊支持，即int[]::new产生与@完全相同的编译代码987654329@。没有类似的用于创建二维（甚至更多）维数组的用例，因此对于使用两个或更多 int 值并产生引用类型结果的函数，甚至没有类似的函数接口。