Bug #4536: 定数参照について1.8と1.9の違い

• Status: Closed
• Assignee: matz (Yukihiro Matsumoto)
• Target version: -
• ruby -v: -

[matz (Yukihiro Matsumoto)]

=begin
以下のプログラムは1.8ではエラーになりますが、1.9ではエラーを
示さず動作します。定数参照は(できるだけ)静的スコープで、とい
う設計方針に従えば、1.8の方が正しいと思います。

どうやって直したら良いと思いますか？ あるいは直さずに今後は
1.9的挙動が正としますか？

module A
B = 42
end

A.class_eval do
def self.f
p B
end
end

A.f

=end

[ko1 (Koichi Sasada)]

• ruby -v changed from ruby 1.9.3dev (2011-03-29 trunk 31207) [i686-linux] to -

=begin
　ささだです．

(2011/03/29 17:41), Yukihiro Matsumoto wrote:

以下のプログラムは1.8ではエラーになりますが、1.9ではエラーを
示さず動作します。定数参照は(できるだけ)静的スコープで、とい
う設計方針に従えば、1.8の方が正しいと思います。

どうやって直したら良いと思いますか？ あるいは直さずに今後は
1.9的挙動が正としますか？

module A
B = 42
end

A.class_eval do
def self.f
p B
end
end

A.f

module A; B = 42; end
A.class_eval{p B}
#=> `block in ': uninitialized constant Module::B (NameError)

なので，それが動くのはまずいかもしれませんね．少し考えさせてください．

しかし，なんで Module::B なんだ．

--
// SASADA Koichi at atdot dot net
=end

[ko1 (Koichi Sasada)]

=begin
　ささだです．

(2011/03/29 17:41), Yukihiro Matsumoto wrote:

以下のプログラムは1.8ではエラーになりますが、1.9ではエラーを
示さず動作します。定数参照は(できるだけ)静的スコープで、とい
う設計方針に従えば、1.8の方が正しいと思います。

どうやって直したら良いと思いますか？ あるいは直さずに今後は
1.9的挙動が正としますか？

module A
B = 42
end

A.class_eval do
def self.f
p B
end
end

A.f

module A; B = 42; end
A.class_eval{p B}
#=> `block in ': uninitialized constant Module::B (NameError)

なので，それが動くのはまずいかもしれませんね．少し考えさせてください．

しかし，なんで Module::B なんだ．

--
// SASADA Koichi at atdot dot net
=end

[shugo (Shugo Maeda)]

=begin
前田です。

2011年3月29日17:55 SASADA Koichi [e-mail]:

module A; B = 42; end
A.class_eval{p B}
#=> `block in ': uninitialized constant Module::B (NameError)

なので，それが動くのはまずいかもしれませんね．少し考えさせてください．

以下のようにCOPY_CREFでフラグを伝搬させるとこの部分に関しては1.8と同じ動作になるようです。

diff --git a/vm_insnhelper.h b/vm_insnhelper.h
index 979c342..31ef216 100644
--- a/vm_insnhelper.h
+++ b/vm_insnhelper.h
@@ -154,6 +154,9 @@ extern VALUE ruby_vm_const_missing_count;
(c1)->nd_clss = __tmp_c2->nd_clss;
(c1)->nd_visi = __tmp_c2->nd_visi;
(c1)->nd_next = __tmp_c2->nd_next; \

• if (__tmp_c2->flags & NODE_FL_CREF_PUSHED_BY_EVAL) { \

•  (c1)->flags |= NODE_FL_CREF_PUSHED_BY_EVAL; \
  

• }
  } while (0)

#define CALL_METHOD(num, blockptr, flag, id, me, recv) do { \

あんまりちゃんと考えてないので副作用があるかも。

しかし，なんで Module::B なんだ．

こっちはまだ見てませんが、何なんでしょうね…。

--
Shugo Maeda
=end

[shugo (Shugo Maeda)]

=begin
前田です。

2011年3月29日17:55 SASADA Koichi [e-mail]:

module A; B = 42; end
A.class_eval{p B}
#=> `block in ': uninitialized constant Module::B (NameError)

なので，それが動くのはまずいかもしれませんね．少し考えさせてください．

以下のようにCOPY_CREFでフラグを伝搬させるとこの部分に関しては1.8と同じ動作になるようです。

diff --git a/vm_insnhelper.h b/vm_insnhelper.h
index 979c342..31ef216 100644
--- a/vm_insnhelper.h
+++ b/vm_insnhelper.h
@@ -154,6 +154,9 @@ extern VALUE ruby_vm_const_missing_count;
(c1)->nd_clss = __tmp_c2->nd_clss;
(c1)->nd_visi = __tmp_c2->nd_visi;
(c1)->nd_next = __tmp_c2->nd_next; \

