AI实践哪家强?来 AICon, 解锁技术前沿,探寻产业新机! 了解详情
写点什么

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:006144
用户头像

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

关注

评论

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

Java Jackson 中如何 Pending JSON 对象到数组中

HoneyMoose

Tableau Day3:智能分析

贾献华

Tableau 1月月更

【LeetCode】括号的最大嵌套深度Java题解

Albert

算法 LeetCode 1月月更

ReactNative进阶(七):导航组件 react-navigation

No Silver Bullet

React Native 导航 1月月更

ubuntu隐藏终端路径

Ayosh

ubuntu #Ubuntu

云计算厂商们,你们辜负了中国的用户

Geek_2749b8

云计算 云服务

【盘点 2021】义无反顾,投身福报,我的2021年度总结

Zhendong

阿里巴巴 年终总结

java开发之SpringBoot 定时任务动态管理

@零度

JAVA开发 springboot

企业级开发平台的业务场景/运行机制/功能

BeeWorks

大数据开发之Hive调优技巧

@零度

大数据 hive调优

架构训练营 week4 课程总结

红莲疾风

「架构实战营」

KubeMeet 新年首站成都开放报名!5 场云原生应用交付开源实践

阿里巴巴云原生

阿里云 开源 云原生 KubeMeet 线下活动

一个cpp协程库的前世今生(十二)自旋锁

SkyFire

c++ cocpp

熬夜整理56个JavaScript高级的手写知识点!!专业扫盲!

Sunshine_Lin

JavaScript 面试 进阶 ES6 手写

物联网平台分为几层,你了解吗

华为云开发者联盟

物联网平台 终端 物联网 IoTAgent 智慧家庭

2022 年 Python 项目管理最佳实践(qbit)

qbit

企业办公IM风云再起,未来将朝三大方向发展

BeeWorks

Spring中用了哪些设计模式

编程江湖

spring

5步带你掌握工作流Activiti框架的使用

华为云开发者联盟

工作流 流程 任务 Activiti 静态数据

Linux之chmod命令

入门小站

Linux

深度剖析:Kafka 请求是如何处理的? 看完这篇文章彻底懂了

Kafka中文社区

没想到,学棋五年的我竟然输给了昇腾CANN!

华为云开发者联盟

机器人 强化学习 CANN 昇腾 机械臂

Vue3的8种组件通信方式

编程江湖

Vue 3

带你认识FusionInsight Flink:既能批处理,又能流处理

华为云开发者联盟

flink 批处理 流处理 FusionInsight Flink 计算框架

Kafka架构及基本原理简析

编程江湖

kafka

2021 年 25 大 DevOps 工具(下)

禅道项目管理

DevOps

做数据分析已经会Excel了,还要学Python吗?

博文视点Broadview

中文分词的原理与方法及其在运维领域中的实践

云智慧AIOps社区

算法 分词 智能运维 日志解析 技术黑板报

前端开发之JS中localStorage的使用

@零度

JavaScript 前端开发

设计模式【9】-- 外观模式?没那么高大上

秦怀杂货店

Java 设计模式 外观模式

技术干货 | 基于标准 WebRTC 低延迟直播的开源实践

网易云信

WebRTC 网络协议 直播技术 低延迟

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