ruby-dev

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

In [ruby-dev :00146 ] the message: "[ruby-dev:146] Re: meta
programming features ", on Aug/17 02:01(JST) matz@netlab.co.jp
(Yukihiro Matsumoto) writes:

>まつもと ゆきひろです

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

了解しました. ということは, rubyの用語(実装上の用語を省く)上では特異ク
ラスという言葉はなくなるんですね?

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

あ. そうするんですか. まあ, 本来できるべきではないですしね.

クラス定数はどうします? 仮想的なクラスとなるとクラス定数を持つのも変か
なという気もしますが?? まあ存在するとしても, 特異メソッドと同じく特異
クラス定数であると考えればいいのかな?

# 私は残しておいて欲しいんですけどね.

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

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

>たとえば定数アクセスを例にとると
>  * 関数的アクセスの場合には呼ばれた時点での静的なスコープも
>    参照して，「その場所にコードがあったのと同じ動作」を実現
>    して欲しい．
>  * メソッド的アクセスの場合には(そのインスタンス内部からの
>    アクセスということで)適切な静的なスコープは存在しないだ
>    けでなく，メソッド呼び出し元のスコープを参照するべきでは
>    ない

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

メソッド的アクセスのevalの仕様に関しては, なるほど最もという点が多いん
ですが...

前に議論のあった, Module#evalは, 

  * ローカル変数は静的スコープで共有
  * クラス定数は静的スコープで参照可能(selfのクラス定数優先)

という仕様になったと思いますが, この仕様と上記のメソッドevalの仕様とが
食い違っているのが気になるんですけど.

少なくとも静的スコープでのローカル変数と共有しないと嬉しさ半減ですよね
え...

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

うーん....

>|特異メソッドが存在するか調べる方法があれば, foo.eval("def foo.f...")
>|を使えるのですが...
>
>foo.respond_to?("f") と foo.type.methods.include?("f") を組
>み合わせると調べられるのでは?

特異メソッドfoo.fは存在するが, メソッドFoo#fが存在しない場合は, 分かる
と思いますが, メソッドFoo#fが存在している時に特異メソッドfoo.fが存在す
るかどうかは分からないのでは?

__
..........................................石塚 圭樹＠日本ラショナル...
----------------------------------->> e-mail: keiju@bc.mbn.or.jp <<---

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:148] 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)