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