写点什么

Java 10 var 关键字详解和示例教程

  • 2018-10-11
  • 本文字数:10161 字

    阅读完需:约 33 分钟

关键要点

  • Java 10 引入了一个闪亮的新功能:局部变量类型推断。对于局部变量,现在可以使用特殊的保留类型名称“var”代替实际类型。
  • 提供这个特性是为了增强 Java 语言,并将类型推断扩展到局部变量的声明上。这样可以减少板代码,同时仍然保留 Java 的编译时类型检查。
  • 由于编译器需要通过检查赋值等式右侧(RHS)来推断 var 的实际类型,因此在某些情况下,这个特性具有局限性,例如在初始化 Array 和 Stream 的时候。
  • 如何使用新的“var”来减少样板代码。

在本文中,我将通过示例介绍新的 Java SE 10 特性——“var”类型。你将学习如何在代码中正确使用它,以及在什么情况下不能使用它。

介绍

Java 10 引入了一个闪亮的新功能:局部变量类型推断。对于局部变量,现在可以使用特殊的保留类型名称“var”代替实际类型,如下所示:

var name = “Mohamed Taman”;

提供这个特性是为了增强 Java 语言,并将类型推断扩展到局部变量的声明上。这样可以减少板代码,同时仍然保留 Java 的编译时类型检查。

由于编译器需要通过检查赋值等式右侧(RHS)来推断 var 的实际类型,因此在某些情况下,这个特性具有局限性。我会在稍后提到这个问题。现在,让我们来看一些简单的例子吧。

在开始演示代码之前,你需要一个 IDE 来体验这些新特性。现在有很多可选择的 IDE,所以你可以在它们当中选择你喜欢的能够支持 Java SE 10 的 IDE,比如 Apache NetBeans 9、IntelliJ IDEA 2018 或最新版本的 Eclipse。

就个人而言,我更喜欢使用交互式的编程工具,可以快速学习 Java 语言语法,了解新的 Java API 及其特性,甚至用来进行复杂代码的原型设计。这与枯燥的编辑、编译和执行代码的繁琐过程不太一样:

  1. 写一个完整的程序;
  2. 编译并修复错误;
  3. 运行程序;
  4. 弄清楚它有什么问题;
  5. 修改;
  6. 重复这个过程。

除了 IDE 之外,现在还可以使用从 Java SE 9 以就随 ava SE JDK 一起发布的 JShell。

什么是 JShell

现在,Java 有了自己的 REPL(Read-Evaluate-Print-Loop)实现 JShell(Java Shell),作为交互式的编程环境。那么,它有什么神奇的地方?JShell 提供了一个快速友好的环境,让你能够快速探索、发现和试验 Java 语言特性及其丰富的库。

在 JShell 中,你可以一次输入一个程序元素,并可以立即看到结果,然后根据需要对代码做出调整。因此,JShell 用它的 Read-Evaluate-Print 循环取代了编辑、编译和执行的繁琐过程。在 JShell 中,你不需要编写完整的程序,只需要编写 JShell 命令和 Java 代码片段即可。

当你输入代码段时,JShell 会立即读取、执行并打印结果,然后准备好执行下一个代码片段。因此,JShell 的即时反馈可以让你保持注意力,提高你的效率,并加快学习和软件开发过程。

对 JShell 的介绍就到此为止(InfoQ 最近对这个工具进行过全面介绍)。为了深入了解 JShell 的功能,我录制了一套视频教程“Hands-on Java 10 Programming with JShell”,可以帮助你掌握 JShell,可以从 Packt Udemy 访问这些教程。

现在,让我们通过一些简单的示例(使用 JShell)来了解这个新的 var 类型能做些什么。

必备软件

为了能用上 JShell,我假设你安装了 Java SE 或 JDK 10+,并且 JDK 的 bin 目录已经加入到系统路径中。如果还没有安装,可以在这里下载 JDK 10+最新版本

启动 JShell 会话

  • 在 Windows 上,打开命令提示符,输入 jshell 并按回车键。
  • 在 Linux 上,打开一个 shell 窗口,输入 jshell 并按回车键。
  • 在 macOS(以前称为 OS X)上,打开终端窗口,输入“jshell”并按回车键。

这个命令会启动一个新的 JShell 会话,并显示这个消息:

|  Welcome to JShell -- Version 10.0.1
|  For an introduction type: /help intro
jshell>

使用“var”类型

现在你已经安装了 JDK 10,现在让我们开始玩 JShell。我们直接跳到终端,通过示例来了解 var 类型。只需在 jshell 提示符下输入我接下来要介绍的每个代码片段,我会把结果留给你作为练习。如果你稍微有瞄过一两眼在代码,你会注意到它们看起来好像是错的,因为当中没有分号。你可以试试看,看看能不能运行。

