java - "array initializer needs an explicit target-type"- 为什么？

Question

关注 JEP 286: Local-Variable Type Inference说明

我想知道，引入这种限制的原因是什么，例如:

Main.java:199: error: cannot infer type for local variable k

    var k = { 1 , 2 };
        ^   
(array initializer needs an explicit target-type)

所以对我来说逻辑上应该是:

var k = {1, 2}; // Infers int[]
var l = {1, 2L, 3}; // Infers long[]

因为 Java 编译器可以正确推断出数组的类型:

void decide() {
    arr(1, 2, 3);  // call  void arr(int ...arr)
    arr(1, 2L, 3); // call  void arr(long ...arr)
}

void arr(int ...arr) {
}

void arr(long ...arr) {
}

那么障碍是什么？

Answer 1

每次我们提高 Java 中类型推断的范围时，我们都会收到一连串的“但你也可以推断出这个，​​为什么不呢？” (或者有时，不太礼貌。)

关于设计类型推断方案的一些一般性观察:

• 推理方案总是有限制的；总有一些情况我们无法推断出答案，或者最终推断出令人惊讶的事情。我们越努力推断一切，就越有可能推断出令人惊讶的事情。这并不总是最好的权衡。
• 挑选“但在这种情况下你当然可以推断”的例子很容易。但是，如果这种情况与其他没有明显答案的情况非常相似，我们只是将问题转移了——“为什么它适用于 X 而不是 Y，其中 X 和 Y 都是 Z？”
• 总是可以制定推理方案来处理增量案例，但几乎总是存在附带损害，其形式可能是在其他情况下得到更糟糕的结果，增加不稳定性(看似不相关的更改可能会改变推理类型)，或更复杂。您不想仅针对可以推断的案例数量进行优化；您还想优化受过教育的用户预测什么可行，什么不可行的能力。绘制更简单的线条(例如，不要费心尝试推断数组初始值设定项的类型)在这里通常是一种胜利。
• 鉴于总是有限制，通常最好选择一个更小但定义更好的目标，因为这样可以简化用户模型。 (请参阅有关“为什么我不能对私有(private)方法的返回类型使用类型推断”的相关问题。答案是我们可以这样做，但结果将是一个更复杂的用户模型，以获得小的表达利益。我们称之为“复杂性返回不佳。”)