Swiftのレキシカルスコープ管理

わいわいswiftc #45

Transcript

1.  4XJGUͷϨΩγΧϧείʔϓ؅ཧ !LOUL
   
   Θ͍Θ͍TXJGUD
   
2. ͸͡Ίʹ w4XJGUʹ͸ϨΩγΧϧείʔϓ͕͋Δ
3. ͸͡Ίʹ let a = 1 do { let a = 2 print(a) } print(a)
4. ͸͡Ίʹ let a = 1 do { let a = 2 print(a) // 2 } print(a) // 1
5. ͸͡Ίʹ let a = 1 do { let a = 2 print(a) } print(a) B B
6. ͸͡Ίʹ let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a)
7. ͸͡Ίʹ let a = 1 if let a = Optional(2) { print(a) // 2 } guard let a = Optional(3) else { print(a) // 1 return } print(a) // 3
8. ͸͡Ίʹ let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) B B B
9. ͸͡Ίʹ w4XJGUʹ͸ϨΩγΧϧείʔϓ͕͋Δ
   w୯७ʹ
   #SBDF
   \
   ^
   Ͱ൑ఆͰ͖ͳ͍
10. ͸͡Ίʹ w4XJGUʹ͸ϨΩγΧϧείʔϓ͕͋Δ
    w୯७ʹ
    #SBDF
    \
    ^
    Ͱ൑ఆͰ͖ͳ͍
    w/BNF
    -PPLVQͱݺ͹ΕΔ࢓૊ΈͰಈ࡞
11. /BNF
    -PPLVQ֓ཁ w/BNF
    -PPLVQ
    w2VBMJ fi FE
    -PPLVQ
    w6ORVBMJ fi FE
    -PPLVQ
    w-FYJDBM
    4DPQF
    wͦͷଞ
12. /BNF
    -PPLVQ֓ཁ w/BNF
    -PPLVQ
    w2VBMJ fi FE
    -PPLVQ
    w6ORVBMJ fi FE
    -PPLVQ
    w-FYJDBM
    4DPQF
    wͦͷଞ
13. /BNF
    -PPLVQ w"45্Ͱ໊લࢀর͔ΒఆٛΛݕࡧ͢Δखଓ͖ let a = value let b = B.f()
14. /BNF
    -PPLVQ w"45্Ͱ໊લࢀর͔ΒఆٛΛݕࡧ͢Δखଓ͖ let a = value let b = B.f() let value = 1 struct B { static func f() }
15. /BNF
    -PPLVQ let a = 1 do { let a = 2 print(a) } print(a) 2
    ͔͜͜Βݟ͑ΔBͷఆٛ͸ͲΕʁ
16. /BNF
    -PPLVQ let a = 1 do { let a = 2 print(a) } print(a) 2
    ͔͜͜Βݟ͑ΔBͷఆٛ͸ͲΕʁ "
    ͜Ε
17. /BNF
    -PPLVQ w"45্Ͱ໊લࢀর͔ΒఆٛΛݕࡧ͢Δखଓ͖
    wMJC"45
    w4FNB
    4*-(FOͳͲ͔Βར༻͞ΕΔ
18. /BNF
    -PPLVQ w"45্Ͱ໊લࢀর͔ΒఆٛΛݕࡧ͢Δखଓ͖
    wMJC"45
    w4FNB
    4*-(FOͳͲ͔Βར༻͞ΕΔ
    w໊લʮղܾʯΛ͢Δͷ͸4FNB
19. VORVBMJGJFE
    -PPLVQ w/BNF
    -PPLVQ
    w2VBMJ fi FE
    -PPLVQ
    w6ORVBMJ fi FE
    -PPLVQ
    w-FYJDBM
    4DPQF
    wͦͷଞ
20. 2VBMJGJFE6ORVBMJGJFE w2VBMJ fi FE
    
    म০͞Εͨ
21. 2VBMJGJFE6ORVBMJGJFE w2VBMJ fi FE
    
    म০͞Εͨ
    w*OUNBY
    "SSBZ*OU*OEFY
    4FMGG
22. 2VBMJGJFE6ORVBMJGJFE w2VBMJ fi FE
    
    म০͞Εͨ
    w*OUNBY
    "SSBZ*OU*OEFY
    4FMGG 2VBMJ fi FS
23. 2VBMJGJFE6ORVBMJGJFE w2VBMJ fi FE
    
    म০͞Εͨ
    w*OUNBY
    "SSBZ*OU*OEFY
    4FMGG
    w6ORVBMJ fi FE
    wNBY
    *OEFY
    G
24. 2VBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ w2VBMJ fi FSͷϝϯόΛݕࡧ
    w2VBMJ fi FSͷ"45্ͷҐஔ͸൑໌͍ͯ͠Δલఏ
25. 2VBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ struct A { func f() {} } 2
    RVBMJ fi FS
    "
    ͷ
    OBNF
    G
    Λ୳ͯ͠
26. 2VBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ struct A { func f() {} } 2
    RVBMJ fi FS
    "
    ͷ
    OBNF
    G
    Λ୳ͯ͠
27. 2VBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ struct A { func f() {} } 2
    RVBMJ fi FS
    "
    ͷ
    OBNF
    G
    Λ୳ͯ͠
28. 2VBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ w2VBMJ fi FSΛى఺ʹϝϯόΛݕࡧ
    w2VBMJ fi FSͷ"45্ͷҐஔ͸൑໌͍ͯ͠Δલఏ
    wܧঝݩɾ࣮૷QSPUPDPMɾFYUFOTJPOͷܦ࿏΋ؚΉ
29. 2VBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ protocol A {} extension A { static var a: Int { 1 } } class B { static let a = 2 } class C: B, A {} 2
    RVBMJ fi FS
    $
    ͷ
    OBNF
    B
    Λ୳ͯ͠
30. 2VBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ protocol A {} extension A { static var a: Int { 1 } } class B { static let a = 2 } class C: B, A {} 2
    RVBMJ fi FS
    $
    ͷ
    OBNF
    B
    Λ୳ͯ͠
31. 2VBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ protocol A {} extension A { static var a: Int { 1 } } class B { static let a = 2 } class C: B, A {} 2
    RVBMJ fi FS
    $
    ͷ
    OBNF
    B
    Λ୳ͯ͠
32. 2VBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ w2VBMJ fi FSΛى఺ʹϝϯόΛݕࡧ
    w2VBMJ fi FSͷ"45্ͷҐஔ͸൑໌͍ͯ͠Δલఏ
    wܧঝݩɾ࣮૷QSPUPDPMɾFYUFOTJPOͷܦ࿏΋ؚΉ
    wෳࡶ
    wෳ਺ϑΝΠϧɾϞδϡʔϧʹލΔ
33. 6ORVBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ wඇϝϯόʢτοϓϨϕϧɾϩʔΧϧม਺ؔ਺ʣΛݕࡧ
34. 6ORVBMJGJFE
    -PPLVQʢΏΔ;Θઆ໌ʣ wඇϝϯόʢτοϓϨϕϧɾϩʔΧϧม਺ؔ਺ʣΛݕࡧ
    w-FYJDBM
    4DPQF
    ϩʔΧϧ
    wͦͷଞ
    τοϓϨϕϧ
35. /BNF
    -PPLVQ
    ·ͱΊ w/BNF
    -PPLVQ
    "45্Ͱࢀর͔ΒఆٛΛݕࡧ
    w2VBMJ fi FE
    -PPLVQ
    ϝϯό
    w6ORVBMJ fi FE
    -PPLVQ
    ඇϝϯό
    w-FYJDBM
    4DPQF
    ϩʔΧϧ
    wͦͷଞ
    τοϓϨϕϧ౳
36. /BNF
    -PPLVQ
    ·ͱΊ w/BNF
    -PPLVQ
    "45্Ͱࢀর͔ΒఆٛΛݕࡧ
    w2VBMJ fi FE
    -PPLVQ
    ϝϯό
    w6ORVBMJ fi FE
    -PPLVQ
    ඇϝϯό
    w-FYJDBM
    4DPQF
    ϩʔΧϧ
    wͦͷଞ
    τοϓϨϕϧ౳
37. ຊ୊
    4XJGUͷϨΩγΧϧείʔϓ؅ཧ
38. -FYJDBM
    -PPLVQ Ҏޙ͜ͷεϥΠυͰ͸
    6ORVBMJ fi FE
    -PPLVQͷ-FYJDBM
    4DPQF෦෼ͷॲཧ Λ-FYJDBM
    -PPLVQͱݺশ͠·͢
    ଟ෼ެࣜ༻ޠͰ͸ͳ͍
39. -FYJDBM
    -PPLVQ wϨΩγΧϧείʔϓʹج໊͍ͮͯલݕࡧ
    wϩʔΧϧม਺ɾϩʔΧϧؔ਺͕ର৅
    wҰݸͷ4XJGUϑΝΠϧ಺Ͱ׬݁
40. -FYJDBM
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) }
41. -FYJDBM
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } 2
    ᶃͷҐஔ͔Βݟ͑ΔʮBʯͷఆٛ͸ͲΕͰ͔͢ʁ ᶃ