• if (__tmp_c2->flags & NODE_FL_CREF_PUSHED_BY_EVAL) { \

•  (c1)->flags |= NODE_FL_CREF_PUSHED_BY_EVAL; \
  

• }
  } while (0)

#define CALL_METHOD(num, blockptr, flag, id, me, recv) do { \

あんまりちゃんと考えてないので副作用があるかも。

しかし，なんで Module::B なんだ．

こっちはまだ見てませんが、何なんでしょうね…。

--
Shugo Maeda
=end

[ko1 (Koichi Sasada)]

=begin
　ささだです．

(2011/03/29 18:37), Shugo Maeda wrote:

以下のようにCOPY_CREFでフラグを伝搬させるとこの部分に関しては1.8と同じ動作になるようです。

diff --git a/vm_insnhelper.h b/vm_insnhelper.h
index 979c342..31ef216 100644
--- a/vm_insnhelper.h
+++ b/vm_insnhelper.h
@@ -154,6 +154,9 @@ extern VALUE ruby_vm_const_missing_count;
(c1)->nd_clss = __tmp_c2->nd_clss;
(c1)->nd_visi = __tmp_c2->nd_visi;
(c1)->nd_next = __tmp_c2->nd_next; \

• if (__tmp_c2->flags & NODE_FL_CREF_PUSHED_BY_EVAL) { \

•  (c1)->flags |= NODE_FL_CREF_PUSHED_BY_EVAL; \
  

• }
  } while (0)

#define CALL_METHOD(num, blockptr, flag, id, me, recv) do { \

あんまりちゃんと考えてないので副作用があるかも。

　おお，知らないところだ :)　テストが通るのならいいんでないでしょうか．

--
// SASADA Koichi at atdot dot net
=end

[ko1 (Koichi Sasada)]

=begin
　ささだです．

(2011/03/29 18:37), Shugo Maeda wrote:

以下のようにCOPY_CREFでフラグを伝搬させるとこの部分に関しては1.8と同じ動作になるようです。

diff --git a/vm_insnhelper.h b/vm_insnhelper.h
index 979c342..31ef216 100644
--- a/vm_insnhelper.h
+++ b/vm_insnhelper.h
@@ -154,6 +154,9 @@ extern VALUE ruby_vm_const_missing_count;
(c1)->nd_clss = __tmp_c2->nd_clss;
(c1)->nd_visi = __tmp_c2->nd_visi;
(c1)->nd_next = __tmp_c2->nd_next; \

• if (__tmp_c2->flags & NODE_FL_CREF_PUSHED_BY_EVAL) { \

•  (c1)->flags |= NODE_FL_CREF_PUSHED_BY_EVAL; \
  

• }
  } while (0)

#define CALL_METHOD(num, blockptr, flag, id, me, recv) do { \

あんまりちゃんと考えてないので副作用があるかも。

　おお，知らないところだ :)　テストが通るのならいいんでないでしょうか．

--
// SASADA Koichi at atdot dot net
=end

[matz (Yukihiro Matsumoto)]

=begin
まつもと ゆきひろです

テストでエラーが増えないようならコミットしていただけませんか？

In message "Re: [ruby-dev:43367] Re: [Ruby 1.9 - Bug #4536][Open] 定数参照について1.8と1.9の違い"
on Tue, 29 Mar 2011 18:37:47 +0900, Shugo Maeda [e-mail] writes:
|
|前田です。
|
|2011年3月29日17:55 SASADA Koichi [e-mail]:
|> module A; B = 42; end
|> A.class_eval{p B}
|> #=> `block in ': uninitialized constant Module::B (NameError)
|>
|> なので，それが動くのはまずいかもしれませんね．少し考えさせてください．
|
|以下のようにCOPY_CREFでフラグを伝搬させるとこの部分に関しては1.8と同じ動作になるようです。
|
|diff --git a/vm_insnhelper.h b/vm_insnhelper.h
|index 979c342..31ef216 100644
|--- a/vm_insnhelper.h
|+++ b/vm_insnhelper.h
|@@ -154,6 +154,9 @@ extern VALUE ruby_vm_const_missing_count;
| (c1)->nd_clss = __tmp_c2->nd_clss;
| (c1)->nd_visi = __tmp_c2->nd_visi;
| (c1)->nd_next = __tmp_c2->nd_next;
|+ if (__tmp_c2->flags & NODE_FL_CREF_PUSHED_BY_EVAL) {
|+ (c1)->flags |= NODE_FL_CREF_PUSHED_BY_EVAL;
|+ }
| } while (0)
|
| #define CALL_METHOD(num, blockptr, flag, id, me, recv) do {
|
|あんまりちゃんと考えてないので副作用があるかも。
|
|> # しかし，なんで Module::B なんだ．
|
|こっちはまだ見てませんが、何なんでしょうね…。
|
|--
|Shugo Maeda
=end

