Ruby » ruby-trunk

String#=== を再定義するだけで再現できました。

$ ruby -ve '
class String
  def ===(other)
    self == other
  end
end
case ""             
when ""     
end'
ruby 1.9.2dev (2010-03-15 trunk 26937) [x86_64-darwin10.2.0]
-e:3: warning: method redefined; discarding old ===
-e:7:in `<main>': method `===' called on hidden T_STRING object (0x0000010085be60 flags=0x500805 klass=0x0) (NotImplementedError)

ソラです。
1.9.2devと1.9.1で例外メッセージが異なるようです。参考にも。
--
% ruby -ve '
class String
  def ===(other)
    self == other
  end
end
case ""
when ""
end'          
ruby 1.9.1p378 (2010-01-10 revision 26273) [i386-darwin10.2.0]
-e:3: warning: method redefined; discarding old ===
-e:7:in `<main>': method `===' called on terminated object (0x00000101028870) (NotImplementedError)
---
% ruby192 -ve '
class String
  def ===(other)
    self == other
  end
end
case ""
when ""
end'
ruby 1.9.2dev (2010-03-15 trunk 26939) [x86_64-darwin10.2.0]
-e:3: warning: method redefined; discarding old ===
-e:7:in `<main>': method `===' called on hidden T_STRING object (0x0000010085c4c8 flags=0x500805 klass=0x0) (NotImplementedError)

1.9.2dev は以下の patch で直りました。
修正の方向性が正しければコミットします。
如何でしょう？

diff --git a/compile.c b/compile.c
index 1db4e9c..b47999b 100644
--- a/compile.c
+++ b/compile.c
@@ -4426,7 +4426,7 @@ iseq_compile_each(rb_iseq_t *iseq, LINK_ANCHOR *ret, NODE * node, int poped)
       case NODE_STR:{
 	debugp_param("nd_lit", node->nd_lit);
 	if (!poped) {
-	    hide_obj(node->nd_lit);
+	    OBJ_FREEZE(node->nd_lit);
 	    ADD_INSN1(ret, nd_line(node), putstring, node->nd_lit);
 	}
 	break;

いや、ここは小手先の修正ではなくきちんと設計されているべき所です。
#1137の議論を読み返していただくとよいのですが、リテラルの文字列がObjectSpaceから弄れちゃうよという問題があって、

1) freezeすればいいじゃん
2) そもそもObjectSpaceから見えているのは根本的にまずい

という主張が争った結果、現在は2を採用しているのですね。したがって1に持っていくならまず「2がかっこいい」とするまつもとさんを説得するなどの必要があります。

あと仮に1に振るならその他のhide_objしている箇所をどうするべきかも考慮の対象になるでしょう。

　ささだです．

(2010/03/16 8:21), Shyouhei Urabe wrote::
> いや、ここは小手先の修正ではなくきちんと設計されているべき所です。
> #1137の議論を読み返していただくとよいのですが、リテラルの文字列がObjectSpaceから弄れちゃうよという問題があって、
> 
> 1) freezeすればいいじゃん
> 2) そもそもObjectSpaceから見えているのは根本的にまずい
> 
> という主張が争った結果、現在は2を採用しているのですね。したがって1に持っていくならまず「2がかっこいい」とするまつもとさんを説得するなどの必要があります。
> 
> あと仮に1に振るならその他のhide_objしている箇所をどうするべきかも考慮の対象になるでしょう。

　1 でも問題無いような気がするので，1 に統一するのはどうでしょうか．2
は，私もかっこいいと思うのですが，感覚的にそう思う以外に利点はなさそうに
思います．すでにこういう困った例も出てきているわけですし．

-- 
// SASADA Koichi at atdot dot net

putstringのオペランドをVALUEじゃない何かにすればいいんじゃないですか?
void*, size_t, rb_encoding* のtupleとか。

String に限らず、=== が再定義されるだけで発生します。
隠しオブジェクト用のメソッドテーブルが必要なんじゃないでしょうか？

$ ruby -ve '
class Float
  def ===(x)
    true
  end
end
case true
when ""
end'
ruby 1.9.2dev (2010-03-17 trunk 26960) [x86_64-darwin10.2.0]
-e:1: warning: method redefined; discarding old ===
-e:1:in `<main>': method `===' called on hidden T_STRING object (0x00000100856f00 flags=0x500805 klass=0x0) (NotImplementedError)

まつもと ゆきひろです

In message "Re: [ruby-dev:40877] [Bug #2965] method `===' called on hidden T_STRING object (NotImplementedError)"
    on Wed, 31 Mar 2010 18:51:12 +0900, Shyouhei Urabe <redmine@ruby-lang.org> writes:

|本件は1.9.2までに改善されるべきだと思います。
|いろいろなやり方がありえそうですが、費用対効果でいうととりあえずfreezeするほうに全部倒すというのが現実的でしょうか。

賛成します。