42. -FYJDBM
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } 2
    ᶃͷҐஔ͔Βݟ͑ΔʮBʯͷఆٛ͸ͲΕͰ͔͢ʁ ᶃ "
    ᶄᶅͷҐஔͷ7BS%FDMͩΑ ᶄ ᶅ
43. -FYJDBM
    -PPLVQ wϨΩγΧϧείʔϓʹج໊͍ͮͯલݕࡧ
    w*O
    -PPLVQ৔ॴ
    ୳໊͢લ
    w0VU
    ֘౰͢Δ"45ͷ%FDMͷҰཡ
44. -FYJDBM
    -PPLVQ wϨΩγΧϧείʔϓʹج໊͍ͮͯલݕࡧ
    w*O
    -PPLVQ৔ॴ
    ୳໊͢લ
    w0VU
    ֘౰͢Δ"45ͷ%FDMͷҰཡ
    wʮղܾʯ͸͠ͳ͍ɺݕࡧ݁ՌΛฦ͚ͩ͢
    wSFEFDBMSBUJPOͷ%JBHOPTJTͳͲʹ΋ར༻͞ΕΔ
45. -FYJDBM
    -PPLVQͷ࣮૷ w"454DPQF
    w4XJGUίϯύΠϥͷDQQ࣮૷
    w4XJGU-FYJDBM-PPLVQ
    wTXJGUTZOUBYϕʔε4XJGU࣮૷
46. -FYJDBM
    -PPLVQͷ࣮૷ w"454DPQF
    w4XJGUίϯύΠϥͷDQQ࣮૷
    w4XJGU-FYJDBM-PPLVQ
    wTXJGUTZOUBYϕʔε4XJGU࣮૷
47. "454DPQF w໦ߏ଄ͰείʔϓΛදݱ
48. "454DPQF w໦ߏ଄ͰείʔϓΛදݱ
    w֤ϊʔυ໊͕લ৘ใΛ؅ཧ͢Δ
    w"45ͱ͸ผͷ໦ߏ଄
49. "454DPQF
    ໦ߏ଄ swift -frontend -dump-scope-maps expanded Source.swift ASTSourceFileScope 0x738faf000, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope 0x738fe5ee0, [1:1 - 11:1] 'f()' `-FunctionBodyScope 0x738fe5ee0, [1:10 - 11:1] `-BraceStmtScope 0x73842a900, [1:10 - 11:1] `-PatternEntryDeclScope 0x73842a0f0, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope 0x73842a0f0, [2:13 - 2:13] entry 0 'a' |-IfStmtScope 0x73842a478, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] let a? |-ConditionalClauseInitializerScope, [3:16 - 3:26] `-BraceStmtScope 0x73842a450, [3:28 - 5:5] `-GuardStmtScope 0x73842a7e8, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] let a? |-ConditionalClauseInitializerScope, [6:19 - 6:29] `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope 0x73842a7b8, [6:36 - 9:5] func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) }
50. "454DPQF
    ໦ߏ଄ ASTSourceFileScope 0x738faf000, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope 0x738fe5ee0, [1:1 - 11:1] 'f()' `-FunctionBodyScope 0x738fe5ee0, [1:10 - 11:1] `-BraceStmtScope 0x73842a900, [1:10 - 11:1] `-PatternEntryDeclScope 0x73842a0f0, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope 0x73842a0f0, [2:13 - 2:13] entry 0 'a' |-IfStmtScope 0x73842a478, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] let a? |-ConditionalClauseInitializerScope, [3:16 - 3:26] `-BraceStmtScope 0x73842a450, [3:28 - 5:5] `-GuardStmtScope 0x73842a7e8, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] let a? |-ConditionalClauseInitializerScope, [6:19 - 6:29] `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope 0x73842a7b8, [6:36 - 9:5]
