Kotlin 1.2.0出ましたね。
主に新しい言語機能についてざっくり感想を述べます。
via What's New in Kotlin 1.2
言語機能
今までは次のようにarrayOfって書いていたけど、
@Singleton
@Component( modules = arrayOf(
AppModule::class,
DataModule::class,
...
)
)
interface AppComponent : AndroidInjector<HogeApplication> {
次のように書けるようになる。
@Singleton
@Component( modules = [
AppModule::class,
DataModule::class,
...
]
)
interface AppComponent : AndroidInjector<HogeApplication> {
アノテーションでのみ利用可能なので、大体Dagger周りとかPermissionDispatcherとかRobolectricとか周りで活躍しそう。
lateinit が top-levelプロパティとローカル変数で利用可能に
nullableじゃないけど宣言時はまだ値が決まらない時に使えそう。
とはいえlateinitは初期化されてない状態で触るとクラッシュするので、使い所が難しい。
Activity, Fragment等のライフサイクルがあるコンポーネントのプロパティとして使う事はあるが(やむを得ず)、
top-levelやローカル変数でのユースケースってそんなにないのではないかという気はする。
公式のコード例が次。特殊〜
lateinit var third: Node<Int>
val second = Node(2, next = { third })
val first = Node(1, next = { second })
third = Node(3, next = { first })
同じことをDelegateでもできる。
var third by Delegates.notNull<Node<Int>>()
val second = Node(2, next = { third })
val first = Node(1, next = { second })
third = Node(3, next = { first })
lateinit varが初期化済みかどうか検査できるようになった
こんな感じでプロパティリファレンスで検査できる。
class A {
lateinit var lateinitVar: String
fun initialize () {
if(!this::lateinitVar.isInitialized){
lateinitVar = "initialized"
}
}
}
ローカル変数では使えないので注意っぽい。lateinitは宣言時には値は決まらないけどあとで必ずnon-nullになるので型宣言はnon-nullで頼む :pray: みたいな機能なので、初期化されてなければ何か処理する、みたいな使い方はあんまり本質的ではない気がする。再代入を防ぐのに使う、というのがありそうではあるが...
インライン関数でデフォルト引数が可能に
今までなかったのか〜。便利。
inline fun <E> Iterable<E>.strings(transform: (E) -> String = { it.toString() }) =
map { transform(it) }
val defaultStrings = listOf(1, 2, 3).strings()
val customStrings = listOf(1, 2, 3).strings { "($it)" }
明示的なキャストの情報を使った型推論
Android API Level 26でfindViewById
がfindViewById<T>
になったので次のコードは動かなくなったんだけど、明示的キャストを型推論に使うから既存コードいじらなくてもいけるぜ的なやつ。助かる。
val button = findViewById(R.id.button) as Button
スマートキャストがより賢く
よくわかってないけど、キャストが成功したと解釈できるときはキャスト対象をその後の文脈でキャスト後の型として扱えるようになったみたいな感じ。複雑な検証もいい感じに拾うぜ的なやつ。
val firstChar = (s as? CharSequence)?.firstOrNull()
if (firstChar != null)
return s.count { it == firstChar }
val firstItem = (s as? Iterable<*>)?.firstOrNull()
if (firstItem != null)
return s.count { it == firstItem }
もうひとつ、クロージャでキャプチャする変数を、クロージャより手前でいじる場合のみ、クロージャ内でスマートキャストが利くようになった。
var x: String? = null
if (flag) x = "Yahoo!"
run {
if (x != null) {
println(x.length)
}
}
明示的にこれによさそうみたいなコード例が思いつかないけど多分どっかしら恩恵を受けそうな気はする。
Bound Callable Referenceの省略表記
クラスの関数やプロパティの参照は次のように書く。
val showMessage = Hoge::showMessage
val finish = this::finish
今回、this::
を::
に省略して書けるようになった。
val finish = ::finish
はい。
破壊的変更: sound smart casts after try blocks
https://youtrack.jetbrains.com/issue/KT-17929で報告された不具合で、次のコードはコンパイルが通り実行時にクラッシュする。
var s: String?
s = "Test"
try {
s = null
} catch (ex: Exception) {}
s.hashCode()
1.2.0ではこのコードのコンパイルは通らなくなる。プロダクトで1.2.0にしてもエラーにならなかったのでこういうコードってほぼ書かないよな普通と思いつつ安全になってよかった。
非推奨: スーパークラスのcopy関数をオーバーライドするdata classes
そもそもdata classがなにかを継承するケースってあんまりないと思うけど、もしもcopy関数を持ったクラスを継承したdata classを作ると腐ってしまうので非推奨になった。
例えば次のような感じ。
open class A {
fun copy(): A {
return A()
}
}
data class B(val a: Int) : A()
次のコードの変数bはBクラスが返って欲しいのだけど、実際にはAが返ってしまう。
val b = B(1).copy()
println(b.javaClass.simpleName)
data classで継承したいケースがほとんどない気がするのとさらにスーパークラスがcopy関数を持ってるケースってほとんどなさそうだけど、コンパイラがエラーにしてくれると安心ではある。1.2.0では警告で、1.3.0からコンパイルエラーになるとのこと。
非推奨: enumクラスでのネストしたクラスの宣言
次のコードで、A.X
にアクセスすると死ぬ。
enum class A {
X {
val x = 1
class Nested {
val y = x
}
val z = Nested()
}
}
これはXのコンストラクタでval zを初期化するときにNestedのコンストラクタでX.xにアクセスするから。nest classはデフォルトでは静的なクラスになるので、まだコンストラクタが走りきってないXに対してアクセスして死んでいる。inner classで宣言するとX.this.xでアクセスしにいくので死なない。1.2.0では警告で、1.3.0からコンパイルエラーになるとのこと。
こんなコード書かねーよ〜〜〜〜とは思う。
非推奨: 名前付き引数で、varargを単一の値で渡す
次のような関数があったとする。
fun print(vararg values: Int) {
values.forEach {
println(it)
}
}
次のような呼び出し方に警告が出るようになった。1.3.0でエラー。アノテーションの配列リテラルのスタイルとの一貫性のためらしい。
print(values = 5)
次のように書くようになる。
print(values = *intArrayOf(5))
あんまり感想がない。
Deprecation: Throwableを継承するジェネリック型の内部クラス
なんか型安全じゃなくなるらしい。よくわからないけど大変そう。こちらも1.2.0警告、1.3.0エラー。
Deprecation: valプロパティでバッキングフィールドを更新する
こういうのはダメよと。
val a: Int = 0
get() {
field++
return field
}
valなのに値変わっとるやんけ!と。1.2.0警告、1.3.0エラー。
まとめ
コルーチンのexperimental外れるのまだかな。