[matz (Yukihiro Matsumoto)]

=begin
まつもと ゆきひろです

テストでエラーが増えないようならコミットしていただけませんか？

In message "Re: [ruby-dev:43367] Re: [Ruby 1.9 - Bug #4536][Open] 定数参照について1.8と1.9の違い"
on Tue, 29 Mar 2011 18:37:47 +0900, Shugo Maeda [e-mail] writes:
|
|前田です。
|
|2011年3月29日17:55 SASADA Koichi [e-mail]:
|> module A; B = 42; end
|> A.class_eval{p B}
|> #=> `block in ': uninitialized constant Module::B (NameError)
|>
|> なので，それが動くのはまずいかもしれませんね．少し考えさせてください．
|
|以下のようにCOPY_CREFでフラグを伝搬させるとこの部分に関しては1.8と同じ動作になるようです。
|
|diff --git a/vm_insnhelper.h b/vm_insnhelper.h
|index 979c342..31ef216 100644
|--- a/vm_insnhelper.h
|+++ b/vm_insnhelper.h
|@@ -154,6 +154,9 @@ extern VALUE ruby_vm_const_missing_count;
| (c1)->nd_clss = __tmp_c2->nd_clss;
| (c1)->nd_visi = __tmp_c2->nd_visi;
| (c1)->nd_next = __tmp_c2->nd_next;
|+ if (__tmp_c2->flags & NODE_FL_CREF_PUSHED_BY_EVAL) {
|+ (c1)->flags |= NODE_FL_CREF_PUSHED_BY_EVAL;
|+ }
| } while (0)
|
| #define CALL_METHOD(num, blockptr, flag, id, me, recv) do {
|
|あんまりちゃんと考えてないので副作用があるかも。
|
|> # しかし，なんで Module::B なんだ．
|
|こっちはまだ見てませんが、何なんでしょうね…。
|
|--
|Shugo Maeda
=end

[shugo (Shugo Maeda)]

=begin
前田です。

2011年3月30日8:28 Yukihiro Matsumoto [e-mail]:

テストでエラーが増えないようならコミットしていただけませんか？

test/ruby/test_defined.rbが失敗するようになりましたが、このバグに依存した
テストだったのでclass_evalを使わないように修正してcommitしました。

--
Shugo Maeda
=end

[shugo (Shugo Maeda)]

=begin
前田です。

2011年3月30日8:28 Yukihiro Matsumoto [e-mail]:

テストでエラーが増えないようならコミットしていただけませんか？

test/ruby/test_defined.rbが失敗するようになりましたが、このバグに依存した
テストだったのでclass_evalを使わないように修正してcommitしました。

--
Shugo Maeda
=end

[shugo (Shugo Maeda)]

=begin
前田です。

2011年3月29日18:37 Shugo Maeda [e-mail]:

しかし，なんで Module::B なんだ．

こっちはまだ見てませんが、何なんでしょうね…。

vm_get_ev_const()の中でroot_crefが正しく設定されないケースが
あったせいのようです。
修正したところ、test_eval.rbの以下のテストが失敗するようになりましたが、
テストの方を修正してcommit (r31221)しました。

assert_equal %q{C}, %q{
Const = :top
class C
Const = :Cq
end
C.class_eval{
def m
Const
end
}
C.new.m
}

--
Shugo Maeda
=end

[shugo (Shugo Maeda)]

=begin
前田です。

2011年3月29日18:37 Shugo Maeda [e-mail]:

しかし，なんで Module::B なんだ．

こっちはまだ見てませんが、何なんでしょうね…。

vm_get_ev_const()の中でroot_crefが正しく設定されないケースが
あったせいのようです。
修正したところ、test_eval.rbの以下のテストが失敗するようになりましたが、
テストの方を修正してcommit (r31221)しました。

assert_equal %q{C}, %q{
Const = :top
class C
Const = :Cq
end
C.class_eval{
def m
Const
end
}
C.new.m
}

--
Shugo Maeda
=end

[ko1 (Koichi Sasada)]

• Status changed from Open to Feedback
• Assignee set to shugo (Shugo Maeda)

これは閉じてもいいでしょうか．

[shugo (Shugo Maeda)]

• Assignee changed from shugo (Shugo Maeda) to matz (Yukihiro Matsumoto)

Koichi Sasada wrote:

これは閉じてもいいでしょうか．

まつともさんがこれでいいならいいと思います。
というわけでまつもとさんにアサインしました。

[matz (Yukihiro Matsumoto)]

• Status changed from Feedback to Closed