简单的类型推理

这是 var 类型的基本用法,在下面的示例中,编译器可以将 RHS 推断为 String 字面量:

var name = "Mohamed Taman"
var lastName = str.substring(8)
System.out.println("Value: "+lastName +" ,and type is: "+ lastName.getClass().getTypeName())

这里不需要分号,因为 JShell 是一个交互式环境。只有当同一行代码有多个语句或一个类型声明或方法声明中有多个语句时才需要分号,你将在后面的示例中看到。

var 类型和继承

在使用 var 时,多态仍然有效。在继承的世界中,var 类型的子类型可以像平常一样赋值给超类型的 var 类型,如下所示:

import javax.swing.*
var password = new JPasswordField("Password text")
String.valueOf(password.getPassword()) // // 将密码的字符数组转换成字符串 
var textField = new JTextField("Hello text")
textField = password
textField.getText()

但不能将超类型 var 赋值给子类型 var,如下所示:

password = textField

这是因为 JPasswordField 是 JTextField 的子类。

var 和编译时安全性

如果出现错误的赋值操作会怎样?不兼容的变量类型不能相互赋值。一旦编译器推断出实际类型的 var,就不能将错误的值赋值给它,如下所示:

var number = 10
number = "InfoQ"

这里发生了什么?编译器将“var number = 10”替换为“int number = 10”,所以仍然可以保证安全性。

var 与集合和泛型

现在让我们来看看 var 与集合和泛型一起使用时如何进行类型推断。我们先从集合开始。在下面的情况中,编译器可以推断出集合元素的类型是什么:

var list = List.of(10);

这里没有必要进行类型转换,因为编译器已经推断出正确的元素类型为 int。

int i = list.get(0); // 等效于: var i = list.get(0);

下面的情况就不一样了,编译器只会将其作为对象集合(而不是整数),因为在使用菱形运算符时,Java 需要 LHS(左侧)的类型来推断 RHS 的类型:

var list2 = new ArrayList<>(); list2.add(10); list2
int i = list2.get(0) // 编译错误 
int i = (int) list2.get(0) // 需要进行转换,获得 int

对于泛型,最好在 RHS 使用特定类型(而不是菱形运算符),如下所示:

var list3 = new ArrayList<Integer>(); list3.add(10); System.out.println(list3)
int i = list3.get(0)

for 循环中的 var 类型

让我们先来看看基于索引的 For 循环:

for (var x = 1; x <= 5; x++) {
           var m = x * 2; // 等效于: int m = x * 2;
          System.out.println(m); 
}

下面是在 For Each 循环中:

var list = Arrays.asList(1,2,3,4,5,6,7,8,9,10)
    for (var item : list) {
          var m = item + 2;
          System.out.println(m);
}

现在我有一个问题,var 是否适用于 Java 8 Stream?让我们看看下面的例子:

var list = List.of(1, 2, 3, 4, 5, 6, 7)
var stream = list.stream()
stream.filter(x ->  x % 2 == 0).forEach(System.out::println)

var 类型和三元运算符

那么三元运算符呢?

var x = 1 > 0 ? 10 : -10
int i = x 

现在,如果在三元运算符的 RHS 中使用不同类型的操作数会怎样?让我们来看看:

var x = 1 > 0 ? 10 : "Less than zero"; System.out.println(x.getClass()) //Integer
var x = 1 < 0 ? 10 : "Less than zero"; System.out.println(x.getClass()) // String

这两个例子是否可以说明 var 的类型是在运行时决定的?绝对不是!让我们以旧方式实现同样的逻辑:

Serializable x = 1 < 0 ? 10 : "Less than zero"; System.out.println(x.getClass())

Serializable 是其中两个操作数最具兼容性和最专的有类型(最不专有的类型是 java.lang.Object)。

String 和 Integer 都实现了 Serializable。Integer 从 int 自动装箱。换句话说,Serializable 是两个操作数的 LUB(最小上限)。所以,这表明往前数第三个例子中的 var 类型也是 Serializable。

让我们转到另一个主题:将 var 类型传给方法。

var 类型与方法

我们先声明一个名为 squareOf 的方法,这个方法的参数为 BigDecimal 类型,并返回参数的平方,如下所示:

BigDecimal squareOf(BigDecimal number) {
      var result= number.multiply(number);
      return result;
  }

var number = new BigDecimal("2.5")
number = squareOf(number)

现在让我们看看它如何与泛型一起使用。我们声明一个名为 toIntgerList 的方法,参数类型为 List<T>(泛型类型),并使用 Streams API 返回一个整数列表,如下所示:

