写点什么

Java 类型推断将不再支持可变性规范

  • 2017-01-02
  • 本文字数:2060 字

    阅读完需:约 7 分钟

Java 类型推断是一项推荐的 Java 特性,允许开发人员使用 var 关键字代替显式的变量类型声明。最近的报道显示,由于社区内无法就区分可变和不可变变量的实现方式达成一致意见,Java 类型推断将不再支持使用关键字区分可变的和不可变变量。提议的一些用来表示不可变变量的关键字包括val 和let。为了避免对细枝末节的长期讨论,一些这样的例子将被排除以求简洁。尽管JEP 并没有透露目标版本,Java 10 可能会实现这些功能。

为了完整地定义 JEP 286 的范围,甲骨文公司的 Java 语言架构师 Brian Goetz 在经过了一系列的提议和咨询之后了解到,实现局部变量类型推断(和避免显式声明变量类型的步骤)的新功能已达成足够共识,该功能应该使用关键词 var。另外,社区还强调了他们希望使用和其它语言,如 Scala、Kotlin 或 JavaScript,一样的方式来区分可变和不可变变量的类型推理。然而,尽管大家赞同这是一个有用的功能,但是就如何实现该区分,没有一致的意见。var/val、var/let 和(raw type)/var 都有强烈的支持者和反对者。为了防止这种争论延迟类型推断的进展,该功能的主导者决定将范围缩小到局部变量的简单类型推断,不管可变性区别。尽管如此,使用稍长一点的构造 final var,不可变的局部变量的类型仍然是可推断的。

复制代码
var s = "hello"; // type of s is String
var keys = map.keySet(); // assuming map is of type Map<K, V>, type
// inferred for keys will be Set<K>
final var MAX_COUNT = 100L; // MAX_COUNT will be immutable long

更新还用于提醒可推断的程度。一方面,只有初始化信息将用于推断变量的类型;这意味着在声明时未初始化的变量需要显式声明类型,它也有助于防止一些潜在的晦涩的错误(例如,代码深处的变量的类型推断错误)。另一方面,只有局部变量的类型是可推断的,不包括属性和方法,这是基于如下理解的。属性和方法是类的公共接口的一部分,因此需要由程序员明确定义。类型推断不起作用的其他情况是,暗示自身类型的初始化表达式,如:

复制代码
List<String> list = new LinkedList<>(); // type not indicated in
// initialisation, but inferred
// from variable declaration
var list = new LinkedList<>(); // error, impossible to infer a type for
// the contents of the list
Function<String, Integer> f = s -> s.length(); // type of s and length
// inferred from
// declaration
var f = s -> s.length(); // error, type of s unknown, return type of
// length unknown
int[] array = {1, 2, 3}; // 1, 2, 3 interpreted as integers
var array = {1, 2, 3}; // error, poly expressions not supported
// (see below)
// Use Integer.valueOf(int)
Function<Integer, Integer> intFunction = Integer::valueOf;
// Use Integer.valueOf(String)
Function<String, Integer> stringFunction = Integer::valueOf;
// error, ambiguous initialisation
var function = Integer::valueOf; // unable to know which overloaded
// version of valueOf should be used

目前还不清楚是否将支持上述的某些特定例子。如Goetz 所说,“我们将初始化器看作一个独立表达式(standalone expression),通过获取它的类型得到变量的类型。然而,数组初始器与lambda 和方法引用一样,是多变表达式(poly expression),所以被拒绝了。”多变表达式是Java 8 中随着lambda 引进的一个概念,与普通表达式的不同之处在于计算类型的方式。对于普通表达式来说,可以通过在编译时检查表达式的内容获取类型;对于多变表达式,要计算类型,除此之外还需要目标类型(即被表达式赋值的变量的类型)。这意味着,多变表达式已经隐含了一些对自身的类型推断,因此很难甚至不可能推断多变表达式的类型。但是,有一些这类问题的场景似乎提供了足以推断出合适类型的信息,可能将来会考虑把它们纳入进来。如下:

复制代码
var a = {1, 2, 3}; // could infer type int[]
var f = (String s) -> s.length(); // could infer type
// Function<String, Integer>