51. "454DPQF
    ໦ߏ଄ ASTSourceFileScope 0x738faf000, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope 0x738fe5ee0, [1:1 - 11:1] 'f()' `-FunctionBodyScope 0x738fe5ee0, [1:10 - 11:1] `-BraceStmtScope 0x73842a900, [1:10 - 11:1] `-PatternEntryDeclScope 0x73842a0f0, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope 0x73842a0f0, [2:13 - 2:13] entry 0 'a' |-IfStmtScope 0x73842a478, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] let a? |-ConditionalClauseInitializerScope, [3:16 - 3:26] `-BraceStmtScope 0x73842a450, [3:28 - 5:5] `-GuardStmtScope 0x73842a7e8, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] let a? |-ConditionalClauseInitializerScope, [6:19 - 6:29] `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope 0x73842a7b8, [6:36 - 9:5] 4DPQFͷ໊લ
52. "454DPQF
    ໦ߏ଄ ASTSourceFileScope 0x738faf000, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope 0x738fe5ee0, [1:1 - 11:1] 'f()' `-FunctionBodyScope 0x738fe5ee0, [1:10 - 11:1] `-BraceStmtScope 0x73842a900, [1:10 - 11:1] `-PatternEntryDeclScope 0x73842a0f0, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope 0x73842a0f0, [2:13 - 2:13] entry 0 'a' |-IfStmtScope 0x73842a478, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] let a? |-ConditionalClauseInitializerScope, [3:16 - 3:26] `-BraceStmtScope 0x73842a450, [3:28 - 5:5] `-GuardStmtScope 0x73842a7e8, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] let a? |-ConditionalClauseInitializerScope, [6:19 - 6:29] `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope 0x73842a7b8, [6:36 - 9:5] ରԠ͢Δ"45ͷ/PEF
53. "454DPQF
    ໦ߏ଄ ASTSourceFileScope 0x738faf000, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope 0x738fe5ee0, [1:1 - 11:1] 'f()' `-FunctionBodyScope 0x738fe5ee0, [1:10 - 11:1] `-BraceStmtScope 0x73842a900, [1:10 - 11:1] `-PatternEntryDeclScope 0x73842a0f0, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope 0x73842a0f0, [2:13 - 2:13] entry 0 'a' |-IfStmtScope 0x73842a478, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] let a? |-ConditionalClauseInitializerScope, [3:16 - 3:26] `-BraceStmtScope 0x73842a450, [3:28 - 5:5] `-GuardStmtScope 0x73842a7e8, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] let a? |-ConditionalClauseInitializerScope, [6:19 - 6:29] `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope 0x73842a7b8, [6:36 - 9:5] 4DPQFͷ࡞༻ൣғ
54. "454DPQF
    ໦ߏ଄ ASTSourceFileScope 0x738faf000, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope 0x738fe5ee0, [1:1 - 11:1] 'f()' `-FunctionBodyScope 0x738fe5ee0, [1:10 - 11:1] `-BraceStmtScope 0x73842a900, [1:10 - 11:1] `-PatternEntryDeclScope 0x73842a0f0, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope 0x73842a0f0, [2:13 - 2:13] entry 0 'a' |-IfStmtScope 0x73842a478, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] let a? |-ConditionalClauseInitializerScope, [3:16 - 3:26] `-BraceStmtScope 0x73842a450, [3:28 - 5:5] `-GuardStmtScope 0x73842a7e8, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] let a? |-ConditionalClauseInitializerScope, [6:19 - 6:29] `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope 0x73842a7b8, [6:36 - 9:5] ͦͷଞิ଍৘ใ
55. "454DPQF
    ໦ߏ଄ ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 'a' |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] let a? |-ConditionalClauseInitializerScope, [3:16 - 3:26] `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] let a? |-ConditionalClauseInitializerScope, [6:19 - 6:29] `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5]
56. "454DPQF
    ໦ߏ଄ ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) }
57. "454DPQF
    ໦ߏ଄ ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) }
58. "454DPQF
    ໦ߏ଄ ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) }
59. "454DPQF
    ໦ߏ଄ ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } *G
    MFU
    B
    ͸
    MFU
    Bͷࢠ
60. "454DPQF
    ໦ߏ଄ w਌ࢠؔ܎ͰείʔϓؒͷՄࢹੑΛදݱ
    wݟ͑Δ
    ࢠ਌
    wݟ͑ͳ͍
    ਌ࢠ
    ܑఋؒ
61. "454DPQF
    ໦ߏ଄ ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } *G
    MFU
    B
    ͱHVBSE
    MFU
    B
    ͸
    MFU
    Bͷࢠ *G
    MFU
    BͱHVBSE
    MFU
    B
    ͸ܑఋ
