“数组初始值设定项需要明确的目标类型”-为什么？

Question

遵循JEP 286：局部变量类型推断描述

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

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都是Z，它为什么适用于X但不适用于Y？”
• 总是可以采用推理方案来处理增量情况，但是几乎总是存在附带损害，其形式是在其他情况下获得更差的结果，不稳定的增加（在这种情况下似乎无关的更改可能会改变推断的类型），或者更加复杂。您不想仅针对可以推断的案例数进行优化；您还希望针对受过教育的用户进行预测，以预测哪些将起作用，哪些将不起作用。在这里画一条简单的线（例如，不要费力去推断数组初始化器的类型）通常是一个胜利。
• 考虑到总是存在限制，选择一个较小但定义更好的目标通常会更好，因为这可以简化用户模型。（请参阅有关“为什么不能对私有方法的返回类型使用类型推断的相关问题。答案是我们可以做到这一点，但是结果将是更复杂的用户模型，以实现较小的表达利益。我们称之为“”复杂性回报率不高。”）