<T extends Number> List<Integer> toIntgerList(List<T> numbers) {
               var integers = numbers.stream()
                                    .map(Number::intValue)
                                    .collect(Collectors.toList());
               return integers;
}

var numbers = List.of(1.1, 2.2, 3.3, 4.4, 5.5)
var integers = toIntgerList(numbers)

var 类型与匿名类

最后,让我们看一下 var 和匿名类。我们通过实现 Runnable 接口来使用线程,如下所示:

<T extends Number> List<Integer> toIntgerList(List<T> numbers) {
               var integers = numbers.stream()
                                    .map(Number::intValue)
                                    .collect(Collectors.toList());
               return integers;
}

var numbers = List.of(1.1, 2.2, 3.3, 4.4, 5.5)
var integers = toIntgerList(numbers)

到目前为止,我已经介绍了 Java 10 的新特性——“var”类型,它减少了样板编码,同时保持了 Java 的编译时类型检查。我还通过实例说明了可以用它做些什么。接下来,你将了解 var 类型的局限性以及不能将它用在哪些地方。

var message = "running..." //effectively final
         var runner = new Runnable(){
                  @Override
                  public void run() {
                           System.out.println(message);
                  }}

runner.run()

“var”的局限性

接下来,你将看一些示例,以便了解 var 类型功能无法做到的事情。

jshell 提示符将会告诉你代码出了什么问题,你可以利用这些交互式的即时反馈。

应该要进行初始化

第一个也是最简单的原则就是不允许没有初始值的变量。

var name;

你将得到一个编译错误,因为编译器无法推断这个局部变量 x 的类型。

不允许复合声明

尝试运行这行代码:

var x = 1, y = 3, z = 4

你将得到一个错误消息:复合声明中不允许使用’var'。

不支持确定性赋值(Definite Assignment)

尝试创建一个名为 testVar 的方法,如下所示,将下面的代码复制并粘贴到 JShell 中:

void testVar(boolean b) {
       var x;
       if (b) {
           x = 1;
       } else {
           x = 2;
       }
      System.out.println(x);
}

方法不会被创建,而是会抛出编译错误。因为没有设置初始值,所以不能使用’var'。

null 赋值

不允许进行 null 赋值,如下所示:

var name = null;

这将抛出异常“variable initializer is 'null'”。因为 null 不是一个类型。

与 Lambda 一起使用

另一个例子,没有 Lambda 初始化器。这与菱形操作符那个示例一样,RHS 需要依赖 LHS 的类型推断。

var runnable = () -> {}

将抛出异常:“lambda expression needs an explicit target-type”。

var 和方法引用

没有方法引用初始值,类似于 Lambda 和菱形运算符示例:

var abs = BigDecimal::abs

将抛出异常:“method reference needs an explicit target-type”。

var 和数组初始化

并非所有数组初始化都有效,让我们看看什么时候 var 与 [] 不起作用:

var numbers[] = new int[]{2, 4, 6}

以下也不起作用:

var numbers = {2, 4, 6}

抛出的错误是: “array initializer needs an explicit target-type”。

就像上一个例子一样,var 和 [] 不能同时用在 LHS 一边:

var numbers[] = {2, 4, 6}

错误: 'var' is not allowed as an element type of an array。

只有以下数组初始化是有效的:

var numbers = new int[]{2, 4, 6}
var number = numbers[1]
number = number + 3

不允许使用 var 字段

class Clazz {
  private var name;
}

不允许使用 var 方法参数

void doAwesomeStuffHere(var salary){}

不能将 var 作为方法返回类型

var getAwesomeStuff(){ return salary; }

catch 子句中不能使用 var

try {
   Files.readAllBytes(Paths.get("c:\temp\temp.txt"));
} catch (var e) {}

在编译时 var 类型究竟发生了什么?

“var”实际上只是一个语法糖,并且它不会在编译的字节码中引入任何新的结构,在运行期间,JVM 也没有为它们提供任何特殊的指令。

结论

在这篇文章中,我介绍了“var”类型是什么以及它如何减少样板编码,同时保持 Java 的编译时类型检查。

然后,你了解了新的 JShell 工具,即 Java 的 REPL 实现,它可以帮助你快速学习 Java 语言,并探索新的 Java API 及其功能。你还可以使用 JShell 对复杂代码进行原型设计,而不是重复编辑、编译和执行的传统繁琐流程。

最后,你了解了所有 var 类型的功能和限制,例如什么时候可以和不可以使用 var。写这篇文章很有意思,所以我希望你喜欢它并能给你带来帮助。

