“var”和原始类型如何结合在一起？

Question

我遇到了一个建议使用的answer

var list = new ArrayList();

我很惊讶在这里发现了一个原始类型，我只是想知道：var 是否自动使用<>“？

（同时答案改用<String>，不过我还是好奇不过这里的“原理”）

看到this之类的其他问题，都用菱形运算符：

var list = new ArrayList<>();

现在我只是想知道：var 是否改变了我们应该（不）使用原始类型的方式？还是说忽略<> 的建议只是不好的做法？

Answer 1

我遇到了一个建议使用的答案...

我会忽略这个答案，因为正如您所指出的，它使用原始类型并且它将list 类型具体为ArrayList。 （更新：回答者编辑 their answer 以添加元素类型。） 改为：

List<AppropriateElementType> list = new ArrayList<>();

根据second answer you linked，如果您包含<>，var 将导致编译器从右侧推断元素类型，选择最具体的类型.不过，在 var list = new ArrayList<>(); 中应该是 ArrayList<Object>，因为它没有任何更具体的内容可供选择。

但是，这个：

var list = new ArrayList();

...没有<>，使用的是原始类型（ArrayList），而不是带有Object作为参数的参数化类型（ArrayList<Object>），这是不同的。

---

如果list 的使用被充分包含（一个方法中的几行），则将其键入ArrayList<X> 而不是List<X> 可能是可以接受的（取决于您的编码风格），在这种情况下：

var list = new ArrayList<AppropriateElementType>();

但通常我更喜欢编写接口而不是具体类，即使是本地人也是如此。也就是说，对于本地人来说，它没有实例成员那么重要，而且var 很方便。

Answer 2

var和diamond同时使用是合法的，但是推断的类型会改变：

var list = new ArrayList<>(); // DANGEROUS: infers as ArrayList<Object>

为了推断，diamond 可以使用目标类型（通常是声明的左侧）或构造函数参数的类型。如果两者都不存在，则回退到最广泛的适用类型，通常是Object¹。

使用diamond 和泛型方法，可以通过实际参数向构造函数或方法提供额外的类型信息，从而可以推断出预期的类型¹：

var list = List.of(BigInteger.ZERO); // OK: infers as List<BigInteger>
var list = new ArrayList<String>( ); // OK: infers as ArrayList<String>

鉴于以上情况，我不建议做以下事情（因为你会得到原始的ArrayList类型）：

var list = new ArrayList(); // DANGEROUS: infers as ArrayList

结论：

1. 无论var 是否存在，都不要使用原始类型。
2. 确保方法或构造函数参数提供足够的类型信息，以便推断的类型与您的意图相匹配。否则，请避免同时使用 var 和 diamond¹。

---

^{1 - Style Guidelines 用于局部变量类型推断：G6。将 var 与菱形或泛型方法一起使用时要小心。}