Re: エラーと警告でコードをデザインする

Transcript

1. Re: ΤϥʔͱܯࠂͰ ίʔυΛσβΠϯ͢Δ 2017/3/22 ezura

2. ςετ ։ൃମ੍ɾ؀ڥ ઃܭࢥ૝ɾཧ࿦ ݴޠʹΑΔ
 αϙʔτ j j j j ϜϲεϮϥ΀ᩆ౰ᕥ

3. https://speakerdeck.com/ezura/eratojing-gao-de-kodowodezainsuru-chi- tohuang-falselun-wu-qu ΤϥʔͱܯࠂͰίʔυΛσβΠϯ͢Δ NFUIPE
   ΀Ṻ΅ᲇͩᘡᔀ͞ᩆ͖ͩͥͺΤ
 θϸϖΩϰᙉͽݕᒕͫΝ

4. લఏ struct Object { var name: String var something: Any

   func common() { /* do something */ } func method1() { /* do something */ } func method2() { /* do something */ } }

5. method1 Λ࣮ߦ͔ͯ͠ΒͷΈ
 method2 Λ࣮ߦՄೳ (ҧ൓ΛίϯύΠϧ࣌ʹݕ஌) Mission1 // OK object.method1().method2() //

   Error object.method2()

6. method1, method2 Λ࣮ߦޙͷ
 ΠϯελϯεͷΈҾ਺ͱͯ͠ड͚औΔؔ਺ (ҧ൓ΛίϯύΠϧ࣌ʹݕ஌) Mission2 // OK accept(object.method1().method2()) //

   Error accept(object.method2())

7. ࣮૷

8. ࣮૷ͷ֓೦ਤ instance Init state instance State1 instance State2 func method1

   func method2

9. struct Object<State> { var name: String var something: Any func

   common() { /* do something */ } }

10. extension Object where State: Init { func method1() -> Object<State1>

    { /* do something */ } } extension Object where State: State1 { func method2() -> Object<State2> { /* do something */ } } func accept(_ object: Object<State2>) { /* do something */ }

11. ࣮૷ͷ֓೦ਤ instance Init state instance State1 instance State2 func method1

    func method2 Object<Init> Object<State1> Object<State2>

12. ཧ࿦͸Θ͔ͬͨʂ ࣮૷ʹམͱ͠ࠐΜͰΈΑ͏

13. extension Object where State: Init { func method1() -> Object<State2>

    { let object = Object<State2>(…) // Object ͷϓϩύςΟΛҾ͖ܧ͗ return object } }

14. ܕύϥϝʔλ͕ҧ͏Πϯελϯε
 (= ҟͳΔܕ)
 ͷؒͰͲ͏΍ͬͯσʔλΛҾ͖ܧ͝͏…

15. Object<Init> ͔Β Object<State1> ΁
 σʔλΛҾ͖ܧ͙ʹ͸ʁʁ new.name = self.name new.something =

    self.something struct Container { var name: String var something: Any }

16. ΩϟετͰ͖ΔΑʂ ۽୩͞Μ

17. Object<Init> ͔Β Object<State1> ΁ extension Object where State: Init {

    func method1() -> Object<State2> { let object = unsafeBitCast(self, to: Object<State2>.self) // do something return object } } Object<Init> ͔Β Object<State1> ΁ Cast

18. ࣮૷Ͱ͖ͨʂ ࢖͍উख͸Ͳ͏͔ͳʁʁ

19. let object = Object<Init>(name: "sample", something: "something") <Init> ͷ໌͕ࣔඞཁ…
 (´ɾωɾʆ)

20. ίϯύΠϥʹ఻͑ͯΈΑ͏

21. extension Object where State: Init { init(name: String, something: Any)

    { self.name = name self.something = something } } State ͕ Init ͷͱ͖ͷΈ
 ίϯετϥΫλΛએݴ

22. let object = Object(name: "sample", something: "something") <Init> ͷ໌͕ࣔෆཁ ஫:

    ͜Ε͕ՄೳͱͳΔ৚͕݅͋Γ·ׂ͕͢Ѫ͠·͢
 (৚͕݅ἧ͍ͬͯͳ͍৔߹ɺίϯύΠϧΤϥʔ)

23. ͱͬͯ΋៉ྷʹͳΓ·ͨ͠ʂʂ
 ٩( 'ω' )و

24. https://gist.github.com/ezura/ e71db2b0471285061f9700809f92f2b1 ίʔυ

25. ࢀর • ۽୩ͱ៸໘͕ϓϩάϥϛϯάίʔυͷ಺͔Βௌ͑ͯ͘͜ Δ੠ʹࣖΛ܏ָ͚ͯ͠ΉϥδΦ #9, #14
 http://mookmookradio.com/a0005/ • where Ͱͷܕਪ࿦ͷఏএऀͷํͷ

    gist
 https://gist.github.com/tarunon/ d7071689ab55e29bd367a44833687aa3 • ΤϥʔͱܯࠂͰίʔυΛσβΠϯ͢Δ
 https://speakerdeck.com/ezura/eratojing-gao-de- kodowodezainsuru-chi-tohuang-falselun-wu-qu