企业网站推广多少钱,wordpress 慢途网主题,网站建设相关的广告标语,黄冈做网站的公司哪家好对于编程语言迷来说#xff0c;新闻几乎比这更令人兴奋#xff01; 现在有一个状态为“候选”的本地变量类型推断的JEP 286 。 以及Brian Goetz的反馈请求#xff0c;我很想邀请您参加#xff1a; http : //mail.openjdk.java.net/pipermail/platform-jep-discuss/2016-Ma… 对于编程语言迷来说新闻几乎比这更令人兴奋 现在有一个状态为“候选”的本地变量类型推断的JEP 286 。 以及Brian Goetz的反馈请求我很想邀请您参加 http : //mail.openjdk.java.net/pipermail/platform-jep-discuss/2016-March/000037.html 请这样做调查仅在3月9日至3月16日开放 这不是将要实现的功能。 这可能实现。 因此尚无特定的Java版本这就是为什么我将Java版本命名为“ A”对于Awesome。 什么是局部变量类型推断为什么好呢 让我们看一下其他各种语言已经存在了一段时间的功能。 在此博客文章中我想讨论总体思想而不是讨论可能针对Java计划的特定实现因为这还为时过早而且我当然不了解如何将其适合Java。 。 在Java和其他某些语言中类型总是明确和冗长地声明。 例如您编写如下内容 // Java 5 and 6
ListString list new ArrayListString();// Java 7
ListString list new ArrayList(); 请注意在Java 7中如何通过有用的菱形运算符添加了一些语法糖。 它有助于以Java方式消除不必要的冗余即通过应用“目标类型”这意味着类型是由“目标”定义的。 可能的目标是 局部变量声明 方法参数从方法的外部和内部 班级成员 由于在许多情况下 必须明确声明目标类型方法参数类成员因此Java的方法很有意义。 但是对于局部变量实际上不需要声明目标类型。 由于类型定义绑定在一个非常局部的范围内因此无法逃脱因此编译器很可能会在没有源代码明确的情况下从“源类型”推断出它。 这意味着我们将能够执行以下操作 // Java A as suggested in the JEP// infers ArrayListString
var list new ArrayListString();// infers StreamString
val stream list.stream(); 在上面的示例中 var表示可变非最终局部变量而val表示不可变最终局部变量。 请注意从来没有真正需要过列表类型就像我们编写以下内容一样今天已经推断出了类型 stream new ArrayListString().stream(); 这与lambda表达式没有什么不同在Java 8中我们已经有了这种类型推断 ListString list new ArrayList();// infers String
list.forEach(s - {System.out.println(s);
}; 将lambda参数视为局部变量。 这种lambda表达式的另一种语法可能是 ListString list new ArrayList();// infers String
list.forEach((val s) - {System.out.println(s);
};其他语言都有这个但是好吗 这些其他语言包括CScala和JavaScript如果需要的话。 YAGNI可能是对此功能的常见反应。 对于大多数人来说不能一直输入所有类型只是为了方便。 某些人在阅读代码时可能更喜欢看到明确记录下来的类型。 特别是当您具有复杂的Java 8 Stream处理管道时很难跟踪沿途推断的所有类型。 在我们有关jOOλ的窗口函数支持的文章中可以看到一个示例 BigDecimal currentBalance new BigDecimal(19985.81);Seq.of(tuple(9997, 2014-03-18, new BigDecimal(99.17)),tuple(9981, 2014-03-16, new BigDecimal(71.44)),tuple(9979, 2014-03-16, new BigDecimal(-94.60)),tuple(9977, 2014-03-16, new BigDecimal(-6.96)),tuple(9971, 2014-03-15, new BigDecimal(-65.95)))
.window(Comparator.comparing((Tuple3Integer, String, BigDecimal t) - t.v1, reverseOrder()).thenComparing(t - t.v2), Long.MIN_VALUE, -1)
.map(w - w.value().concat(currentBalance.subtract(w.sum(t - t.v3).orElse(BigDecimal.ZERO))
)); 上面实现了运行总计计算得出 ------------------------------------
| v0 | v1 | v2 | v3 |
------------------------------------
| 9997 | 2014-03-18 | 99.17 | 19985.81 |
| 9981 | 2014-03-16 | 71.44 | 19886.64 |
| 9979 | 2014-03-16 | -94.60 | 19815.20 |
| 9977 | 2014-03-16 | -6.96 | 19909.80 |
| 9971 | 2014-03-15 | -65.95 | 19916.76 |
------------------------------------ 尽管由于现有Java 8的有限类型推断功能而需要声明Tuple3类型 另请参见有关广义目标类型推断的本文 但是您是否可以跟踪所有其他类型 您可以轻松预测结果吗 有些人喜欢短款有些则声称 lukaseder我总是在Scala中声明我的类型。 我真的认为除了语法糖之外这没有给Java的游戏增加任何东西。 — Steve Chalonersteve_objectify 2016年3月10日 另一方面您是否想手动写下类似Tuple3Integer, String, BigDecimal 或者在使用jOOQ时 您更喜欢以下哪个版本的相同代码 // Explicit typing
// ----------------------------------------
for (Record3String, Integer, Date record : ctx.select(BOOK.TITLE, BOOK.ID, BOOK.MODIFIED_AT).from(BOOK).where(TITLE.like(A%))
) {// Do things with recordString title record.value1();
}// Dont care typing
// ----------------------------------------
for (Record record : ctx.select(BOOK.TITLE, BOOK.ID, BOOK.MODIFIED_AT).from(BOOK).where(TITLE.like(A%))
) {// Do things with recordString title record.getValue(0, String.class);
}// Implicit typing
// ----------------------------------------
for (val record : ctx.select(BOOK.TITLE, BOOK.ID, BOOK.MODIFIED_AT).from(BOOK).where(TITLE.like(A%))
) {// Do things with recordString title record.value1();
} 我敢肯定很少有人真的愿意显式地写下整个泛型类型但是如果您的编译器仍然可以记住这一点那真是太棒了不是吗 这是一个可选功能。 您始终可以恢复为显式类型声明。 使用地点差异的边缘案例 没有这种类型推断有些事情是不可能的它们与使用站点的差异以及Java中实现的泛型的细节有关。 使用使用场所差异和通配符可以构造无法分配给任何东西的“危险”类型因为它们是不确定的。 有关详细信息请阅读Ross Tate关于在Java的Type System中驯服通配符的论文 。 当从方法返回类型暴露时使用站点差异也是一个痛苦如在某些库中可以看到的 不在乎他们给用户带来的痛苦 没有找到更好的解决方案因为Java没有声明站点差异 忽略了这个问题 一个例子 interface Node {void add(List? extends Node children);List? extends Node children();
} 想象一下一个树数据结构库其中树节点返回其子级列表。 从技术上讲正确的子类型为List? extends Node List? extends Node因为子级是Node子类型并且使用Node子类型列表是完全可以的。 从API设计的角度来看在add()方法中接受此类型非常有用。 例如它允许人们添加ListLeafNode 。 但是从children()返回它是可怕的因为现在唯一的选择是 // Raw type. meh
List children parent.children();// Wild card. meh
List? children parent.children();// Full type declaration. Yuk
List? extends Node children parent.children(); 使用JEP 286我们也许可以解决所有这些问题并拥有第四个不错的选择 // Awesome. The compiler knows its
// List? extends Node
val children parent.children();结论 局部变量类型推断是一个热门话题。 它是完全可选的我们不需要它。 但这使很多事情变得容易得多尤其是在使用大量仿制药时。 我们已经看到在使用lambda表达式和复杂的Java 8 Stream转换时类型推断是一项致命功能。 当然要在一条较长的语句中跟踪所有类型会比较困难但是同时如果拼出了这些类型则会使该语句非常难以阅读并且通常也很难编写。 类型推断有助于使开发人员提高工作效率而又不放弃类型安全性。 实际上这鼓励了类型安全因为API设计人员现在不那么愿意向用户公开复杂的泛型类型因为用户可以更轻松地使用这些类型 请参见jOOQ示例 。 实际上此功能已经在各种情况下在Java中提供只是在为局部变量赋值并为其命名时不存在。 无论您的意见是什么请确保将其分享给社区并回答此调查 http : //mail.openjdk.java.net/pipermail/platform-jep-discuss/2016-March/000037.html 期待Java AA代表Awesome。 翻译自: https://www.javacodegeeks.com/2016/03/java-new-local-variable-type-inference.html
