ruby-dev

まつもと ゆきひろです

In message "[ruby-dev:137] Re: meta programming features"
    on 97/08/15, 石塚圭樹 <keiju@bc.mbn.or.jp> writes:

|けいじゅ＠日本ラショナルです.

|>  * 特異メソッドが定義されているオブジェクトに対しては特異メ
|>    ソッドを返し，そうでないオブジェクトに対しては通常のクラ
|  ^^^^^^^^
|  特異クラスですね?

です．間違いですね．

|この問題は,
|
|  class << foo ... end
|
|がある限り解決しないと思いますが...

これはclass << fooの構文内では仮想的なクラスを見せているだけ
だ，というモデルを採用することにします．つまり，現在の実装で
は特異クラスを使っているが言語の採用しているモデルでは必ずし
も特異クラスの存在する必要はないと言うことで．

ついでに，この仮想クラス(特異クラスのこと)のインスタンスを作
ることと，サブクラスを作ることを禁止するようにしましょうね．

|そういったわけで, Object#eval() も通常クラスへの登録が基本で良いと思う
|んですが...

というかやっぱり関数的な eval に求められる挙動とfoo.evalの形
で呼ばれることを想定した時に求められる挙動とではかなり違って
いるように思います．

たとえば定数アクセスを例にとると

  * 関数的アクセスの場合には呼ばれた時点での静的なスコープも
    参照して，「その場所にコードがあったのと同じ動作」を実現
    して欲しい．

  * メソッド的アクセスの場合には(そのインスタンス内部からの
    アクセスということで)適切な静的なスコープは存在しないだ
    けでなく，メソッド呼び出し元のスコープを参照するべきでは
    ない

という違いがあります．これは定数の定義や，メソッドやクラスな
どの定義に関してもいえることです．

ですから，「そのインスタンスのスコープでevalするメソッド」を
用意するにしても，現状のevalと共有することは(おそらく)不可能
だと思います．せめて，名前を変える必要があるのでは．

|特異メソッドが存在するか調べる方法があれば, foo.eval("def foo.f...")
|を使えるのですが...

foo.respond_to?("f") と foo.type.methods.include?("f") を組
み合わせると調べられるのでは?

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

Thread

Prev Next

In This Thread

Prev Next