62. 4XJGU4ZOUBY4DPQF7JTVBMJ[FS IUUQTLOULZNUHJUIVCJPTXJGUTZOUBYTDPQFWJTVBMJ[FS
63. TXJGUTZOUBYTDPQF IUUQTHJUIVCDPNLOULZNUTXJGUTZOUBYTDPQF
64. TXJGUSFBDU IUUQTHJUIVCDPNPNPDIJTXJGUSFBDU
65. "454DPQF
    -PPLVQ w"454DPQFͷ໦ߏ଄Λར༻໊ͨ͠લݕࡧ
66. "454DPQF
    -PPLVQ static void unqualifiedLookup( SourceFile *sourceFile, const SourceLoc loc, DeclConsumer consumer)
67. "454DPQF
    -PPLVQ static void unqualifiedLookup( SourceFile *sourceFile, const SourceLoc loc, DeclConsumer consumer) "45ͷSPPU
68. "454DPQF
    -PPLVQ static void unqualifiedLookup( SourceFile *sourceFile, const SourceLoc loc, DeclConsumer consumer) "45ͷSPPU -PPLVQ͢Δ৔ॴ
69. "454DPQF
    -PPLVQ static void unqualifiedLookup( SourceFile *sourceFile, const SourceLoc loc, DeclConsumer consumer) "45ͷSPPU -PPLVQ͢Δ৔ॴ ܧଓ൑ఆ౳ͷڍಈΛૢ࡞͢Δܕ
70. "454DPQF
    -PPLVQ static void unqualifiedLookup( SourceFile *sourceFile, const SourceLoc loc, DeclConsumer consumer) "45ͷSPPU -PPLVQ͢Δ৔ॴ ܧଓ൑ఆ౳ͷڍಈΛૢ࡞͢Δܕ $POTVNFSʹ݁Ռ͕౉͞ΕΔ
    $POTVNFS͕ݕࡧ໊Λ࣋ͪɺܧଓ൑ఆʹར༻͢Δ class AbstractASTScopeDeclConsumer { virtual bool consume(ArrayRef<ValueDecl *> values, NullablePtr<DeclContext> baseDC = nullptr)
71. "454DPQF
    -PPLVQ static void unqualifiedLookup( SourceFile *sourceFile, const SourceLoc loc, DeclConsumer consumer) "45ͷSPPU -PPLVQ͢Δ৔ॴ ܧଓ൑ఆ౳ͷڍಈΛૢ࡞͢Δܕ static func unqualifiedLookup( sourceFile: SourceFile, at location: SourceLoc, filterBy name: DeclReference ) -> [LookupResult]
72. "454DPQF
    -PPLVQ void ASTScopeImpl::unqualifiedLookup( SourceFile *sourceFile, const SourceLoc loc, DeclConsumer consumer) { const auto *start = findStartingScopeForLookup(sourceFile, loc); if (start) start->lookup(nullptr, nullptr, consumer); }
73. "454DPQF
    -PPLVQ void ASTScopeImpl::unqualifiedLookup( SourceFile *sourceFile, const SourceLoc loc, DeclConsumer consumer) { const auto *start = findStartingScopeForLookup(sourceFile, loc); if (start) start->lookup(nullptr, nullptr, consumer); }  MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
     MPPLVQ
74. "454DPQF
    -PPLVQ void ASTScopeImpl::unqualifiedLookup( SourceFile *sourceFile, const SourceLoc loc, DeclConsumer consumer) { const auto *start = findStartingScopeForLookup(sourceFile, loc); if (start) start->lookup(nullptr, nullptr, consumer); }  MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
     MPPLVQ
75. "454DPQF
    -PPLVQ const ASTScopeImpl *ASTScopeImpl::findStartingScopeForLookup( SourceFile *sourceFile, const SourceLoc loc) { auto *fileScope = sourceFile->getScope().impl; (লུ) return fileScope->findInnermostEnclosingScope(loc, nullptr); } 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
76. "454DPQF
    -PPLVQ const ASTScopeImpl *ASTScopeImpl::findStartingScopeForLookup( SourceFile *sourceFile, const SourceLoc loc) { auto *fileScope = sourceFile->getScope().impl; (লུ) return fileScope->findInnermostEnclosingScope(loc, nullptr); } 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ "45
    SPPU͔Β"454DPQF
    SPPUΛऔಘʢ࡞੒
    PS
    Ωϟογϡʣ
77. "454DPQF
    -PPLVQ const ASTScopeImpl *ASTScopeImpl::findStartingScopeForLookup( SourceFile *sourceFile, const SourceLoc loc) { auto *fileScope = sourceFile->getScope().impl; (লུ) return fileScope->findInnermostEnclosingScope(loc, nullptr); } 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ ࠶ؼԼ߱ͰMPPLVQ
    MPDBUJPOΛؚΉ࠷಺TDPQFΛ୳͢ "45
    SPPU͔Β"454DPQF
    SPPUΛऔಘʢ࡞੒
    PS
    Ωϟογϡʣ
78. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
79. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
80. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
81. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
82. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
83. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
84. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ ෳ਺ࢠ͕͋Δ৔߹͸ೋ෼୳ࡧ
85. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
86. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
87. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
88. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
89. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
90. "454DPQF
    -PPLVQ void ASTScopeImpl::unqualifiedLookup( SourceFile *sourceFile, const SourceLoc loc, DeclConsumer consumer) { const auto *start = findStartingScopeForLookup(sourceFile, loc); if (start) start->lookup(nullptr, nullptr, consumer); }  MPDBUJPO͕ଐ͢Δ*OOFSNPTU
    TDPQFͷಛఆ
     MPPLVQ 
    MPPLVQ
91. "454DPQF
    -PPLVQ 
    MPPLVQ void ASTScopeImpl::lookup(const NullablePtr<const ASTScopeImpl> limit, NullablePtr<const GenericParamList> lastListSearched, DeclConsumer consumer) const { (লུ) if (lookupLocalsOrMembers(consumer)) return; (লུ) const auto *const lookupParent = getLookupParent().getPtrOrNull(); return lookupParent->lookup(limitForParent, lastListSearched, consumer); }
92. "454DPQF
    -PPLVQ 
    MPPLVQ void ASTScopeImpl::lookup(const NullablePtr<const ASTScopeImpl> limit, NullablePtr<const GenericParamList> lastListSearched, DeclConsumer consumer) const { (লུ) if (lookupLocalsOrMembers(consumer)) return; (লུ) const auto *const lookupParent = getLookupParent().getPtrOrNull(); return lookupParent->lookup(limitForParent, lastListSearched, consumer); } ਌Λ࠶ؼతʹMPPLVQ
93. "454DPQF
    -PPLVQ 
    MPPLVQ void ASTScopeImpl::lookup(const NullablePtr<const ASTScopeImpl> limit, NullablePtr<const GenericParamList> lastListSearched, DeclConsumer consumer) const { (লུ) if (lookupLocalsOrMembers(consumer)) return; (লུ) const auto *const lookupParent = getLookupParent().getPtrOrNull(); return lookupParent->lookup(limitForParent, lastListSearched, consumer); } ͜ͷؔ਺Λ֤4DPQF۩৅ܕͰ࣮૷͢Δ
94. "454DPQF
    -PPLVQ 
    MPPLVQ
    1BUUFSO&OUSZ%FDM4DPQF bool PatternEntryDeclScope::lookupLocalsOrMembers(DeclConsumer consumer) const { if (!isLocalBinding) return false; return lookupLocalBindingsInPattern(getPattern(), consumer); } bool ASTScopeImpl::lookupLocalBindingsInPattern(const Pattern *p, DeclConsumer consumer) { if (!p) return false; bool isDone = false; p->forEachVariable([&](VarDecl *var) { if (!isDone) { SmallVector<ValueDecl *, 2> vars = { var }; auto abiRole = ABIRoleInfo(var); if (!abiRole.providesABI()) vars.push_back(abiRole.getCounterpart()); isDone = consumer.consume(vars); } }); return isDone; } let a = 1
95. "454DPQF
    -PPLVQ 
    MPPLVQ
    1BUUFSO&OUSZ%FDM4DPQF bool PatternEntryDeclScope::lookupLocalsOrMembers(DeclConsumer consumer) const { if (!isLocalBinding) return false; return lookupLocalBindingsInPattern(getPattern(), consumer); } bool ASTScopeImpl::lookupLocalBindingsInPattern(const Pattern *p, DeclConsumer consumer) { if (!p) return false; bool isDone = false; p->forEachVariable([&](VarDecl *var) { if (!isDone) { isDone = consumer.consume({ vars }); } }); return isDone; } 4DPQF͸ରԠ͢Δ"45/PEFΛอ࣋ɾ৘ใநग़ʹར༻ let a = 1
96. "454DPQF
    -PPLVQ 
    MPPLVQ
    1BUUFSO&OUSZ%FDM4DPQF bool PatternEntryDeclScope::lookupLocalsOrMembers(DeclConsumer consumer) const { if (!isLocalBinding) return false; return lookupLocalBindingsInPattern(getPattern(), consumer); } bool ASTScopeImpl::lookupLocalBindingsInPattern(const Pattern *p, DeclConsumer consumer) { if (!p) return false; bool isDone = false; p->forEachVariable([&](VarDecl *var) { if (!isDone) { isDone = consumer.consume({ vars }); } }); return isDone; } ϊʔυ͕࣋ͭ7BS%FDMΛશͯDPOTVNFSʹ౉͢
    DPOTVNF͕USVFΛฦͤ͹ऴྃɺGBMTF͸ଓߦ let a = 1
97. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPPLVQ DPOTVNF B
98. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPPLVQ VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz
99. "454DPQF
    -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
    MPPLVQ DPOTVNF B VORVBMJ fi FE-PPLVQ BU
    <>
    fi MUFS#Z
    lBz
100. "454DPQF
     -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
     MPPLVQ VORVBMJ fi FE-PPLVQ BU
     <>
     fi MUFS#Z
     lBz
101. "454DPQF
     -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
     MPPLVQ VORVBMJ fi FE-PPLVQ BU
     <>
     fi MUFS#Z
     lBz
102. "454DPQF
     -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
     MPPLVQ VORVBMJ fi FE-PPLVQ BU
     <>
     fi MUFS#Z
     lBz
103. "454DPQF
     -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
     MPPLVQ VORVBMJ fi FE-PPLVQ BU
     <>
     fi MUFS#Z
     lBz
104. "454DPQF
     -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] 
     MPPLVQ VORVBMJ fi FE-PPLVQ BU
     <>
     fi MUFS#Z
     lBz DPOTVNF B DPOTVNF B
105. "454DPQF
     HVBSE ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } HVBSEͷCPEZ
     ͕HVBSE
     MFU
     Bͷࢠʜ
     
106. "454DPQF
     HVBSE ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] `-BraceStmtScope, [1:10 - 11:1] `-PatternEntryDeclScope, [2:9 - 11:1] entry 0 'a' |-PatternEntryInitializerScope, [2:13 - 2:13] entry 0 |-IfStmtScope, [3:5 - 5:5] `-ConditionalClausePatternUseScope, [3:16 - 5:5] le |-ConditionalClauseInitializerScope, [3:16 - 3:26 `-BraceStmtScope, [3:28 - 5:5] `-GuardStmtScope, [6:5 - 11:1] `-ConditionalClausePatternUseScope, [6:19 - 11:1] l |-ConditionalClauseInitializerScope, [6:19 - 6:29 `-GuardStmtBodyScope, [6:36 - 9:5] `-BraceStmtScope, [6:36 - 9:5] func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } HVBSEͷCPEZ
     ͕HVBSE
     MFU
     Bͷࢠʜ
     HVBSE͚ͩྫ֎తʹQBSFOUͱMPPLVQ1BSFOU͕ҟͳΔ
