![そして、メソッドは、実はforループで探索
して呼び出されている
int st_lookup(st_table *table, register st_data_t key, st_data_t *value){
...
st_index_t i;
for (i = 0; i < table->num_entries; i++) {
if ((st_data_t)table->bins[i*2] == key) {
if (value !=0) *value = (st_data_t)table->bins[i*2+1];
return 1;
}
}
...](https://image.slidesharecdn.com/ruby-130424094418-phpapp01/85/Ruby-14-320.jpg)
![st_insert解読
st_insertの定義は呼び出し先の挙動を見たほうが早い
実はループで重複を探して、重複したものが無ければメ
ソッド挿入をしているだけ
int st_insert(register st_table *table, register st_data_t key, st_data_t value){
...
for (i = 0; i < table->num_entries; i++) {
if ((st_data_t)table->bins[i*2] == key) {
table->bins[i*2+1] = (struct st_table_entry*)value;
return 1;
}
..
}](https://image.slidesharecdn.com/ruby-130424094418-phpapp01/85/Ruby-20-320.jpg)
![Kernel#include
● 次にKernel#includeの呼び出しを手繰る
● rb_define_private_method(rb_cModule, "include", rb_mod_include, -1); // eval.c
● rb_funcall(argv[argc], rb_intern("append_features"), 1, module);
● rb_include_module(VALUE include, VALUE module); // ここでつながる
rb_include_module で繋がる
２つは根が同じもの](https://image.slidesharecdn.com/ruby-130424094418-phpapp01/85/Ruby-24-320.jpg)
![● そして、st_lookupってdefine_methodの所で見
た！！
int st_lookup(st_table *table, register st_data_t key, st_data_t *value){
...
st_index_t i;
for (i = 0; i < table->num_entries; i++) {
if ((st_data_t)table->bins[i*2] == key) {
if (value !=0) *value = (st_data_t)table->bins[i*2+1];
return 1;
}
}
...](https://image.slidesharecdn.com/ruby-130424094418-phpapp01/85/Ruby-31-320.jpg)
Rubyのコードを読んでみよう(オブジェクト編)
- 2. さて今日のお題ですが
- 3. コレです
- 5. 具体的には ● モンキーパッチング ● eigenclass(self) ● Kernel#define_method ● Object#extend ● Kernel#include ● Object#method_missoing Etc...
- 7. 今回のお題 これらを手繰りながらrubyの ● クラスって何？ ● オブジェクトって何？ ● メソッドって何？ ” ”という 定義 を辿って行きましょう
- 10. クラスの作成(class.c) スタートはrb_class_new→rb_class_bootを呼 び出してここで初期化している VALUE rb_class_new(VALUE super) { Check_Type(super, T_CLASS); rb_check_inheritable(super); return rb_class_boot(super); }
- 11. rb_class_bootは継承先、継承元の設定をしてい るだけとっても素直な作り。 VALUE rb_class_boot(VALUE super){ VALUE klass = class_alloc(T_CLASS, rb_cClass); RCLASS_SUPER(klass) = super; RCLASS_M_TBL(klass) = st_init_numtable(); OBJ_INFECT(klass, super); return (VALUE)klass; }
- 12. マクロを展開していくと、RClassなるものが浮 いてくる VALUE rb_class_boot(VALUE super){ VALUE klass = class_alloc(T_CLASS, rb_cClass); R_CAST((RClass)(klass))->ptr->iv_tbl = super; R_CAST((RClass)(klass))->m_tbl = st_init_numtable(); OBJ_INFECT(klass, super); return (VALUE)klass; }
- 13. Rclass!! クラスの正体はここにある (rubyのオブジェクトを理解するにはここを起点にすると良い) struct RClass { struct RBasic basic; rb_classext_t *ptr; struct st_table *m_tbl; // メソッド関係一覧 struct st_table *iv_index_tbl; // インスタンス変数一覧 };
- 14. そして、メソッドは、実はforループで探索 して呼び出されている int st_lookup(st_table *table, register st_data_t key, st_data_t *value){ ... st_index_t i; for (i = 0; i < table->num_entries; i++) { if ((st_data_t)table->bins[i*2] == key) { if (value !=0) *value = (st_data_t)table->bins[i*2+1]; return 1; } } ...
- 17. Kernel#define_methodの解説 ● define_methodの定義はproc.cにあるのでそこ から順番に手繰る ● rb_define_private_method(rb_cModule, "define_method", rb_mod_define_method, -1); // proc.c ● rb_mod_define_method(int argc, VALUE *argv, VALUE mod) ● rb_method_entry_set(mod, id, method->me, noex); // vm_method.c ● rb_method_entry_make(VALUE klass, ID mid, rb_method_type_t type, rb_method_definition_t *def, rb_method_flag_t noex) ● st_insert(register st_table *table, register st_data_t key, st_data_t value)
- 18. st_insert(register st_table *table, register st_data_t key, st_data_t value) このメソッドの、st_tableって構造体 …何処かで見たような気が
- 19. メソッドの挿入をしているst_insert ● st_insert(register st_table *table, register st_data_t key, st_data_t value) このメソッドの、st_tableって構造体 …何処かで見たような気が struct RClass { struct RBasic basic; rb_classext_t *ptr; struct st_table *m_tbl; // メソッド関係一覧 struct st_table *iv_index_tbl; // インスタンス変数一覧 };
- 20. st_insert解読 st_insertの定義は呼び出し先の挙動を見たほうが早い 実はループで重複を探して、重複したものが無ければメ ソッド挿入をしているだけ int st_insert(register st_table *table, register st_data_t key, st_data_t value){ ... for (i = 0; i < table->num_entries; i++) { if ((st_data_t)table->bins[i*2] == key) { table->bins[i*2+1] = (struct st_table_entry*)value; return 1; } .. }
- 23. Kernel#include,Object#extend ● まずObject#extendの呼び出しを手繰ってみる 以下は呼び出し順 rb_define_method(rb_mKernel, "extend", rb_obj_extend, -1); // eval.c rb_mod_extend_object(VALUE mod, VALUE obj) rb_extend_object(VALUE obj, VALUE module) rb_include_module(VALUE klass, VALUE module)
- 24. Kernel#include ● 次にKernel#includeの呼び出しを手繰る ● rb_define_private_method(rb_cModule, "include", rb_mod_include, -1); // eval.c ● rb_funcall(argv[argc], rb_intern("append_features"), 1, module); ● rb_include_module(VALUE include, VALUE module); // ここでつながる rb_include_module で繋がる ２つは根が同じもの
- 25. rb_include_module内約 ● その内側は、実はスーパークラスの指定をしているだけ include_modules_at(VALUE klass, VALUE c, VALUE module){ /* 色々と事前のチェック */ c = RCLASS_SUPER(c) = rb_include_class_new(module, RCLASS_SUPER(c)); }
- 26. Module#prepend ● Ruby2.0で追加されたModule#prependでも似 たようなもの ● ” ” ” ”継承順のリストに 追記 ではなく 挿入 をして いるだけ ● 関数名は書いておくので興味があったら確認 してね ● rb_define_private_method(rb_cModule, "prepend", rb_mod_prepend, -1); // ./eval.c: rb_mod_prepend(int argc, VALUE *argv, VALUE module) rb_prepend_module(VALUE klass, VALUE module)
- 27. まとめ３ ● includeはModuleを使った継承 ● Kernel#includeとObject#extendは根っこは同じ ● Kernel#include、Object#extend、Module#prepe ndって実は継承順序の内側に挟みこみをして いるだけ
- 29. method_missing解説 メソッドの呼ばれ方(rb_call0)を探せば簡単 ./vm_eval.c ● static inline VALUE rb_call0(VALUE recv, ID mid, int argc, const VALUE *argv, call_type scope, VALUE self){ rb_method_entry_t *me = rb_search_method_entry(recv, mid); // method_missingでないメソッド rb_thread_t *th = GET_THREAD(); int call_status = rb_method_call_status(th, me, scope, self); if (call_status != NOEX_OK) { return method_missing(recv, mid, argc, argv, call_status); // ここでmethod_missingを読んでいる } stack_check(); return vm_call0(th, recv, mid, argc, argv, me); }
- 30. 普通のメソッドの場合 ● メソッド探索のの順を手繰っていくと ● rb_search_method_entry ● rb_method_entry ● rb_method_entry_get_without_cache ● search_method ● st_lookup(st_table *table, register st_data_t key, st_data_t *value) st_lookupに突き当たる
- 31. ● そして、st_lookupってdefine_methodの所で見 た！！ int st_lookup(st_table *table, register st_data_t key, st_data_t *value){ ... st_index_t i; for (i = 0; i < table->num_entries; i++) { if ((st_data_t)table->bins[i*2] == key) { if (value !=0) *value = (st_data_t)table->bins[i*2+1]; return 1; } } ...
- 32. まとめ ● vm_call0 関数でクラスを指定 ● Rclass を継承順に沿って探索 ● st_lookup 関数で内部のメソッドを探索 ● st_table 内部にあるメソッドを探す これがrubyのメソッド探索順序
- 33. まとめ ● クラスの定義 ● 継承順の定義 ● メソッドの定義 ● これらを合わせてメソッドの探索順を探した …ことになりましたが
- 35. 大事なこと ● 今までのコード rb_define_method でメソッド 名でgrep して、そこから手繰る事で、すべて やってこれました ● これだけでruby はほぼ解析可能です