| title | date | author | tags | keywords | categories | reward | reward_title | reward_wechat | reward_alipay | source_url | translator | translator_url |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
[译]Kotlin 1.0 Beta Candidate is Out! |
2015-10-22 09:54:00 -0700 |
Andrey Breslav |
官方动态 |
false |
Have a nice Kotlin! |
我们很高兴地介绍 Kotlin Beta Candidate。官方的 1.0 Beta 版将很快推出。到目前为止，二进制格式已经完成，没有规划主要的语言变化，标准库中只有一些变化即将到来。 在这篇文章中，我们描述了自 M14 以来的变化，包括
- 从对象进口，
- 新的更安全的收集界面，
- 内联 Java 常量，
- 更好地支持 Java 静态，
- 和更多。
我们正在推出一些突破性的变化以及新的重要特征。
由于 M14，Kotlin 需要使用用于操作符重载的函数的运算符修饰符。从现在起，对于中缀函数也是如此：
{% raw %}
{% endraw %}operator Foo.plus(other: Foo): Foo { ... }
fun testPlus() = Foo() + Foo()
infix fun Foo.bar(other: Foo): Foo { ... }
fun testInfix() = Foo() bar Foo(){% raw %}
{% endraw %}现在，我们放宽了对 Java 函数的这一要求：具有合适签名的任何 Java 函数都可以用作运算符**，但不能作为中缀使用。 一些操作员名称已更改，以避免歧义：
- 我们现在应该使用 unaryPlus 和 unaryMinus，而不是仅仅加上和减去一元函数，即 -Foo（）现在是 Foo（）。unaryMinus（）;
- 对于委派的属性，应该使用 getValue 和 setValue，而不是仅仅获取和设置。
代码清理操作将帮助您迁移代码。 此外，操作员签名现在由声明站点上的编译器进行检查。这些检查中的一些可能在将来放松，但我们相信现在我们现在是一个很好的起点。
Kotlin 现在支持通过名称导入对象的个别成员（但不能从对象导入* - import）
{% raw %}
{% endraw %}import mypackage.MyObject.foo
val test = foo("..."){% raw %}
{% endraw %}在这个例子中，我们从命名对象mypackage.MyObject导入了所有名为foo的成员。
要从类的伴随对象导入，我们必须指定其全名：
{% raw %}
{% endraw %}import mypackage.MyClass.Companion.foo{% raw %}
{% endraw %}我们最近一直在迁移很多代码<img alt =“:)”class =“wp-smiley”data-recalc-dims =“1”src =“https://i2.wp.com/blog.jetbrains。 com / kotlin / wp-includes / images / smilies / simple-smile.png？w = 640＆amp; ssl = 1“style =”height：1em; max-height：1em;“/>所以 Kotlin 的@Deprecated < / code>注释已经变得非常强大：它不仅需要一个消息，并允许通过ReplaceWith（“...”）指定替换，它还具有级别 now：WARNING，ERROR或HIDDEN。
- 警告是默认的，可以作为正常的弃用：在呼叫站点会有警告，IDE 会将其删除，
- ERROR 是一样的，但报告编译错误而不是警告，
- HIDDEN 是以前的 @HiddenDeclaration：它只是使这个声明在编译时对客户端不可见。
即使在 lambdas 中捕获的本地var，即使在这些 lambdas 中没有突变，智能转换也可以工作：
{% raw %}
{% endraw %}var a: Any? = ...
val mapped = users.map {
"${it.name}: $a"
}
if (a is String) {
println(a.length) // This works now
}{% raw %}
{% endraw %}我们现在可以在每个文件中定义一个带有标准签名的main（）函数（除了@file：JvmMultileClass）。这在实验代码时非常有用：
{% raw %}
{% endraw %}// FILE: a.kt
package foo
fun main(args: Array<String>) {
println("a.kt")
}
// FILE: b.kt
package foo
fun main(args: Array<String>) {
println("b.kt")
}{% raw %}
{% endraw %}要概述：在调用vararg函数时，我们可以使用 传播操作员 将数组转换为 vararg：
{% raw %}
{% endraw %}fun foo(vararg args: String) { ... }
fun bar(vararg args: String) {
foo(*args) // spread operator
}{% raw %}
{% endraw %}扩展运算符的语义已被修复，以便始终保证foo看到的数组不会被“外部世界”修改或观察。我们可以假设每次使用扩展运算符时都会做出防御性拷贝（实际上，稍后可能会实现一些优化来减少内存流量）。
因此，Kotlin 图书馆的作者可以依赖于安全地存储的 vararg 数组，而无需防御性复制
注意：当 Kotlin 函数从 java 调用时，由于没有使用任何扩展操作符，因此不能满足此保证。这意味着如果一个函数旨在从 Java 和 Kotlin 两者中使用，那么它的 Java 客户端的合同应该包含一个注释，该数组应该在传递给它之前被复制。
要注释属性的 setter 参数，请使用setparam use-site target 而不是sparam：
{% raw %}
{% endraw %}@setparam:Inject
var foo: Foo = ...{% raw %}
{% endraw %}有时我们需要压制 申报站点方差检查 在我们的课上例如，为了使Set.contains类型安全，同时保持只读集合变量，我们必须这样做：
{% raw %}
{% endraw %}interface Set<out E> : Collection<E> {
fun contains(element: @UnsafeVariance E): Boolean
}{% raw %}
{% endraw %}这对包含的实现者负有一定的责任，因为通过这个检查可以抑制元素的实际类型在运行时可能是任何东西，但有时候需要实现方便的签名。详细了解下面的集合的类型安全性。
因此，为此，我们为类型引入了@UnsafeVariance注释。这是故意长时间，并突出警告再次滥用它。
增加了许多支票，其中一些限制可能会在以后解除。 键入参数声明。我们决定限制类型参数声明的语法，以便所有这样的声明是一致的，所以
- 有趣的 foo （）已被弃用，有利于 fun foo（）：
- 类型参数的所有约束都应在“where”或“<...>”内部出现：
{% raw %}
{% endraw %}fun <T: Any> foo() {} // OK
fun <T> foo() where T: Serializable, T: Comparable<T> {} // OK
fun <T: Serializable> foo() where T: Comparable<T> {} // Forbidden{% raw %}
{% endraw %}数组的动态类型检查。数组元素类型在 Java 中被引用，但是它们的 Kotlin 特定属性（如可空性）不是。因此，我们删除了允许像a 为 Array＆lt; String＆gt;的检查的数组的特殊处理，现在数组作为所有其他通用类工作：我们可以检查a 是 Array * ;和像a 的转换像 Array＆lt; String＆gt;被标记为未选中。我们添加了一个特定于 JVM 的函数isArrayOf＆lt; T＆gt;（），以确定给定的数组可以包含 Java*中的T *类型的元素：
{% raw %}
{% endraw %} val a: Any? = ...
if (a is Array<*> && a.isArrayOf<String>()) {
println((a as Array<String>)[0])
}{% raw %}
{% endraw %}委派属性。委托属性的约定现在在getValue和setValue中使用KProperty * *＆gt;而不是PropertyMetadata
{% raw %}
{% endraw %}fun Foo.getValue(thisRef: Bar, property: KProperty<*>): Baz? {
return myMap[property.name]
}{% raw %}
{% endraw %}代码清理*将帮助您进行迁移。
可调用引用。现在禁止使用::的一些用法，稍后在实现绑定引用时启用。最值得注意的是，当foo是类的成员时，现在不应该使用:: foo应该使用MyClass :: foo。对对象成员的引用也暂时不受支持（它们也将作为绑定引用）。我们可以暂时使用 lambdas 作为解决方法。
If-expressions。当if用作表达式时，通过要求else if和时统一了的语义。
{% raw %}
{% endraw %}val foo = if (cond) bar // ERROR: else is required{% raw %}
{% endraw %}不返回函数。当一个函数知道抛出一个异常或循环永远，它的返回类型可能是Nothing，这意味着它永远不会正常返回。为了使工具更智能，我们要求这些函数始终显式指定其返回类型：
{% raw %}
{% endraw %}fun foo() = throw MyException() // Must specify return type explicitly
fun bar(): Nothing = throw MyException() // OK
fun baz() { throw MyExcepion() } // OK
fun goo(): Goo { throw MyExcepion() } // OK{% raw %}
{% endraw %}这是一个警告，在我们使用代码清理迁移我们的代码后，这些警告会被提升为错误 可见性检查被限制，例如，公共声明不能公开本地，私有或内部类型。访问内部声明在编译器以及 IDE 中进行检查; 查看更多 这里 。
该版本的主要变化是我们已经清理了集合和其他核心 API，例如，size现在是一个属性，包含是类型安全的：它需要E而不是Any？。这是使图书馆感觉像 Kotlin 一样保持与 Java 兼容的重大努力。这背后有相当多的编译器魔法，但是我们对结果感到满意。
例：
{% raw %}
{% endraw %}val strs = setOf("1", "abc")
if (1 in strs) { // 'strs' is a set of strings, can't contain an Int
println("No!")
}{% raw %}
{% endraw %}类似的代码在 Java 中起作用，因为Set＆lt; E＆gt; .contains（中的被编译为）需要Object，而不是/ code>，集合的元素类型。这被证明是容易出错的，所以我们决定让 Kotlin 收集接口更安全（同时保持与 Java 集合的完全兼容性）。因此，我们的包含需要一个E，上面的例子在 Kotlin 中是不正确的。 目前，Kotlin 编译器在上述示例中报告了中的的弃用警告，因为我们在标准库中提供了过渡扩展功能，以帮助每个人迁移，但是很快这将是一个错误。 *代码清理*是我们的朋友：它将用strs.containsRaw（1）替换 strs中的1。 containsRaw是标准库中的一个新功能，当我们真正需要*类似 Java 的行为时，我们可以使用它们：我们可以使用< code> containsRaw。
底线：
- Collection.contains，Map.get 和其他一些收集方法现在更安全;
- 我们可以使用 containsRaw，getRaw 等获取无类型的行为;
- Collection.size，Array.size，String.length，Map.Entry.key 等现在属性;
- List.remove（Int）已重命名为 removeAt（int），以避免与按照项目而不是索引删除的 List .remove 发生冲突。
- 代码清理将迁移所有代码。
所有正常的 Java 集合都可以正常工作：编译器知道如何在一个java.util.ArrayList上找到一个“属性”size。
有很多重要的变化涉及到 Kotlin 声明如何从 Java 可见，反之亦然。
从现在开始，我们在库中引入了 Java 常量（原始和 String 类型的公共静态 final 字段）。这将有助于 Android 开发人员遇到 API 不兼容：
{% raw %}
{% endraw %}if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.LOLLIPOP) { ... }{% raw %}
{% endraw %}现在可以在 Android 运行时的任何版本上工作（用于在比 Lollipop 小的运行时崩溃）。
我们只是从那里开始，但是为减少kotlin-runtime库的大小而开发的工作基础。现在它比现在的 M14 只有 200K，但是我们做的更多的事情要做的更少（不会破坏兼容性）。
Kotlin 现在对 Java 静态非常友好：
- 我们可以在其 Kotlin 子类的 Java 类中使用继承的嵌套类，静态方法和字段;
- 我们可以通过子类名称访问继承的 Java 静态方法和字段：SubClass.SUPER_CLASS_CONSTANT;
- 我们可以从 Kotlin 子类中访问超类的伴侣对象的成员;
- 但唯一的限定名称一个类可以访问的是它的规范名称，即我们不能说 SubClass.SupersInnerClass。
这关闭了我们过去使用的大型继承框架（如 Android）的许多问题。
为了使 Kotlin 面向未来，我们添加了一些符合 Java 8 的要求，以便能够以后将 Kotlin 接口中的函数体编译为 Java 默认方法。
在某些情况下，它会导致 Kotlin 需要比以前更加明确的覆盖，可惜的是，不能在接口中实现Any的方法（这在 Java 8 中不起作用）。
旁注：接口方法的默认实现可以从 Java 访问，作为MyIntf.DefaultImpls的静态成员。
例如，当 Kotlin 中的一个属性被命名为isValid时，它的 Java getter 现在将是isValid（）而不是getIsVaild（）。
我们已经制定了生成纯字段的策略（而不是获取/设置对）更可预测：从现在开始，只注释为@JvmField，lateinit或const作为字段公开给 Java 客户端。旧版本使用启发式方法，无条件地在对象中创建静态字段，这违反了我们默认情况下具有兼容二进制兼容性的 API 的初始设计目标。
此外，单例实例现在可以通过名称INSTANCE（而不是INSTANCE $）访问。
我们不得不禁止在接口中使用@JvmField，因为我们不能保证正确的初始化语义。
现在，类型Int和其他基本类型是 JVM 上的Serializable。这应该有助于许多框架。
类似于KotlinPackage等等已经不见了。我们已经完成了转换到新的类文件布局，以前不推荐使用的“程序包外观”现在已被删除。使用FileNameKt和/或@file：JvmName（使用可选的@file：JvmMultifileClass）。
由于 Java 没有内部可见性（但是），我们必须调整内部声明的名称，以避免在从另一个模块扩展类时，覆盖中出现意外的冲突。在技术上，内部成员可用于 Java 客户端，但是它们看起来很丑，这是我们可以为图书馆进化的可预测性支付的最低价格。
- @Synchronized 和 @Volatile 不适用于抽象声明;
- 作为摆脱外部注释的最后一步，@KotlinSignature 已被弃用，将被删除;
- 参数包含 Nothing 的通用类型现在将被编译为原始 Java 类型，因为 Java 没有“Nothing”的正确对应项;
- 现在，参数信息几乎无处不在，包括括号，这个和超级调用