[ruby-dev:10334] Re: [REQ] print a warning message for overriding Object#__id__

まつもと ゆきひろです

In message "[ruby-dev:10330] Re: [REQ] print a warning message for overriding Object#__id__"
    on 00/07/15, Hideto ISHIBASHI <[e-mail]> writes:

|> |* Object#id, __id__ の再定義に警告してほしい
|
|> |__id__ を再定義するのは、やばいですよね。
|> 
|> そうですね。考えてみましょう。
|
|よろしくお願いします :-)
|
|さらに思い出しました。__send__ や _id2ref なども、
|その警告の対象として適当だと思います。

__send__はそうですね。_id2refはObjectSpaceだけにあるメソッド
なので、警告対象にはならないと思います。

|ところで、デフォルトの Object#id/__id__ の定義は、
|: VALUE
|: rb_obj_id(obj)
|:     VALUE obj;
|: {
|:     if (rb_special_const_p(obj)) {
|: 	return INT2NUM((long)obj);
|:     }
|:     return (long)obj|FIXNUM_FLAG;
|: }
|となっていますが、この Object#id の仕様は、
|言語仕様に限りなく近いものなのでしょうか？
|そうでしたら、リファレンスなどに明記されるとありがたいです。
|この定義により、Ruby スクリプトのバグの可能性があるからです。

形式的な仕様という観点からはこれを仕様とは思っていません。id
の仕様はあくまでもオブジェクト固有の整数という点だけです。た
だし、再利用される可能性については言及した方が良いかもしれま
せん。

|> ですよねえ。ま、 require 'final' していただければ、それを直
|> 接見ることはないと思います。ほんとはこれを組込みにするべきで
|> したね。
|
|なるほど。たしかに Ruby 本でも require 'final' ですしね。
|あまり一般ユーザには関係ないわけですね。

しかも、さっき require 'final' 相当をインタプリタに組み込ん
じゃいました。これで call_finalizer を呼び出すと警告が出ます。

                                    まつもと ゆきひろ /:|}