尽管存在局限,局部类型推断能帮助缩小 Java 和其它 JVM 语言之间的差距,为 Java 开发人员减少冗余代码。和 lambda 现在扩充新功能的方式一样,类型推断可能在第一版之后得到提升。这将确认作为新功能实验场所的 JVM 语言的非官方动态,最流行的新功能最终被引入 Java。

查看英文原文: Java Type Inference Won’t Support Mutability Specification


感谢冬雨对本文的审校。

给InfoQ 中文站投稿或者参与内容翻译工作,请邮件至 editors@cn.infoq.com 。也欢迎大家通过新浪微博( @InfoQ @丁晓昀),微信(微信号: InfoQChina )关注 我们。

2017-01-02 18:006133
用户头像

发布了 33 篇内容, 共 12.4 次阅读, 收获喜欢 10 次。

关注

评论

发布
暂无评论
发现更多内容

开发者可以选择哪些小游戏分发平台?

FN0

小游戏 小游戏开发 小程序化

Code Review到底在关注些什么?

孟君的编程札记

Java CodeReview

转转AB平台的设计与实现

转转技术团队

大数据 A/B 测试

数据代码如何“产地直销”,做到持续集成持续发布?

数造万象

隐私计算之多方安全计算(MPC,Secure Multi-Party Computation)

京东科技开发者

大数据 隐私安全 多方安全 MPC OT

web前端培训机构怎么选?

小谷哥

昇腾CANN:为你开启机器人开发的Buff 加成

华为云开发者联盟

人工智能 华为云 昇腾AI 12 月 PK 榜

「Go框架」http请求处理流程: gin、beego等web框架是如何处理http请求的?

Go学堂

golang 开源 程序员 个人成长 12月月更

三个延伸打法,撑起华为云桌面的7年领跑

路过的憨憨

今明两天,eBPF 技术探索和 Intel Arch 两大技术 SIG 继续开讲 | 第 57-58 期

OpenAnolis小助手

开源 ebpf intel 龙蜥大讲堂 浪潮信息

LED显示屏企业需要抓住直播的风口吗?

Dylan

LED显示屏 全彩LED显示屏 led显示屏厂家

大数据开发技术有好的培训机构吗

小谷哥

基于聚类算法的话术挖掘技术及在营销服场景的落地应用

中关村科金

人工智能 大数据 算法 对话机器人 技术实践

无魅友,不魅族!魅族大力推广魅友文化,用行动阐述何为用户共创

极客天地

DAG任务调度系统 Taier 演进之道,探究DataSourceX 模块

袋鼠云数栈

开源

【5000字长文】从 S3 到 DataZone,亚马逊云科技用16年讲完一个数据的故事

亚马逊云科技 (Amazon Web Services)

亚马逊云科技 Builder 专栏

【2023】合肥市等保测评有哪些公司?地址在哪里?

行云管家

等级保护 等保测评 等保2.0 合肥

支持API 9的Sample已上新,速来拿走

HarmonyOS开发者

HarmonyOS

学习大数据开发技术能参加培训吗?

小谷哥

老板要的物联网可视化大屏,我30分钟就搞定了

华为云开发者联盟

物联网 华为云 12 月 PK 榜

尚硅谷发布JDBC新版视频教程

小谷哥

大咖说·阿里云教育|“网上浙大”数字化之路

大咖说

数字化 高校

国产ETL 星光不问赶路人 时我不待

weigeonlyyou

oracle Prometheus Clickhouse MySQL 数据库 InfluxDB Cluster

高可用软件什么意思?哪些高可用软件好用?

行云管家

高可用 双机热备 高可用软件

前端开发培训后可以从事哪些方面的工作

小谷哥

手游“Lord of Dragons Global”进军P2E市场

科技热闻

深耕数字办公,华为云桌面怎样带来高效办公体验?

路过的憨憨

DevSecOps 需要知道的十大 K8s 安全风险及建议

SEAL安全

k8s DevSecOps 12 月 PK 榜

那些专注小程序语法编译的跨端开发平台

FinFish

前端框架 跨端开发 跨端框架 前端开发框架 前端开发平台

安装 Azure CL 并生成 service principal 文件

HummerCloud

云计算 azure

有序存储对于高性能的意义

华为云开发者联盟

后端 开发 华为云 12 月 PK 榜

Java类型推断将不再支持可变性规范_Java_Abraham Marín Pérez_InfoQ精选文章