Project

General

Profile

Actions
Copy link

Feature #6993

closed

Class#allocate の仕様変更（Cレベル）

Added by ko1 (Koichi Sasada) over 12 years ago. Updated over 12 years ago.

Status:
Closed
Assignee:
nobu (Nobuyoshi Nakada)
Target version:
2.0.0
[ruby-dev:46121]

Description

=begin
　ささだです．

　現在，Class#new を呼び出すと，Class#allocate が呼ばれます．Class#allocate は，次のような特徴を持つ，ちょっと特殊なメソッドになっています．

  • 普通に定義しても Class#new からは使われない
  • 実際に動かす処理 func は rb_define_alloc_func(klass, func) として登録する
  • func は ID_ALLOCATOR という特殊なメソッド名で登録される（対応するシンボル名はなし，つまり rb_id2name(ID_ALLOCATOR) は NULL を返す
  • func は rb_funcall(klass, ID_ALLOCATOR, ...) で呼ばれる

これは，変な allocator を定義出来ないようにするための処置だったと思います（多分）．

他にも，

  • backtrace には現れない
  • set_trace_func ではスキップする

という特殊な処理をしており，Ruby からは見えないようになっています．ただし，set_trace_func には現れませんが，C で trace_func を登録すると呼べてしまう，という中途半端な感じになっています．

これについて，中田さんと協議したんですが，そもそも allocator function はメソッド呼び出し（rb_funcall）で呼ばないでもいいんでないか，という結論を得ました．具体的には，rb_classext_t に allocator function を登録するようにして，それを呼び出す，ということになります．

あり得る問題点としては，allocator function から super が出来ない，という話がありました．ただし，そんなことやる奴はいないだろう，ということで allocator function の制限とするのがいいのではないか，という議論になりました．

副次的な効果として，allocator function のためにメソッドフレームを積む必要がなくなり，ユーザ定義クラスの生成が若干速くなる，ということがあります．

なお，もう一方の選択肢としては，allocator function を backtrace や set_trace_func などで特別扱いしない，というものがありましたが，今まで見えなかったものが見えると互換性的にまずいかもしれない，という話がありました．

というわけで，こんな感じで（中田さんが）進めようと思うのですが，何かお気づきの点がありましたらご指摘下さい．

=end

Actions
Copy link

Also available in: Atom PDF

Like0
Like0Like0Like0Like0Like0Like0Like0Like0