推しメソッドsource_locationのしくみを探る - はじめてRubyのコードを読んでみた

TokyoWomen.rb #1（2025.03.01）の登壇資料です
https://tokyowomenrb.connpass.com/event/342573/

Transcript

1. ͸͡Ίͯ Ruby ͷίʔυΛಡΜͰΈͨ 💎 ਪ͠ϝιου source_location ͷ͘͠ΈΛ୳Δ nobu09 2025.03.01 TokyoWomen.rb #1
2. ࣗݾ঺հ • WebΤϯδχΞ • Ruby ΍ Rails ͰϓϩάϥϜΛॻ͘ͷ͕޷͖ • εΫϥϜͰ͍͍ײ͡ʹ։ൃ͢Δ͜ͱʹڵຯؔ৺ • খֶ5೥ੜͷ͜Ͳ΋͕͍·͢ • Rails Girls Tokyo 15th ίʔν • SIer → ϢϏϨδ → GMOϖύϘ → ZAICO nobu09 / ࣰా ৳ࢠ @nobu09_ nobu09
3. TokyoWomen.rb ͞Μͱࢲ • લ਎ͷΠϕϯτ TokyoGirls.rb Meetup vol.2 ʹࢀՃ • ͱͯ΋ָܹࢗ͘͠Λड͚ͨ 🙌 • ౰࣌ɺΔͼ·ʹΠϕϯτϨϙʔτ Λॻ͔͍͍ͤͯͨͩͨ 🥲 • ࠓ౓͸ొஃͯ͠Έ͍ͨͱࢥ͍ɺϓ ϩϙʔβϧΛఏग़ https://magazine.rubyist.net/articles/0061/0061-TokyoGirlsrb02Report.html
4. ࠓ೔͓࿩͢Δ͜ͱ ࣗ෼ͷ޷͖ͳ Ruby ͷϝιου͕ ͲΜͳ͘͠ΈͰಈ͍͍ͯΔͷ͔஌Γͨͯ͘ ͸͡Ίͯ Ruby ͷίʔυΛ ಡΜͰΈͨ࿩
5. ΋͠಺༰ʹޡΓ͕͋Ε͹ ͝ࢦఠ͍͚ͨͩͨΒ͏Ε͍͠Ͱ͢ 😌
6. 1. ޷͖ͳ Ruby ͷϝιου 💎
7. ͋ͳͨͷ޷͖ͳ Ruby ͷϝιου͸ ͳΜͰ͔͢ʁ
8. ͋ͳͨͷ޷͖ͳ Ruby ͷϝιου͸ ͳΜͰ͔͢ʁ map tap reject f latten compact dig each reduce caller presence gsub split times partition include?
9. Method#source_location 💓
10. source_location ͷศརͳͱ͜Ζᶃ ϝιου͕ఆٛ͞Ε͍ͯΔιʔείʔυͷϑΝΠϧͱߦ਺Λڭ͑ͯ ͘ΕΔʂ https://docs.ruby-lang.org/ja/latest/method/Method/i/ source_location.html my_method ϝιου͸ my_class.rb ϑΝΠϧͷ2ߦ໨ʹ ఆٛ͞Ε͍ͯΔ 💡 irb ΍ r a ils consoleͰ ௐ΂Δ͜ͱ͕Ͱ͖Δ 👈
11. 1. MyClass.new → MyClass ͷ৽͍͠Πϯελϯε࡞੒ 2. method(:my_method) ɹˠ MyClassΠϯελϯεͷ my_method Λ Method ΦϒδΣΫτͱͯ͠औಘ ɹˠ method ͸ Kernel Ϟδϡʔϧʹఆٛ͞Ε͍ͯΔͨΊ͢΂ͯͷΦϒδΣΫτͰར༻Ͱ͖Δ ✍ MyClass.new.method(:my_method) ͸ԿΛ͍ͯ͠Δʁ https://docs.ruby-lang.org/ja/latest/class/Object.html#I_METHOD MyClass ͷΠϯελϯεͷ my_method ϝιουΛ Method ΦϒδΣΫτͱͯ͠औಘʂ
12. source_location ͷศརͳͱ͜Ζᶄ Ͳ͜Ͱఆٛ͞Ε͔ͨ෼͔Γʹ͍͘ಈతʹఆٛ͞Εͨϝιου ʢdefine_methodʣ΍ gem ͷϝιουͷఆٛ΋͙͢ಛఆͰ͖Δ 🕵 ϝιου໊Ͱจࣈྻݕࡧͯ͠΋ ϝιουఆ͕ٛग़ͯ͜ͳ͍ɾɾ ॲཧ಺༰͕Θ͔Βͳ͍ɾɾ ྫ͑͹͜Μͳϝιουݺͼग़͠ͷఆٛݩΛ୳͍ͯ͠Δͱ͖ˣ
13. ͦΜͳͱ͖͸ source_location Λ࢖͓͏ ͜ͷίʔυͰ͸3ͭͷϝιου͕ಈతʹ ఆٛ͞Ε͍ͯΔ 📝 • hello_ a lice • hello_bob • hello_ch a rlie ͜ͷϞδϡʔϧͷ͜ͷߦͰ de fi ne_methodͰ ಈతʹϝιουఆٛ͞Εͯͨʂ 👀 ͔ͩΒจࣈྻݕࡧͰग़ͯ͜ͳ͔ͬͨͷ͔
14. ✍ define_method https://docs.ruby-lang.org/ja/latest/method/Module/i/define_method.html define_method ͸ɺϝιου໊ΛಈతʹܾΊͯఆٛͰ͖Δ ϝιου ॊೈʹΫϥε΍Ϟδϡʔϧͷϝιουఆ͕ٛͰ͖Δ ࣅͨΑ͏ͳϝιουΛෳ਺ఆٛ͢Δͱ͖ͳͲʹศར จࣈྻల։Ͱϝιου໊ΛܾΊ͍ͯΔ ϝιουͷॲཧ಺༰͸ϒϩοΫͷதʹॻ͘ ʢdo ʙ endʣ
15. Ͳ͏΍ͬͯϝιουͷఆٛ৔ॴΛ औಘ͍ͯ͠ΔΜͩΖ͏ 💭
16. 💡 ௐ΂ͯΈΑ͏
17. 2. ΍ͬͯΈͨ͜ͱ 🔍
18. ࠷ॳͷน Ͳ͔͜Β ௐ΂Ε͹͍͍͔ Θ͔Βͳ͍… 😐 Ch a tGPTʹ ௐ΂ํΛ ฉ͍ͯΈΑ͏ 💡
19. ChatGPT ʹௐ΂ํΛฉ͍ͯΈΔ Ruby ͷ source_loc a tion ͱ͍͏ϝιου͕ ศརͰ޷͖Ͱ͢ɻ ͲΜͳ͘͠Έͳͷ͔஌Γ͍ͨͰ͢ɻ Ͳ͏΍ͬͯௐ΂ͨΒྑ͍Ͱ͔͢ɻ RubyͷιʔείʔυΛಡΉ͜ͱͰɺsource_loc a tion ͷ ࣮૷΍ͦͷཪଆΛཧղͰ͖·͢ɻ 1. RubyͷιʔείʔυΛऔಘ͢Δ … ΍ͬͯΈͨ͜ͱ ᶃ
20. ChatGPT ͕͘ΕͨΞυόΠε 1. Ruby ͷιʔείʔυΛऔಘ͢Δ 2. source_location ͷ࣮૷Λ୳͢ 3. ؔ਺ͷ಺༰ΛಡΉ 4. C ߏ଄ମΛಡΉ 5. ඞཁʹԠͯ͡ Ruby ͷެࣜ υΩϡϝϯτΛಡΉ
21. ͳΔ΄Ͳ Θ͔ΒΜ Ͱ΋ɺͲ͏΍Β C ݴޠͰ ॻ͔Ε͍ͯΔΒ͍͠
22. ΍ͬͯΈͨ͜ͱ ᶄ GitHub ͷ Ruby ͷϦϙδτϦ͔ΒιʔείʔυΛ clone https://github.com/ruby/ruby
23. git clone ʹ໿1෼͔͔ͬͨ 😲 ͚ͬ͜͏େ͖͍ϦϙδτϦɺͳΜ͔ͩײ֒ਂ͍… 🥺
24. ίʔυΛͲ͔͜Β ಡΜͰ͍͚͹͍͍ͷ͔ ϦϙδτϦେ͖͍ɾɾ Cݴޠɾɾɾ
25. ΍ͬͯΈͨ͜ͱᶅ GitHub Copilot Chat ͱ ChatGPT ʹฉ͖ͳ͕Β ίʔυΛಡΈਐΊΔ
26. grep Ͱ source_location Λ͕͢͞ ͍ͬͺ͍ʂ😲 const_source_loc a rb_source_loc a test ΍ spec ΍ doc ϑΥϧμ͸ ݟͳͯ͘ྑͦ͞͏
27. proc.c ͜ͷ͋ͨΓͰ͸ʁ👀 https://github.com/ruby/ruby/blob/master/proc.c
28. ίʔυΛ ோΊͯΈΑ͏
29. rb_de f ine_methodͷهड़͕ ෳ਺Օॴ͋Δ 👀
30. rb_de f ine_method ͸ɺRuby ͷ C ֦ுϥΠϒϥϦͰ࢖༻͞ΕΔ ؔ਺ͰɺRuby ΫϥεʹϝιουΛఆٛ͢ΔͨΊʹ࢖༻͞Ε·͢ ͜ͷؔ਺͸ɺࢦఆ͞ΕͨΫϥεʹ৽͍͠ϝιουΛ௥Ճ͠·͢ ‼
31. 💡 rb_define_method ͜ͷؔ਺ͰɺRuby ͷΠϯελϯεϝιουΛఆ͍ٛͯ͠Δʂ Ruby ͷΫϥε΍ϞδϡʔϧʹΠϯελϯεϝιουΛఆٛ͢ΔͨΊͷ C ݴޠͷؔ਺ͰɺRuby ͷ def ʹ૬౰͢Δ https://docs.ruby-lang.org/ja/latest/function/rb_define_method.html • klass: ϝιουΛఆٛ͢ΔΫϥε • name: ϝιουͷ໊લ • func: ϝιουͷ࣮૷Λఏڙ͢Δ C ؔ਺΁ͷϙΠϯλ • argc: ϝιου͕ड͚औΔҾ਺ͷ਺ʢՄม௕Ҿ਺ͷ৔߹͸ -1 Λࢦఆʣ
32. 💡 source_location ͸ Method ͚ͩ͡Όͳ͍ Proc, UnboundMethod, Binding Ϋϥεʹ΋ఆ͕ٛ͋Δ
33. Ϋϥε໊ Ϋϥεͷ໾ׂ source_loc a tionͰ औಘͰ͖Δ৘ใ Proc ϒϩοΫ΍ Proc Λද͢ ͦͷ Proc ͕ఆٛ͞Εͨ৔ॴ UnboundMethod ΫϥεͷΠϯελϯεϝιου ʢະόΠϯυʣΛද͢ ͦͷϝιου͕ఆٛ͞Εͨ৔ॴ Binding ม਺ͷείʔϓ΍࣮ߦίϯςΩε τΛද͢ ͦͷ binding ͕औಘ͞Εͨ৔ॴ 💡 source_location ͸ Method ͚ͩ͡Όͳ͍ Proc, UnboundMethod, Binding Ϋϥεʹ΋ఆ͕ٛ͋Δ
34. ✍ Proc#source_location https://docs.ruby-lang.org/ja/latest/method/Proc/i/source_location.html Proc͕ఆٛ͞Εͨ৔ॴΛฦ͢
35. ✍ UnboundMethod#source_location https://docs.ruby-lang.org/ja/latest/class/UnboundMethod.html#I_SOURCE_LOCATION ΫϥεͷΠϯελϯεϝιουͷఆٛ৔ॴΛಛఆ͢Δ UnboundMethod ͸ɺϨγʔόΛ࣋ͨͳ͍ϝιουΛද͢Ϋϥε ಛఆͷΠϯελϯεʹόΠϯυ͞Ε͍ͯͳ͍ঢ়ଶ
36. ✍ Binding#source_location https://docs.ruby-lang.org/ja/latest/class/Binding.html#I_SOURCE_LOCATION ͦͷ binding ͕औಘ͞Εͨ৔ॴΛฦ͢ Binding Λ࢖͏ͱɺݱࡏͷείʔϓΛΩϟϓνϟ͠ɺޙ͔Βૢ࡞ɾࢀরͰ͖Δ eval ͰείʔϓΛࢦఆͯ͠ૢ࡞ͨ͠Γɺ pry ͰσόοάͰ͖Δ
37. rb_define_method ͔Βݟ͍ͯ͘🔍 Method#source_location ͸ C ݴޠͷ rb_method_location ؔ਺Λ ݺͼग़͍ͯ͠Δ
38. rb_method_location ͸͜͜ 🚩 https://github.com/ruby/ruby/blob/c27f433d7c0ddb13501f7e19a0158da3aec1577c/proc.c#L3045-L3057
39. VALUE ͬͯͳʹʁ ໭Γ஋΍Ҿ਺ͷVALUEͬͯ Ͳ͏͍͏ҙຯͳΜͩΖ͏ʁ 👀
40. 💡 VALUE ͱ͸ • CݴޠͰ Ruby ͷ͢΂ͯͷΦϒδΣΫτΛද͢ܕ • RubyͰ͸ɺ͢΂ͯͷΦϒδΣΫτ͕ VALUE ͷܕΛ ࢖ͬͯ؅ཧ͞Ε͍ͯΔ https://github.com/ruby/ruby/blob/master/include/ruby/internal/value.h VALUE ͸ Cݴޠͷ uintptr_t ܕͱͯ͠ఆٛ͞Ε͍ͯΔ
41. rb_method_location Ҿ਺ͱͯ͠ɺRuby ͷΦϒδΣΫτͰ͋Δ VALUE ܕͷ method Λड͚औ͍ͬͯΔ
42. ࣍͸ method_def_location ΛݟΔ 🔍
43. method_def_location ͸͜͜ 🚩 https://github.com/ruby/ruby/blob/ c27f433d7c0ddb13501f7e19a0158da3aec1577c/proc.c#L3027-L3036
44. method_def_location ΛಡΈղ͘ᶃ ͜ͷҾ਺͸ɺRubyͷϝιουఆٛΛද͢ߏ଄ମ rb_method_de f inition_t ΁ͷϙΠϯλ ϝιουఆٛͷৄࡉ৘ใʢϝιουͷछྨ΍ϝιουͷຊମͳͲʣΛؚ ΜͰ͍Δߏ଄ମ https://github.com/ruby/ruby/blob/dfc25204235079e23eadf9e0ba860c1ebcb14325/method.h#L179-L198
45. method_def_location ΛಡΈղ͘ᶄ ϝιουͷछྨ͕ҎԼͷ৔߹ɺҾ਺ͷrb_method_de f inition_t ߏ଄ମͷதʹҐஔ৘ใ͕ଘࡏ͢Δ ৔߹͸ͦͷҐஔ৘ใΛෳ੡ͯ͠ฦ͠ɺҐஔ৘ใ͕ߏ଄ମʹଘࡏ͠ͳ͍৔߹͸ nil Λฦ͢ ɾVM_METHOD_TYPE_ATTRSET ɹɹ ଐੑͷ setter ϝιουʢ a ttr_ a ccessor ΍ a ttr_writer Ͱఆٛ͞Εͨ setterʣ ɾVM_METHOD_TYPE_IVAR ɹɹΠϯελϯεม਺Λ௚઀ฦ͢ getter ϝιου
46. method_def_location ΛಡΈղ͘ᶅ ͦΕҎ֎ͷ௨ৗͷϝιουͷ৔߹ ɾmethod_def_iseq ؔ਺Λ࢖༻ͯ͠ϝιουఆٛͷ໋ྩγʔέϯεʢISeqʣΛऔಘ ɾͦͷҐஔ৘ใΛ iseq_loc a tion ؔ਺Λ࢖ͬͯฦ͢
47. 💡Ruby ͷ໋ྩγʔέϯεʢISeqʣͱ͸ • Ruby ͷίʔυ͸௚઀࣮ߦ͞ΕͣɺҰ౓όΠτίʔυʹม׵͞ΕΔ • ͜ͷόΠτίʔυ໋͕ྩγʔέϯεʢISeq / Instruction Sequenceʣ • ISeq ͸ϝιουఆٛ࣌΍εΫϦϓτͷղੳ࣌ʹ࡞ΒΕΔ • Ruby VM ͸ ISeq Λղऍɾ࣮ߦ͢Δ͜ͱͰϓϩάϥϜΛಈ͔͢ Ruby VM Ruby ͷίʔυ ໋ྩγʔέϯεʢISeqʣ ม׵ ղऍɾ࣮ߦ
48. ໋ྩγʔέϯεΛݟͯΈΔ 🔍 https://docs.ruby-lang.org/ja/latest/class/RubyVM=3a=3aInstructionSequence.html RubyVM::InstructionSequence Ϋϥε͸ ໋ྩγʔέϯεʢISeqʣΛද͢Ϋϥε disassemble ϝιουͰਓ͕ؒಡΊΔจࣈྻʹ ม׵ͯ͘͠ΕΔ
49. ໋ྩγʔέϯεΛݟͯΈΔ 🔍 ISeqͷதʹϝιου͕ఆٛ͞ΕͨϑΝΠϧ΍ ߦ൪߸Λ͍࣋ͬͯΔ source_location͸ɺISeq ͷதʹ͋Δ ϝιουͷఆٛ৔ॴͷ৘ใΛฦ͍ͯ͠Δ
50. 💡໋ྩγʔέϯεͱ source_location • Ruby ͷϝιου͸ఆٛ࣌ʹ໋ྩγʔέϯεʢISeqʣʹ ม׵͞ΕΔ • ISeq ʹ͸ɺϝιουͷఆٛϑΝΠϧ΍ߦ൪߸ͳͲͷ৘ ใؚ͕·Ε͍ͯΔ • ௨ৗͷϝιουͷ৔߹ɺsource_location ͸ ISeq ͔Βఆ ٛ৔ॴΛऔಘͯ͠ฦ͢ 💡
51. 3. Θ͔ͬͨ͜ͱ 💡
52. 💡source_location ͕ฦ͢৘ใ͸ ϝιουͷछྨ ϝιουఆٛ৔ॴΛ͍࣋ͬͯΔ৔ॴ source_loc a tion ͷॲཧ ௨ৗͷϝιου ໋ྩγʔέϯεʢISeqʣ ໋ྩγʔέϯε͔Βϝιουఆٛ৔ ॴΛฦ͢ ଐੑΞΫηε༻ͷ ϝιου Ruby ͷϝιουͷఆٛ৘ใΛ֨ೲ͢ Δߏ଄ମʢrb_method_de f inition_tʣ ߏ଄ମ͔Βϝιουఆٛ৔ॴΛฦ͢
53. • Method#source_location ͸ɺϝιουͷఆٛ৘ใΛ ࣮ߦ࣌ʹಈతʹղੳ͢ΔͷͰ͸ͳ͘ɺ͋Β͔͡Ίϝ ιουఆٛ࣌ʹੜ੒͞Ε͍ͯΔ৘ใΛฦ͍ͯͨ͠ 💡 • Ruby Ͱ͸ɺϝιου͕Ͳ͜Ͱఆٛ͞Εͨͷ͔Λޙ ͔Β؆୯ʹ஌Δ͜ͱ͕Ͱ͖Δ͘͠Έ͕͋Δ ࢖͍৺஍΍ख৮Γ͕͍͍ Method#source_loc a tion͕ ΍ͬͺΓ޷͖ʂ
54. 4. ;Γ͔͑ͬͯ 🔭
55. ͸͡Ίͯ Ruby ͷίʔυΛͷ͍ͧͯΈͨ AI ʹ൐૸ͯ͠΋Βͬͨ ʮಡΜͩʯͱ͍͏ΑΓʮோΊΔʯʹ͍ۙମݧ ཧղͰ͖ͳ͍͜ͱ΋ଟ͍͚ΕͲ ৽͍͠ؾ͖ͮ΋ͨ͘͞Μ
56. Θ͔Βͳ͍͚Ͳͨͷ͍͠ Θ͔Βͳ͍͔Βͨͷ͍͠ 🙌
57. source_location Λ͖͔͚ͬʹ ·ͨҧ͏ Ruby ͷίʔυ΋ ಡΜͰ͍͖͍ͨ
58. ͋Γ͕ͱ͏͍͟͝·ͨ͠