[#34] [Bug] Class#superclass — shugo@... (maeda shugo)

[#47] Re: Module#attr specification (Re: boolean values) — WATANABE Hirofumi <watanabe@...>

[#49] Re: Nil is a subclass of Object? — shugo@... (maeda shugo)

[#50] Re: [ruby-list:3596] Module#attr specification (Re: boolean values) — keiju@... (石塚圭樹 )

[#53] About C struct who has references to ruby objects — shugo@... (maeda shugo)

[#58] Re: Nil is a subclass of Object? — matz@... (Yukihiro Matsumoto)

[#68] fail to compile on NEXTSTEP — le4441ms@... (maeda shugo)

[#78] [Bug] Socket#send, Socket#recvfrom — shugo@... (maeda shugo)

[#96] Re: meta programming features — keiju@... (石塚圭樹 )

[#97] Re: meta programming features — matz@... (Yukihiro Matsumoto)

[#99] Re: meta programming features — keiju@... (石塚圭樹 )

[#100] Re: singleton class — keiju@... (石塚圭樹 )

[#101] tail recursion (Re: LaTeX ruby documents) — matz@... (Yukihiro Matsumoto)

[#102] Re: meta programming features — matz@... (Yukihiro Matsumoto)

[#103] Re: tail recursion (Re: LaTeX ruby documents) — keiju@... (石塚圭樹 )

[#104] Re: meta programming features — keiju@... (石塚圭樹 )

[#105] Re: meta programming features — matz@... (Yukihiro Matsumoto)

[#106] Re: tail recursion (Re: LaTeX ruby documents) — matz@... (Yukihiro Matsumoto)

[#107] None — Hara Shin-ichiro <sinara@...>

[#108] Re: meta programming features — keiju@... (Keiju ISHITSUKA)

[#109] Re: meta programming features — keiju@...

[#110] Re: tail recursion (Re: LaTeX ruby documents) — keiju@... (石塚圭樹 )

[#111] [!?] local variable and accessor — "keiju@... (Keiju ISHITSUKA)" <keiju@...>

[#112] Re: tail recursion (Re: LaTeX ruby documents) — matz@... (Yukihiro Matsumoto)

[#113] Re: [!?] local variable and accessor — matz@... (Yukihiro Matsumoto)

[#114] Re: meta programming features — matz@... (Yukihiro Matsumoto)

[#115] Re: meta programming features — WATANABE Hirofumi <watanabe@...>

[#116] Re: meta programming features — matz@... (Yukihiro Matsumoto)

[#117] Re: tail recursion (Re: LaTeX ruby documents) — keiju@... (石塚圭樹 )

[#118] Re: [!?] local variable and accessor — keiju@... (石塚圭樹 )

[#121] Re: meta programming features — keiju@... (石塚圭樹 )

[#123] ruby 1.1 alpha0 released — matz@... (Yukihiro Matsumoto)

[#127] tracer — keiju@... (Keiju ISHITSUKA)

[#167] argument default value — shugo@... (前田 修吾 / maeda shugo)

[#178] ruby 1.1 alpha1 released — matz@... (Yukihiro Matsumoto)

[#180] Re: [ruby-list:3709] Re: new sync.rb release — keiju@... (石塚圭樹 )

[#181] Class#eval [Re: ftplib.rb revision 1.4] — keiju@... (石塚圭樹 )

[#185] Re: [ruby-list:3720] Re: Class#eval [Re: ftplib.rb revision 1.4] — keiju@... (石塚圭樹 )

[#189] include [Re: new sync.rb release] — keiju@... (石塚圭樹 )

[#206] ruby for mswin32 — KIMURA Koichi <kkimura@...>

[#221] '@' in yylex() — keiju@... (Keiju ISHITSUKA)

[#226] reame.nt — KIMURA Koichi <kkimura@...>

[#228] How to handle Struct — Eiji-usagi-MATSUmoto <ematsu@...>

[#232] ruby for mswin32 1.1a1差分 — KIMURA Koichi <kkimura@...>

[#254] ruby 1.1a2 released — matz@... (Yukihiro Matsumoto)

[#255] BOW — WATANABE Hirofumi <watanabe@...>

[#257] [BUG] MLF — keiju@... (Keiju ISHITSUKA)

[#265] Re: undef class [Re: require exit[Re: SyslogSendmail class]] — keiju@... (石塚圭樹 )

[#272] [Bug] default argument value — shugo@... (前田 修吾 / maeda shugo)

[#276] Re: SyslogSendmail class — matz@... (Yukihiro Matsumoto)

[#288] ruby 1.1 alpha3 released — matz@... (Yukihiro Matsumoto)

[#291] illegal here document — shugo@... (前田 修吾 / maeda shugo)

[#309] [BUG] method index — keiju@... (Keiju ISHITSUKA)

[#313] ruby 1.1a4 released — matz@... (Yukihiro Matsumoto)

[#318] subscribe — dai@... (Daisuke Yamazaki)

[#330] [BUG] Module#methods — keiju@... (Keiju ISHITSUKA)

[#340] [BUG?] alias — keiju@... (Keiju ISHITSUKA)

[#341] [BUG] methods in module_eval — keiju@... (Keiju ISHITSUKA)

[ruby-dev:146] Re: meta programming features

Thread

In This Thread

[#167] argument default value — shugo@... (前田修吾 / maeda shugo)

[#272] [Bug] default argument value — shugo@... (前田修吾 / maeda shugo)

[#291] illegal here document — shugo@... (前田修吾 / maeda shugo)