107. "454DPQF
     HVBSE /// The tree is organized by source location and for most nodes this is also /// what obtains for scoping. However, guards are different. The scope after /// the guard else must hop into the innermoset scope of the guard condition. virtual NullablePtr<const ASTScopeImpl> getLookupParent() const
108. "454DPQF
     TPVSDF
     SBOHFͷ੍໿ *OOFSNPTU
     TDPQFΛܾఆతʹ͠
     -PPLVQΛਖ਼͘͠ಈ࡞ͤ͞ΔͨΊͷ੍໿
     wࢠ͸ඞͣ਌ͷSBOHFʹऩ·Δ
     wܑఋ͸TPVSDF
     PSEFSͰฒͼɺॏͳΒͳ͍
109. "454DPQF
     TPVSDF
     SBOHFͷ੍໿ //===----------------------------------------------------------------------===// /// /// This fi le de fi nes the ASTScopeImpl class ontology, which /// describes the scopes that exist within a Swift AST. /// /// Each scope has four basic functions: printing for debugging, creation of /// itself and its children, obtaining its SourceRange (for lookup), and looking /// up names accessible from that scope. /// /// Invariants: /// a child's source range is a subset (proper or improper) of its parent's, /// children are ordered by source range, and do not overlap, /// all the names visible within a parent are visible within the child, unless /// the nesting is illegal. For instance, a protocol nested inside of a class /// does not get to see the symbols in the class or its ancestors. /// //===----------------------------------------------------------------------===//
110. "454DPQF
     TPVSDF
     SBOHFͷ੍໿ //===----------------------------------------------------------------------===// /// /// This fi le de fi nes the ASTScopeImpl class ontology, which /// describes the scopes that exist within a Swift AST. /// /// Each scope has four basic functions: printing for debugging, creation of /// itself and its children, obtaining its SourceRange (for lookup), and looking /// up names accessible from that scope. /// /// Invariants: /// a child's source range is a subset (proper or improper) of its parent's, /// children are ordered by source range, and do not overlap, /// all the names visible within a parent are visible within the child, unless /// the nesting is illegal. For instance, a protocol nested inside of a class /// does not get to see the symbols in the class or its ancestors. /// //===----------------------------------------------------------------------===// MJC"45"454DPQFI
111. "454DPQF
     TPVSDF
     SBOHFͷ੍໿ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } `-GuardStmtScope, [6:5 - 11:1] ɹ`-ConditionalClausePatternUseScope, [6:19 - 11:1] let ɹɹ|-ConditionalClauseInitializerScope, [6:19 - 6:29] ɹɹ`-GuardStmtBodyScope, [6:36 - 9:5] ɹɹɹ`-BraceStmtScope, [6:36 - 9:5]
