本地类型推断与实例

问题描述 投票：7回答：5

我试图扫描JEP-286关于本地类型推断。我看到这只适用于局部变量 - 理解。所以这确实有效：

public class TestClass {
    public static void main(String [] args){
        var list = new ArrayList<>();
        list.add("1");
        System.out.println(list.get(0)); // 1
    }  
}

我确实看到这另一方面没有编译：

public class TestClass {
    public var list = new ArrayList<>();
    public static void main(String [] args){

    }
}

很明显它没有，因为JEP这样说。现在我的问题：

对于被宣布为var的公共/受保护成员来说，至少是IMO，这是完全合理的。但即使它是private，为什么它不编译？我只能假设你仍然可以通过反射得到一个变量（我不能得到像这样的局部字段）......并且获得该变量需要一个演员，好吧，一个非常困惑的演员可能。

type-inference java-10
5个回答
14
投票

禁止字段和方法返回的类型推断的动机是API应该是稳定的;字段访问和方法调用在运行时由描述符链接，因此如果对实现的更改导致推断类型发生更改（模块擦除），那么导致对推断类型进行细微更改的事情可能会导致现有编译客户端以可怕的方式中断。所以使用这个实现，但不是API，是一个明智的指导原则。

问“那么，私人领域和方法怎么样？”是合理的。事实上，我们很可能选择这样做。像所有设计决策一样，这是一个权衡;它将使推理能够在更多地方使用，以换取用户模型中的更多复杂性。 （我不太关心规范或编译器的复杂性;这是我们的问题。）更容易推断“推断局部变量是，字段和方法没有”比添加各种周转因素，如“但是，字段如果它们是私有的，方法就可以了。“绘制我们所做的行也意味着将字段或方法从私有更改为非私有的兼容性后果不会与推理发生意外交互。

所以简短的回答是，这样做可以使语言更简单，而不会使功能显着降低。

5
投票

很多原因：

  1. 可见性和类型是正交的 - 一个不应该影响另一个。如果可以使用var初始化私有变量，那么在将它们保护或公开时，您必须更改它。
  2. 因为var使用右侧来推断类型，所以这些私有字段总是需要立即初始化。如果将初始化移动到构造函数中，则必须使类型显式化。
  3. 使用var，编译器可以推断出当前无法用Java表达的类型（例如Comparable & Serializable等交集类型）。您当然可能最终依赖于这些特定类型，并且当您因某种原因不得不在某些时候停止使用var时，您可能需要进行相当多的重构以保持代码正常工作。
5
投票

这并不是说完全不可能将这些变量转换为可以通过Reflection检查的字段。例如，你可以做到

var l = new ArrayList<String>();
l.add("text");
System.out.println(l);
System.out.println(
  new Object(){ { var x = l; } }.getClass().getDeclaredFields()[0].getGenericType()
);

在当前版本中，它只打印ArrayList，因此实际的泛型类型尚未存储在匿名内部类的类文件中，并且它不太可能发生变化，因为支持此内省不是实际目标。它也只是一个特殊情况，类型可以表示像ArrayList<String>。为了说明不同的情况：

var acs = true? new StringBuilder(): CharBuffer.allocate(10);
acs.append("text");
acs.subSequence(1, 2);
System.out.println(
  new Object(){ { var x = acs; } }.getClass().getDeclaredFields()[0].getGenericType()
);

acs的类型是Appendable和CharSequence的交集类型，通过调用其上的任一接口的方法来证明，但由于未指定编译器是否推断#1 extends Appendable&CharSequence或#1 extends CharSequence&Appendable，因此未指定代码是否将打印java.lang.Appendable或java.lang.CharSequence 。

我不认为这是合成字段的问题，但对于显式声明的字段，它可能是。

但是，我怀疑专家组是否详细考虑了这些影响。相反，决定不支持字段声明（因此跳过长时间思考其含义）是从一开始就做出的，因为局部变量始终是该特征的预期目标。局部变量的数量远远高于字段声明的数量，因此减少局部变量声明的样板会产生最大的影响。

3
投票

将var用于私人领域（IMO）是一个合理的决定。但省略它使功能更简单。

此外，在有更多使用本地类型推断的经验之后，可以在将来的某个版本中添加它，而删除某个功能则要困难得多。

3
投票

关于Nicolai's answer（特别是他的＃2理由）的阐述，JLS 10的拟议草案指出，var e;和var g = null;都是非法的局部变量，并且有充分的理由;从右侧（或缺乏）不清楚哪种类型推断var。

目前，非最终实例变量会根据其类型自动初始化（0和false的基元，以及对null的引用，因为我相信你已经知道了）。实例变量的推断类型将保持不清楚，除非它在声明或其各自的类的构造函数中初始化。

因此，我支持仅在变量为var和private时才允许使用final，因此我们可以确保在创建类的时候初始化它。但是，我不能说这将是多么困难的实施。

最新问题
© www.soinside.com 2019 - 2024. All rights reserved.