查漏补缺：Java10之后，var成为关键字了吗

Java 10引入了一个新功能：局部变量类型推断（LVTI）。对于局部变量，可以使用 “var” 代替实际类型，也就是像js一样，可以通过 var 定义变量。那么 var 是新增加的关键字吗？
答案是否定的，标识符var不是一个关键字，而是一个保留类型名。那么你还记得啥是保留类型名吗？
如果你也想对这块基础知识进行一次查漏补缺，那么咱们就开始吧！

一、前言

事情的起因是在无意间看到一个java基础知识的题，其中有一段 var a = 10;这样的代码，我感觉很纳闷，这不是js里定义变量的方法吗？

后来查看解析才发现，自Java10开始，增加了局部变量类型推断的功能，就已经支持 var 定义变量。

说来惭愧，之前项目中还一直沿用的Java8，对后续版本的变动确实不敏感。深感愧疚，遂决定开始查漏补缺。

二、局部变量类型推断（var）究竟是什么？

2.1 概念理解

首先，先上官方文档：JEP 286: Local-Variable Type Inference (openjdk.org)。

大家可以先大致过一下官方文档，以防我的理解偏差误导了大家。

Java局部变量类型推断（LVTI），简称var类型，Java 10中通过 JEP 286 添加进来。（Java 10 发布时间为 2018.03）。

其允许开发人员省略通常不必要的局部变量类型的声明。这种处理将仅限于具有初始值设定项的局部变量，增强型 -循环中的索引以及在传统 -循环中声明的局部变量;它不适用于方法形式，构造函数形式，方法返回类型，字段，捕获形式或任何其他类型的变量声明。

作为100%编译特征，它不会影响字节码，运行时或者性能。在编译时，编译器会检查赋值语句右侧代码，从而推断出具体类型。它查看声明的右侧，如果这是一个初始化语句，它会用那个类型取代var。
另外，它非常有助于减少冗余代码和样板代码。它还只在旨在编写代码时所涉及的仪式。

2.2 实际应用

// java10 之前
int a = 1;
String b = "string";
double c = 1.1;
boolean d = true;
ArrayList<String> e = new ArrayList<String>();// java10 之后可以使用var
var a = 1;
var b = "string";
var c = 1.1;
var d = true;
var e = new ArrayList<String>();

2.3 简单总结

var 的使用是有要求的：

（1）只能用于局部变量上；

（2）声明时必须初始化；

（3）不能用作方法参数

var 是100%编译特征，它不会影响字节码，运行时或者性能。
var 应有节制地使用，否则会降低代码的可读性。

三、var 是新的关键字吗？

在搜索相关资料的时候，发现很多文章标题直接就是 Java10 var 关键字。

那么 var 究竟是不是关键字呢？

3.1 官方描述：不是

JEP 286：局部变量类型推断 (openjdk.org)

The identifier is not a keyword; instead it is a reserved type name. This means that code that uses as a variable, method, or package name will not be affected; code that uses as a class or interface name will be affected (but these names are rare in practice, since they violate usual naming conventions).

翻译一下：

标识符不是关键字;相反，它是一个保留类型名。这意味着用作变量、方法或包名的代码不会受到影响;用作类或接口名称的代码将会受到影响(但这些名称在实践中很少见，因为它们违反了通常的命名约定)

官网说的很清楚，var 是保留类型名，那你还记得啥是保留类型名吗？

3.2 保留类型名是什么

关键字： 被Java语言赋予了特殊含义，用作专门用途的字符串。关键字不能作为包名、类名、方法名、变量名。

保留类型名： 现有的Java版本尚未使用，但以后版本可能作为关键字使用。保留类型名不能作为类名。

3.3 代码验证

四、你还记得有哪些关键字吗？

这是 Java 中基础的知识点了。大家可以直接查看 javax.lang.model.SourceVersion 类的isKeyword 方法。

// 我贴的这部分代码来自JDK17，其余版本可自行查看。
/*** Returns whether or not {@code s} is a keyword, boolean literal,* or null literal in the given source version.* This method returns {@code false} for <i>restricted* keywords</i> and <i>restricted identifiers</i>.** @param s the string to check* @param version the version to use* @return {@code true} if {@code s} is a keyword, or boolean* literal, or null literal, {@code false} otherwise.* @jls 3.9 Keywords* @jls 3.10.3 Boolean Literals* @jls 3.10.8 The Null Literal* @since 9*/public static boolean isKeyword(CharSequence s, SourceVersion version) {String id = s.toString();switch(id) {// A trip through historycase "strictfp":return version.compareTo(RELEASE_2) >= 0;case "assert":return version.compareTo(RELEASE_4) >= 0;case "enum":return version.compareTo(RELEASE_5) >= 0;case "_":return version.compareTo(RELEASE_9) >= 0;// case "non-sealed": can be added once it is a keyword only// dependent on release and not also preview features being// enabled.// Keywords common across versions// Modifierscase "public":    case "protected": case "private":case "abstract":  case "static":    case "final":case "transient": case "volatile":  case "synchronized":case "native":// Declarationscase "class":     case "interface": case "extends":case "package":   case "throws":    case "implements":// Primitive types and voidcase "boolean":   case "byte":      case "char":case "short":     case "int":       case "long":case "float":     case "double":case "void":// Control flowcase "if":      case "else":case "try":     case "catch":    case "finally":case "do":      case "while":case "for":     case "continue":case "switch":  case "case":     case "default":case "break":   case "throw":    case "return":// Other keywordscase  "this":   case "new":      case "super":case "import":  case "instanceof":// Forbidden!case "goto":        case "const":// literalscase "null":         case "true":       case "false":return true;default:return false;}}

五、总结

如官网所言，var 是一个保留类型名，不能作为类名使用。但可以用作变量、方法或包名以及包名(不推荐)。var 是100%编译特征，其使用有一定限制，但应有节制地使用，否则会降低代码的可读性。