112. "454DPQF
     TPVSDF
     SBOHFͷ੍໿ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } `-GuardStmtScope, [6:5 - 11:1] ɹ|-ConditionalClausePatternUseScope, [6:19 - 11:1] let ɹɹ`-ConditionalClauseInitializerScope, [6:19 - 6:29] ɹ`-GuardStmtBodyScope, [6:36 - 9:5] ɹɹ`-BraceStmtScope, [6:36 - 9:5]
113. "454DPQF
     TPVSDF
     SBOHFͷ੍໿ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } `-GuardStmtScope, [6:5 - 11:1] ɹ|-ConditionalClausePatternUseScope, [6:19 - 11:1] let ɹɹ`-ConditionalClauseInitializerScope, [6:19 - 6:29] ɹ`-GuardStmtBodyScope, [6:36 - 9:5] ɹɹ`-BraceStmtScope, [6:36 - 9:5]
114. "454DPQF
     -B[JMZ
     &YQBOTJPO w"454DPQFͷࢠ͸*OOFSNPTU
     TDPQF୳ࡧ࣌ʹMB[JMZ ʹల։͞ΕΔ
     wAJT&YQBOEFEAͷঢ়ଶΛ࣋ͭ
     wෳ਺ճͷMPPLVQͰಉҰͷ"454DPQFঢ়ଶΛ࢖͍ճ͢
     wA4PVSDF'JMFHFU4DPQF A
115. "454DPQF
     -B[JMZ
     &YQBOTJPO func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
     <>
     fi MUFS#Z
     lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift'
116. "454DPQF
     -B[JMZ
     &YQBOTJPO func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
     <>
     fi MUFS#Z
     lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' FYQBOE
117. "454DPQF
     -B[JMZ
     &YQBOTJPO func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
     <>
     fi MUFS#Z
     lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1]
118. "454DPQF
     -B[JMZ
     &YQBOTJPO func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
     <>
     fi MUFS#Z
     lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1] ಛఆͷ/PEFͰల։͕ࢭ·Δʢ%FGFSSFE
     /PEFʣ
119. "454DPQF
     -B[JMZ
     &YQBOTJPO func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } VORVBMJ fi FE-PPLVQ BU
     <>
     fi MUFS#Z
     lBz ASTSourceFileScope, [1:1 - 13:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 11:1] 'f()' `-FunctionBodyScope, [1:10 - 11:1]
120. "454DPQF
     -B[JMZ
     &YQBOTJPO struct A { func a() { let a = 1 } func b() { let a = 1 } func c() { let a = 1 } } ASTSourceFileScope 0xb3ef67000, [1:1 - 14:1] 'Source.swift' `-NominalTypeDeclScope 0xb3ef79eb0, [1:1 - 13:1] 'A' `-NominalTypeBodyScope 0xb3ef79eb0, [1:10 - 13:1] 'A' |-AbstractFunctionDeclScope 0xb3ef8a020, [2:5 - 4:5] 'a()' `-FunctionBodyScope 0xb3ef8a020, [2:14 - 4:5] `-BraceStmtScope 0xb3ef8a268, [2:14 - 4:5] `-PatternEntryDeclScope 0xb3ef8a1f0, [3:13 - 4:5] entry `-PatternEntryInitializerScope 0xb3ef8a1f0, [3:17 - 3: |-AbstractFunctionDeclScope 0xb3ef8a300, [6:5 - 8:5] 'b()' `-FunctionBodyScope 0xb3ef8a300, [6:14 - 8:5] `-BraceStmtScope 0xb3ef8a548, [6:14 - 8:5] `-PatternEntryDeclScope 0xb3ef8a4d0, [7:13 - 8:5] entry `-PatternEntryInitializerScope 0xb3ef8a4d0, [7:17 - 7: `-AbstractFunctionDeclScope 0xb3ef8a5e0, [10:5 - 12:5] 'c()' `-FunctionBodyScope 0xb3ef8a5e0, [10:14 - 12:5] `-BraceStmtScope 0xb3ef8a828, [10:14 - 12:5] `-PatternEntryDeclScope 0xb3ef8a7b0, [11:13 - 12:5] entr `-PatternEntryInitializerScope 0xb3ef8a7b0, [11:17 - 1
121. "454DPQF
     ·ͱΊ w"45ͱ͸ผͷ໦ߏ଄ͰείʔϓΛදݱ
     wࢠ਌ͷՄࢹੑ
     wMB[JMZʹల։͞ΕΔεςʔτϑϧͳ໦
122. -FYJDBM
     -PPLVQͷ࣮૷ w"454DPQF
     w4XJGUίϯύΠϥͷDQQ࣮૷
     w4XJGU-FYJDBM-PPLVQ
     wTXJGUTZOUBYϕʔε4XJGU࣮૷
123. 4XJGU-FYJDBM-PPLVQ
     Ґஔ෇͚ wTXJGUTZOUBYʹಉ෧
     w!@TQJ &YQFSJNFOUBM
     JNQPSU
     4XJGU-FYJDBM-PPLVQ
     w(4P$
     Ͱ։ൃ
     wকདྷతʹ͸"454DPQFΛஔ͖׵͍͑ͨΒ͍͠
     w4XJGUίϯύΠϥʹόϦσʔγϣϯ͕࣮૷ࡁΈ
     w TXJGU
     FOBCMFFYQFSJNFOUBMGFBUVSF
     6ORVBMJ fi FE-PPLVQ7BMJEBUJPO
     4PVSDFTXJGU IUUQTGPSVNTTXJGUPSHUHTPDTXJGUMFYJDBMMPPLVQBOFXMFYJDBMOBNFMPPLVQMJCSBSZ
124. 4XJGU-FYJDBM-PPLVQ w4XJGU4ZOUBYͷ"45ʹείʔϓ৘ใΛ෇༩
125. 4XJGU-FYJDBM-PPLVQ @_spi(Experimental) public protocol ScopeSyntax: SyntaxProtocol {…} @_spi(Experimental) extension IfExprSyntax: ScopeSyntax { … } @_spi(Experimental) extension WhileStmtSyntax: ScopeSyntax { … } …
126. 4XJGU-FYJDBM-PPLVQ w4XJGU4ZOUBYͷ"45ʹείʔϓ৘ใΛ෇༩
     wՄࢹੑ
     w਌ࢠؔ܎ʹΑΔείʔϓͷՄࢹੑ
127. 4XJGU-FYJDBM-PPLVQ w4XJGU4ZOUBYͷ"45ʹείʔϓ৘ใΛ෇༩
     wՄࢹੑ
     w਌ࢠؔ܎ʹΑΔείʔϓͷՄࢹੑ
     wMPPLVQ
     QPTJUJPOͰಈతʹఆٛͷՄࢹੑΛ੍ޚ
128. 4XJGU-FYJDBM-PPLVQ
     ໦ߏ଄ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) }
129. 4XJGU-FYJDBM-PPLVQ
     ໦ߏ଄ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) }
130. 4XJGU-FYJDBM-PPLVQ
     ໦ߏ଄ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } ߏจ໦ͱείʔϓ໦ͷߏ଄͕ಉҰͳͷͰਓؒʹ༏͍͠
131. 4XJGU-FYJDBM-PPLVQ w4XJGU4ZOUBYͷ$45ʹείʔϓ৘ใΛ෇༩
     wՄࢹੑ
     w਌ࢠؔ܎ʹΑΔείʔϓͷՄࢹੑ
     wMPPLVQ
     QPTJUJPOͰಈతʹఆٛͷՄࢹੑΛ੍ޚ
132. 4XJGU-FYJDBM-PPLVQ MPPLVQ
     QPTJUJPOͰಈతʹఆٛͷՄࢹੑΛ੍ޚ if let a = Optional(2) { // a͕ݟ͑Δ } else { // a͕ݟ͑ͳ͍ } *O
     "454DPQF
133. 4XJGU-FYJDBM-PPLVQ if let a = Optional(2) { // a͕ݟ͑Δ } else { // a͕ݟ͑ͳ͍ } ASTSourceFileScope, [1:1 - 11:1] 'Source.swift' `-AbstractFunctionDeclScope, [1:1 - 10:1] 'f()' `-FunctionBodyScope, [1:10 - 10:1] `-BraceStmtScope, [1:10 - 10:1] `-IfStmtScope, [2:5 - 9:5] |-ConditionalClausePatternUseScope, [2:16 - 5: |-ConditionalClauseInitializerScope, [2:16 - `-BraceStmtScope, [2:28 - 5:5] `-BraceStmtScope, [6:10 - 9:5] ໦ߏ଄ʹΑͬͯՄࢹੑΛ੍ޚ *O
     "454DPQF MPPLVQ
     QPTJUJPOͰಈతʹఆٛͷՄࢹੑΛ੍ޚ
134. 4XJGU-FYJDBM-PPLVQ if let a = Optional(2) { // a͕ݟ͑Δ } else { // a͕ݟ͑ͳ͍ } *O
     4XJGU-FYJDBM-PPLVQ MPPLVQ
     QPTJUJPOͰಈతʹఆٛͷՄࢹੑΛ੍ޚ
135. 4XJGU-FYJDBM-PPLVQ @_spi(Experimental) extension IfExprSyntax: ScopeSyntax { @_spi(Experimental) public func lookup( _ identifier: Identifier?, at lookUpPosition: AbsolutePosition, with config: LookupConfig ) -> [LookupResult] { if let elseBody, elseBody.range.contains(lookUpPosition) { return lookupInParent(identifier, at: lookUpPosition, with: config) } else { return defaultLookupImplementation(identifier, at: lookUpPosition, with: config) } } MPPLVQ
     QPTJUJPOͰಈతʹఆٛͷՄࢹੑΛ੍ޚ
136. 4XJGU-FYJDBM-PPLVQ @_spi(Experimental) extension IfExprSyntax: ScopeSyntax { @_spi(Experimental) public func lookup( _ identifier: Identifier?, at lookUpPosition: AbsolutePosition, with config: LookupConfig ) -> [LookupResult] { if let elseBody, elseBody.range.contains(lookUpPosition) { return lookupInParent(identifier, at: lookUpPosition, with: config) } else { return defaultLookupImplementation(identifier, at: lookUpPosition, with: config) } } MPPLVQ
     QPTJUJPOͰಈతʹఆٛͷՄࢹੑΛ੍ޚ FMTF
     CPEZ
     ಺͔ΒͷMPPLVQ͸JG
     MFUΛݟͤͳ͍
137. 4XJGU-FYJDBM-PPLVQ
     -PPLVQ @_spi(Experimental) public protocol ScopeSyntax: SyntaxProtocol { func lookup( _ identifier: Identifier?, at lookUpPosition: AbsolutePosition, with config: LookupConfig ) -> [LookupResult] }
138. 4XJGU-FYJDBM-PPLVQ
     -PPLVQ extension SyntaxProtocol { /// Parent scope of this syntax node, or scope introduced by this syntax node. var scope: ScopeSyntax? { if let scopeSyntax = Syntax(self).asProtocol(SyntaxProtocol.self) as? ScopeSyntax { return scopeSyntax } else { return self.parent?.scope } } public func lookup( _ identifier: Identifier?, with config: LookupConfig = LookupConfig() ) -> [LookupResult] { scope?.lookup(identifier, at: self.position, with: config) ?? [] } }
139. 4XJGU-FYJDBM-PPLVQ
     -PPLVQ w೚ҙͷ4ZOUBY͔ΒMPPLVQͰ͖Δ
     wࢠ਌ʹMPPLVQ͍͚ͯͩ͘͠
     w։࢝஍఺ͷ4ZOUBYΛ୳͢ͷ͸DBMMFSͷ੹຿
     w 4PVSDF'JMF4ZOUBYUPLFO BU
     QPTJUJPO MPPLVQ ʜ
140. 4XJGU-FYJDBM-PPLVQ
     -PPLVQ func f() { let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) } TPVSDFUPLFO BU
     <> MPPLVQ lBz
141. w$PEF#MPDL಺ͷఆٛ͸$PEF#MPDL4DPQF͕؅ཧ 4XJGU-FYJDBM-PPLVQ
     -PPLVQ @_spi(Experimental) extension CodeBlockSyntax: SequentialScopeSyntax { @_spi(Experimental) public func lookup( _ identifier: Identifier?, at lookUpPosition: AbsolutePosition, with config: LookupConfig ) -> [LookupResult] { sequentialLookup( in: statements, identifier, at: lookUpPosition, with: config ) } }
142. 4XJGU-FYJDBM-PPLVQ
     -PPLVQ func sequentialLookup(…) -> [LookupResult] { var collectedNamedDecls: [NamedDeclSyntax] = [] for codeBlockItem in codeBlockItems.reversed() { if let namedDecl = codeBlockItem.item.asProtocol(NamedDeclSyntax.self) { guard !ignoreNamedDecl else { continue } collectedNamedDecls.append(namedDecl) continue } } for namedDecl in collectedNamedDecls.reversed() { currentChunk += LookupName.getNames( from: namedDecl, accessibleAfter: namedDecl.endPosition ).filter { introducedName in checkIdentifier(identifier, refersTo: introducedName, at: lookUpPosition) } } … }
143. 4XJGU-FYJDBM-PPLVQ
     -PPLVQ func sequentialLookup(…) -> [LookupResult] { var collectedNamedDecls: [NamedDeclSyntax] = [] for codeBlockItem in codeBlockItems.reversed() { if let namedDecl = codeBlockItem.item.asProtocol(NamedDeclSyntax.self) { guard !ignoreNamedDecl else { continue } collectedNamedDecls.append(namedDecl) continue } } for namedDecl in collectedNamedDecls.reversed() { currentChunk += LookupName.getNames( from: namedDecl, accessibleAfter: namedDecl.endPosition ).filter { introducedName in checkIdentifier(identifier, refersTo: introducedName, at: lookUpPosition) } } … } $PEF#MPDL಺ͷEFDMΛר͖औΔ
144. 4XJGU-FYJDBM-PPLVQ
     -PPLVQ func sequentialLookup(…) -> [LookupResult] { var collectedNamedDecls: [NamedDeclSyntax] = [] for codeBlockItem in codeBlockItems.reversed() { if let namedDecl = codeBlockItem.item.asProtocol(NamedDeclSyntax.self) { guard !ignoreNamedDecl else { continue } collectedNamedDecls.append(namedDecl) continue } } for namedDecl in collectedNamedDecls.reversed() { currentChunk += LookupName.getNames( from: namedDecl, accessibleAfter: namedDecl.endPosition ).filter { introducedName in checkIdentifier(identifier, refersTo: introducedName, at: lookUpPosition) } } … } ABDDFTTJCMF"GUFSAͰՄࢹੑ৘ใΛ෇༩
     ʮ͜ͷQPTJUJPOΑΓޙͰݟ͑Δʯ
145. 4XJGU-FYJDBM-PPLVQ
     BDDFTTJCMF"GUFS let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) B B B
146. 4XJGU-FYJDBM-PPLVQ
     BDDFTTJCMF"GUFS let a = 1 if let a = Optional(2) { print(a) } guard let a = Optional(3) else { print(a) return } print(a) B B B
147. 4XJGU-FYJDBM-PPLVQ
     -PPLVQ func sequentialLookup(…) -> [LookupResult] { var collectedNamedDecls: [NamedDeclSyntax] = [] for codeBlockItem in codeBlockItems.reversed() { if let namedDecl = codeBlockItem.item.asProtocol(NamedDeclSyntax.self) { guard !ignoreNamedDecl else { continue } collectedNamedDecls.append(namedDecl) continue } } for namedDecl in collectedNamedDecls.reversed() { currentChunk += LookupName.getNames( from: namedDecl, accessibleAfter: namedDecl.endPosition ).filter { introducedName in checkIdentifier(identifier, refersTo: introducedName, at: lookUpPosition) } } … } BDDFTTJCMF"GUFS
     
     MPPLVQ
     QPTJUJPO
     ͚ͩϑΟϧλ
148. 4XJGU-FYJDBM-PPLVQ
     -PPLVQ
149. 4XJGU-FYJDBM-PPLVQ
     ·ͱΊ w"45Λ࠶ར༻ͨ͠໦ߏ଄ͰείʔϓΛදݱ
     wMPPLVQ
     QPTJUJPOʹΑΔՄࢹੑ؅ཧ
     w"454DPQFΑΓ୯७ͳ໦ߏ଄
     wεςʔτϨε
150. ͓·͚
     2VBMJGJFE-PPLVQ w2VBMJ fi FE-PPLVQʹҠৡ͢Δέʔε
     w $POTVNFSMPPL*O.FNCFST DPOTU
     %FDM$POUFYU
     TDPQF%$
     
151. ͓·͚
     2VBMJGJFE-PPLVQ w2VBMJ fi FE-PPLVQʹҠৡ͢Δέʔε
     w-PPLVQ3FTVMUMPPL'PS.FNCFST
152. ͓·͚
     2VBMJGJFE-PPLVQ /// Represents result from a speci fi c scope. public enum LookupResult { /// Scope and the names that matched lookup. case fromScope(Syntax, withNames: [LookupName]) /// Indicates where to perform member lookup. case lookForMembers(in: Syntax) /// Indicates to lookup generic parameters of extended type. /// /// ### Example /// ```swift /// extension Foo { /// func bar() { /// let a = A() // <-- lookup here /// } /// } /// ``` case lookForGenericParameters(of: ExtensionDeclSyntax) /// Indicates this closure expression could introduce dollar identi fi ers. /// /// ### Example /// ```swift /// func foo() { /// let a = { /// $0 // <-- lookup here /// } /// } /// ``` case lookForImplicitClosureParameters(ClosureExprSyntax)
153. ͓·͚
     4XJGU2VBMJGJFE-PPLVQ IUUQTGPSVNTTXJGUPSHUHTPDRVBMJ fi FEOBNFMPPLVQGPSTXJGUTZOUBY
154. ͓·͚
     4XJGU2VBMJGJFE-PPLVQ // In SwiftLexicalLookup result processing for result in someNode.lookup("area", with: config) { switch result { case .lookInMembers(let typeSyntax): // Hand off to qualified lookup let memberResults = typeSyntax.qualifiedLookup("area", in: sourceFile) // ... process memberResults default: // ... process unqualified results } }
155. ग़య w "454DPQF
     w IUUQTHJUIVCDPNTXJGUMBOHTXJGUUSFFNBJOMJC"45
     w 4XJGU-FYJDBM-PPLVQ
     w IUUQTHJUIVCDPNTXJGUMBOHTXJGUTZOUBYUSFFNBJO4PVSDFT4XJGU-FYJDBM-PPLVQ
     w
     <(4P$>
     4XJGU-FYJDBM-PPLVQ
     
     B
     OFX
     MFYJDBM
     OBNF
     MPPLVQ
     MJCSBSZ
     w IUUQTGPSVNTTXJGUPSHUHTPDTXJGUMFYJDBMMPPLVQBOFXMFYJDBMOBNFMPPLVQMJCSBSZ 
     w
     <(4P$
     >
     2VBMJ fi FE
     /BNF
     -PPLVQ
     GPS
     TXJGUTZOUBY
     w IUUQTGPSVNTTXJGUPSHUHTPDRVBMJ fi FEOBNFMPPLVQGPSTXJGUTZOUBY