JavaからKotlinへの移行（プラットフォーム型） #Kotlin_Sansan

第6回 Kotlin勉強会@Sansan( https://sansan.connpass.com/event/57683/ )で使用したスライドです。

Transcript

1. JavaからKotlinへの移行
   -KotlinからJavaを使う: プラットフォーム型編-
   2017-06-29
   Kotlin勉強会@Sansan
   長澤太郎 @ngsw_taro
   

   View Slide

2. 6月15日 第1回 CA.kt
   

   View Slide

3. JavaからKotlinへの移行
   -JavaからKotlinが呼び出される編-
   ● Kotlinにはstaticという概念がない
   ○ @JvmStaticや@JvmFieldを上手く使う
   ● FWのためだけに毎回openするのが面倒
   ○ Springならkotlin-springコンパイラプラグインを使う
   ○ all-openコンパイラプラグインを使う
   ● デフォルトコンストラクタを提供したくない
   ○ no-argコンパイラプラグインを使う
   

   View Slide

4. KotlinからJavaを使う:
   プラットフォーム型編
   

   View Slide

5. 自己紹介
   ● 長澤 太郎（たろーって呼んでね）
   ● @ngsw_taro
   ● エムスリー株式会社でエンジニアやってます
   ● Kotlinエバンジェリスト（JetBrains黙認）
   ● 日本Kotlinユーザグループ代表
   ● 「Kotlinスタートブック」の著者
   

   View Slide

6. Null安全
   ● nullの可能性のあるものと、そうでないものを厳格に区別する
   ことでケアレスミスを防ぐ
   val a: Int = null // コンパイルエラー
   val b: Int? = null // OK
   b.toString() // コンパイルエラー
   if (b != null)
   b.toString() // OK
   b?.toString() // OK
   

   View Slide

7. Java（の参照型）は常にnullの可能性がある
   // Java
   Optional nullは返さないよ() {
   return null;
   }
   

   View Slide

8. Javaコードの呼び出し結果はハテナだらけ？
   val foo: File = File("/")
   val bar: File? = foo.absoluteFile
   val baz: File? = foo.parentFile
   

   View Slide

9. Javaコードの呼び出し結果はハテナだらけ？
   val foo: File = File("/")
   val bar: File? = foo.absoluteFile
   val baz: File? = foo.parentFile
   コンストラクタの
   戻り値はNotNull
   getXxx()メソッドは
   xxxプロパティのように
   

   View Slide

10. Javaコードの呼び出し結果はハテナだらけ？
    val foo: File = File("/")
    val bar: File? = foo.absoluteFile
    val baz: File? = foo.parentFile
    常にnullを返さないメソッドもあ
    るのに面倒だな
    

    View Slide

11. ハテナだらけだったら
    まだ「めんどくさい」で
    済んだ...！
    

    View Slide

12. プラットフォーム型
    ● nullかもしれないし、nullじゃないかもしれない型
    ● 受ける型を省略することで、プラットフォーム型を維持
    ● 例えば「File!」として表記される
    val baz = foo.parentFile
    baz.exists() //=> ぬるぽ
    

    View Slide

13. プラットフォーム型
    ● nullかもしれないし、nullじゃないかもしれない型
    ● 受ける型を省略することで、プラットフォーム型を維持
    ● 例えば「File!」として表記される
    val baz = foo.parentFile
    baz.exists() //=> ぬるぽ
    File!が返される
    型を省略しているので
    File!のまま
    危険な操作であるにも関わらず普通に
    メンバアクセス可能
    （上手く行くこともあるが、今回はぬるぽ）
    

    View Slide

14. ifでnullチェックして回避
    val baz = foo.parentFile
    if (baz != null) baz.exists()
    else false
    

    View Slide

15. ifでnullチェックして回避
    val baz = foo.parentFile
    if (baz != null) baz.exists()
    else false
    Javaと
    変わらん！！
    ※プラットフォーム型 + nullチェックはJavaと同じだが、
    Nullable + nullチェックはJavaよりも安全。nullチェックを
    否定したいわけではないことに注意。
    

    View Slide

16. 安全呼び出しで回避
    val baz = foo.parentFile
    baz?.exists()
    まぁ安全
    

    View Slide

17. だったらNullableとして明示すりゃあいい
    val baz: File? = foo.parentFile
    // あとはご自由に
    ● とにかく安全！
    ● プラットフォーム型の存在意義とは
    ● 結局ハテナだらけで面倒問題に戻る
    →注意深くコーディングして、うっかり死ぬよりマシ
    

    View Slide

18. NotNullとして明示すると...？
    val baz: File = foo.parentFile
    // 上手くいけば、あとはご自由に
    

    View Slide

19. NotNullとして明示すると...？
    val baz: File = foo.parentFile
    // 上手くいけば、あとはご自由に
    nullでない参照が返されればOK。
    以後、NotNullとして扱える
    

    View Slide

20. NotNullとして明示すると...？
    val baz: File = foo.parentFile
    // 上手くいけば、あとはご自由に
    nullでない参照が返されればOK。
    以後、NotNullとして扱える
    nullが返されるとクラッシュ！
    IllegalArgumentException
    

    View Slide

21. 結論: プラットフォーム型は厄介
    ● プラットフォーム型のまま扱うということはJavaの世界と同じ
    で、いつNPEが起きてもおかしくない状況
    ● Javaコードがnullを返す可能性があるのかどうか自信が持
    てない場合は、Nullableを明示するのが無難！
    ● Javaコードがnullを返さないことに自信がある場合には、
    NotNullを明示する。なぜなら、それがnullだった場合に早
    期に発見できるから。
    

    View Slide

22. Java側でNullable/NotNullを表明する
    ● JSR-305: @Nullable, @Nonnull
    ● JetBrains: @Nullable, @NotNull
    ● Android Support: @Nullable, @NonNull
    // Java
    class Hoge {
    @Nonnull
    static Hoge newInstance() {...}
    }
    // Kotlin
    val hoge = Hoge.newInstance()
    hoge.doSomething()
    NotNullとして見える
    

    View Slide