Mapped TypeとPlatform Typeの話

Transcript

1. 1.

   Mapped&TypeͱPla+orm&Typeͷ࿩ @RyotaMurohoshi 2016/12/13(Ր))ୈ4ճKotlinษڧձ)ˏ)Sansan

2. 2.

   ࣗݾ঺հ • ࣨ੕྄ଠ(ΉΖ΄͠) • @RyotaMurohoshi • ࢓ࣄͰKotlin+Android

3. 3.

   None
4. 4.

   None
5. 5.

   ·ͣ؆୯ʹPla$orm(Typeͷ࿩Λͯ͠ ͦͷޙMapped&Typeͷ࿩Λ͠·͢ ʰ(Mutable)List<String!>!ʱܕͱ͔ͷ࿩΋

6. 6.

   ͬͦ͘͞࿩͸ԣಓʹͦΕ·͕͢ String?΍String!ɺͳΜͯಡΈ·͢ʁ

7. 7.

   ͞Βͬͱཧղ͢ΔPla$orm(Type

8. 8.

   ʰKotlinͩͬͨΒɺઈରNullPointerExep/onى͖ͳ͍ʱ ͜Ε͸ؒҧ͍ʂ

9. 9.

   Kotlinͱnull // ίϯύΠϧΤϥʔ val string : String = null //

   ͜Ε͸OK val string : String? = null
10. 10.

    String?Λฦؔ͢਺͕͋ͬͯ fun loadMessage(): String? = /*ུ*/

11. 11.

    // OK val message : String? = loadMessage() // ίϯύΠϧΤϥʔ

    val message : String = loadMessage() // Nullableܕ͸?.Ͱͳ͍ͱϝϯόΞΫηεͰ͖ͳ͍ // ΋͠message͕nullͳΒmessage?.length΋null println(message?.length) // ίϯύΠϧΤϥʔ println(message.length)
12. 12.

    Kotlin͚ͩͳΒ ͦ͏ͦ͏NullPointerExcep/onى͖ͳ͍ ࣮͸Kotlin͚ͩͰ΋NullPointerExcep0onग़ͤΔΒ͍͠

13. 13.

    Java͔ΒདྷͨΦϒδΣΫτ͸ʁ

14. 14.

    Java͔ΒདྷͨΦϒδΣΫτͷ࢖͍ํΛؒҧ͑Δͱ NullPointerExcep/onͱ͔IllegalStateExcep/onʹͳΔ

15. 15.

    Pla$orm(Type

16. 16.

    ݪଇJava͔ΒདྷͨΦϒδΣΫτ͸Pla&orm*Type

17. 17.

    Javaͷίʔυ public class Utility { public static String loadMessage() {

    /* ུ */ } }
18. 18.

    Kotlinͷίʔυ // IDEͩͱʮString!ʯͬͯදࣔ͞ΕΔ Platform Type val message = Utility.loadMessage() //

    String?ܕʹɻString!͸String?ʹ΋୅ೖՄ val message : String? = Utility.loadMessage() // StringܕʹɻString!͸Stringʹ΋୅ೖՄ val message : String = Utility.loadMessage()
19. 19.

    ஫ҙ఺

20. 20.

    IllegalStateExcep,onʹͳΔྫ

21. 21.

    IllegalStateExcep,onʹͳΔྫ // Platform TypeͷString!ܕΛStringܕʹ୅ೖͨ࣌͠ɺ // ͦͷΦϒδΣΫτ͕nullͳΒIllegalStateException val message: String =

    Utility.loadMessage()
22. 22.

    NullPointerExcep/onʹͳΔྫ

23. 23.

    NullPointerExcep/onʹͳΔྫ // String!ܕ val message = Utility.loadMessage() // Platform TypeͷString!ܕͷϝϯόʹΞΫηεͨ࣌͠ɺ

    // ͦͷΦϒδΣΫτ͕nullͩͬͨΒNullPointerException println(message.length) // ͜ΕͳΒOKɻnullʹͳΔ println(message?.length)
24. 24.

    ίϯύΠϧΤϥʔʹ͸ͳΒͳͯ͘΋ ࣮ߦ࣌ʹΤϥʔʹͳΔ͔Β஫ҙʂ

25. 25.

    @Nullable΍@NotNullΛ͏·͘࢖͓͏ʂ @NullableΛ͚ͭͨJavaͷString͸String? @NotNullΛ͚ͭͨJavaͷString͸String

26. 26.

    ۦ͚଍ͰPla$orm(Type ৄ͘͠͸ɺQiitaͷΞυϕϯτΧϨϯμʔݟͯͶ

27. 27.

    ͱ͜ΖͰPla$orm(Type͸Ϋϥεܕͷ࿩ ͡Ό͋intͱ͔doubleͱ͔booleanͱ͔ɺ primi%ve͸Ͳ͏ͳΔʁ

28. 28.

    Mapped&Type

29. 29.

    JavaͷintɾdoubleɾboolenͳͲ͸ KotlinͰ͸ɺkotlin.Intɺkotlin.Doubleɺkotlin.BooleanʹͳΓ·͢

30. 30.

    ݴ͍׵͑ΔͱJavaͷprimi(ve͸ɺ KotlinͰ͸ݻ༗ͷTypeͱͯ͠ѻΘΕΔ

31. 31.

    Mapped&Type

32. 32.

    (͜Ε͸υΩϡϝϯτʹॻ͍ͯ͋ͬͨ)

33. 33.

    ͡Ό͋JavaͷIntegerͱ͔Doubleͱ͔Boolenͱ͔͸ɺ primi%veܕͷϥούʔܕ͸Kotlin͔ΒͲ͏ݟ͑Δʁ (ͳ͔ͥυΩϡϝϯτʹͳ͔ͬͨ)

34. 34.

    JavaͷInteger͸ KotlinͰ͸Int!

35. 35.

    Javaͷίʔυ public class JInts { public static Integer getWrapperInteger() {

    return /*ུ*/; } }
36. 36.

    Kotlinͷίʔυ // num͸Platform TypeͷInt!ܕ val num = JInts.getWrapperInteger() ѻ͍ํΛؒҧ͑ͨΒIllegalStateExcep,onʹͳͬͨΓɺNullPointerExcep,onʹͳͬͨΓ

37. 37.

    ଞͷPla$orm(Typeͱಉ༷ʹ @Nullable΍@NotNullΛ࢖͓͏

38. 38.

    Javaͷίʔυ public class JInts { public static Integer getWrapperInteger() {

    return /*ུ*/; } @Nullable public static Integer getWrapperIntegerNullable() { return /*ུ*/; } @NotNull public static Integer getWrapperIntegerNotNull() { return /*ུ*/; } }
39. 39.

    Kotlinͷίʔυ // num͸Platform TypeͷInt!ܕ val num = JInts.getWrapperInteger() // num͸Int?ܕ

    val num = JInts.getWrapperIntegerNullable() // num͸Intܕ val num = JInts.getWrapperIntegerNotNull()
40. 40.

    ͳΔ΄Ͳ

41. 41.

    Ͱ͸ٯʹɺKotlinͷInt?΍Double?͸Java͔ΒͲ͏ݟ͑Δʁ

42. 42.

    KotlinͷInt? JavaͰ͸Interger

43. 43.

    Kotlinͷίʔυ class KInts { companion object { @JvmStatic fun getInt():

    Int = 0 @JvmStatic fun getNullableInt(): Int? = 0 } }
44. 44.

    Javaͷίʔυ public class KIntsUsage { public static void main(String[] args)

    { int num0 = KInts.getInt(); Integer num1 = KInts.getNullableInt(); // ΞϯϘΫγϯάͰ͜͏΋͔͚Δ int num2 = KInts.getNullableInt(); } }
45. 45.

    KotlinͷInt? JavaͰ͸Interger

46. 46.

    ͳΔ΄Ͳ

47. 47.

    Mapped&Type͸࣮͸primi,ve͚ͩ͡Όͳͯ͘ࢀরܕʹ΋͋Δ • java.lang.Enum,<.>,kotlin.Enum! • java.lang.Void,<.>,kotlin.Nothing! • java.lang.String,<.>,kotlin.String! • java.lang.Number,<.>,kotlin.Number! ࣮͸String΋ʂʂʂ

48. 48.

    ࠷ޙʹ

49. 49.

    ʰ(Mutable)List<T>!ʱͱ͸ʁ

50. 50.

    Mapped&TypeͱPla+orm&Typeͷ߹Θٕͤ

51. 51.

    Kotlinͷ 2ͭͷϦετΠϯλʔϑΣʔε

52. 52.

    kotlin.collec*ons.List<T> count()ͱ͔ཁૉऔಘͱ͔ReadOnlyͳϝιου͔͠ͳ͍ (ͪͳΈʹList<T>͸ΠϛϡʔλϒϧͰ͸ͳ͍)

53. 53.

    kotlin.collec*ons.MutableList<T> List<T>Λܧঝ͠͞ΒʹཁૉΛมߋ͢ΔϝιουΛ࣋ͭ (clearͱ͔addͱ͔Ͱ͖Δ)

54. 54.

    ͲͪΒ΋JavaͰ͸ java.u&l.List<T>

55. 55.

    Kotlinͷίʔυ class KLists { companion object { @JvmStatic fun getStringList():

    List<String> = listOf("") @JvmStatic fun getMutableStringList(): MutableList<String> = mutableListOf("") } }
56. 56.

    Javaͷίʔυ List<String> list0 = KLists.getStringList(); List<String> list1 = KLists.getMutableStringList();

57. 57.

    Ͱ͸Javaͷjava.u'l.List<String> Kotlin͔Β͸Ͳ͏ݟ͑Δ?

58. 58.

    Javaͷίʔυ public class JLists { public static List<String> getList() {

    return new ArrayList<>(); } }
59. 59.

    Kotlinͷίʔυ // IDEͰͷදࣔ͸ʰ(Mutable)List<String!>!ʱܕ val list = JLists.getList() println(list.count) // MutableListͷϝιου͕asͳ͠Ͱݺ΂Δ

    list.clear() println(list.count)
60. 60.

    MutableList͡Όͳͯ͘Listͱͯ͠ѻ͍͍ͨ৔߹͸ʁ

61. 61.

    @ReadOnly

62. 62.

    @ReadOnlyͱ@MutableΛ෇༩ͨ͠Javaͷίʔυ(@NotNull΋) public class JLists { @NotNull @ReadOnly public static List<String>

    getReadonlyList() { return new ArrayList<>(); } @NotNull @Mutable public static List<String> getMutableList() { return new ArrayList<>(); } }
63. 63.

    Kotlinͷίʔυ // kotlin.collections.List<String!> val list = JLists.getReadonlyList() // ͜Ε΋OK val

    list : List<String> = JLists.getReadonlyList() // ίϯύΠϧΤϥʔ val list : MutableList<String> = JLists.getReadonlyList() println(list.count()) // OK list.clear() // ίϯύΠϧΤϥʔ @ReadOnlyͱ@MutableΛ͚ͭΔ͜ͱͰมԽ
64. 64.

    // kotlin.collections.MutableList<String!> val list = JLists.getMutableList() // ͜Ε΋OK val list

    : MutableList<String> = JLists.getMutableList() println(list.count()) // OK list.clear() // OK // MutableList͸ListΛܧঝ͍ͯ͠ΔͷͰɺͭ͡͸͜Ε΋OK // ͨͩclearͱ͔add͸ݺ΂ͳ͍ // val list : List<String> = JLists.getMutableList() @ReadOnlyͱ@MutableΛ͚ͭΔ͜ͱͰมԽ
65. 65.

    ͜ΕΒ͸List<T>͚ͩͰͳ͘ Set<T>΍Map<T>Ͱ΋͍ͬ͠ΐ

66. 66.

    ·ͱΊ Pla$orm(TyoeͱMapped(Type ཧղ͓ͯ͜͠͏ʂ