其他资源

  1. JDK 10 Documentation
  2. Hands-on Java 10 Programming with JShell .
  3. Getting Started with Clean Code Java SE 9 .
  4. Overview of JDK 10 and JRE 10 Installation .
  5. JEP 286: Local-Variable Type Inference .
  6. Definite Assignment

关于作者

Mohamed Taman 是塞尔维亚贝尔格莱德 @WebCentric 的高级企业架构师 / 高级软件工程师 /Java Champion/Oracle Developer Champion/JCP 成员 / 作家 /EGJUG 领导人 / 国际演讲者。Tweeter 账号为 Taman @_tamanm。

查看英文原文 Explore the New Java 10 “var” Type: An Introduction and Hands-on Tutorial

2018-10-11 18:317744
用户头像

发布了 731 篇内容, 共 448.8 次阅读, 收获喜欢 2002 次。

关注

评论 1 条评论

发布
用户头像
喜欢
2018-12-29 11:23
回复
没有更多了
发现更多内容

萌宠来袭,如何让“吸猫撸狗”更有保障?

旺链科技

区块链 产业区块链 宠物行业

秒云成功入选《2022爱分析 · 银行数字化厂商全景报告》,智能运维能力获认可

MIAOYUN

人工智能 银行数字化转型 智能运维 智能运维AIOps

隐私计算与数据流通:关系、作用及功能

Jessica@数牍

隐私保护 隐私计算 数据流通 数据交易 数牍科技

TPC藏宝计划IDO自由协议复利模式开发功能分析

开发微hkkf5566

leetcode 48. Rotate Image 旋转图像(Medium)

okokabcd

数组 LeetCode 数据结构与算法

JS逆向字体反爬,某供应商平台反爬实践

梦想橡皮擦

Python 爬虫 8月月更

企业应当实施的5个云安全管理策略

SEAL安全

云计算 容器 DevOps 云原生 DevSecOps

分布式链路追踪Jaeger + 微服务Pig在Rainbond上的实践分享

北京好雨科技有限公司

开源 Kubernetes 云原生 SpringCloud Jaeger

技术分享| 小程序实现音视频通话

anyRTC开发者

小程序 uni-app 音视频 语音通话 视频通话

临床研究方法学,到现场,到数据真实发生的地方 | 对话数智 x 张维拓

ModelWhale

数据分析 人才培养 数据科学 8月月更 临床医学

直播回放含PPT下载|基于Flink & DeepRec构建Online Deep Learning

阿里云大数据AI技术

深度学习

AI 助力双碳目标:让每一度电都是我们优化的

阿里技术

人工智能

2022上半年各银行理财子公司深耕差异化发展,净值型产品数量增加

易观分析

银行 子公司 差异化发展 净值型产品

活动报名:如何高效应对当下的实时场景需求?

tapdata

Tapdata 实时数据

什么是 DevOps?看这一篇就够了!

玩转Devop和研发效能DevStream/DevLake

DevOps

【SpringBoot 一】SpringApplication启动类的Args详解

石臻臻的杂货铺

spring-boot 8月月更

技术干货 | 用零信任保护代码安全

权说安全

如何过一个充满科技感的七夕?华为告诉你

最新动态

聚焦数据来源、数据质量和模型性能构建小微企业信用画像

易观分析

数据技术 小微企业

手把手教你用 Jenkins 自动部署 SpringBoot

江南一点雨

Java spring jenkins springboot

什么是 DevOps?看这一篇就够了!

胡说云原生

管理 DevOps 运维 开发 签约计划第三季

数据中台建设(九):数据中台资产运营机制

Lansonli

数据中台 8月月更

全面认识MOS管,一篇文章就够了

矜辰所致

电路设计 8月月更 电子设计基础 MOS管

干货丨数学规划视角下的分货优化解题思路

杉数科技

运筹优化 智能分货 供应链计划 仓储优化 门店分货

Tapdata 开源项目基础教程:功能特性及实操演示

tapdata

Tapdata 开源社区

运维:Centos8安装supervisor守护Nginx进程笔记

天使不哭

#开源 8月月更

SchedulX V1.5.0发布,提供快速压测、对象存储等全新功能!

星汉未来

云原生 k8s IT运维 降本增效 星汉未来

制作温馨浪漫爱心表白动画特效HTML5+jQuery【附源码】

JavaPub

炫酷又高效的数据可视化大屏,做起来真的没那么难!丨极客星球

MobTech袤博科技

产品设计 数据可视化

【有话耀说】开发小达人们,荣耀开发者服务平台正式入驻InfoQ社区啦~

荣耀开发者服务平台

未来已来,只是尚未流行

石云升

读书感悟 未来社会 8月月更 未来以来

Java 10 var关键字详解和示例教程_Java_Mohamed Taman_InfoQ精选文章