日記
三体読み終わった。小説は書いてある情報から周辺を想像できてこそ面白いと思っていて、三体3巻の終わりごろはそれができなかったからそんなに面白くなかった。僕に教養とか知識とか経験とかが足りないというのはそれはそう。
今日書いたコード
day 233 · Gurrium/slovar@6031997 · GitHub
感想
View.findViewById*1ってやつはnullを返すこともあるのにnon-nullableな型の変数に結果を代入できる。Javaで定義された型はKotlin上でplatform typesとして扱われ、これに関してはnullチェックが緩和されるから。
Types of Java declarations are treated in Kotlin in a specific manner and called platform types. Null-checks are relaxed for such types, ...
https://kotlinlang.org/docs/java-interop.html#null-safety-and-platform-types
Viewはandroid/view/View.javaで定義されている。初見殺しじゃん。
