Project

General

Profile

Bug #14817

TracePoint#parameters for bmethod's return event should return the same value as its Method#parameters

Added by ktsj (Kazuki Tsujimoto) 4 months ago. Updated about 1 month ago.

Status:
Feedback
Priority:
Normal
Target version:
ruby -v:
ruby 2.6.0dev (2018-06-03 master 63562) [x86_64-linux]
[ruby-dev:50558]

Description

define_methodしたメソッド(bmethod)のcall/returnイベント中にTracePoint#parametersを呼び出すと
以下の結果となります。

$ cat t.rb
define_method(:bm) {|a|}

p method_parameters: method(:bm).parameters

trace = TracePoint.new(:call, :return){|tp|
  mid = tp.method_id
  if mid == :bm
    p mid: mid, event: tp.event, tp_parameters: tp.parameters
  end
}
trace.enable{
  bm(0)
}

$ ruby -v t.rb
ruby 2.6.0dev (2018-06-03 master 63562) [x86_64-linux]
{:method_parameters=>[[:req, :a]]}
{:mid=>:bm, :event=>:call, :tp_parameters=>[[:req, :a]]}
{:mid=>:bm, :event=>:return, :tp_parameters=>[]}         #=> expected: {:mid=>:bm, :event=>:return, :tp_parameters=>[[:req, :a]]}

現状、callイベントに限ってその戻り値がbmethodのMethod#parametersの呼び出し結果と一致しますが
returnイベント時も同様となるべきだと思います。

History

#1 [ruby-dev:50559] Updated by mame (Yusuke Endoh) 4 months ago

TracePoint#parameters の問題ではなく、define_method + TracePoint 全般の問題のようです。

define_method(:bm) {|a|}

trace = TracePoint.new(:call, :return){|tp|
  p [tp.event, tp.lineno] if tp.method_id == :bm
}
trace.enable{
  bm(0)
}
$ ./miniruby test.rb
[:call, 1]
[:return, 7] #=> [:return, 1] になるべき?

#2 [ruby-dev:50560] Updated by mame (Yusuke Endoh) 4 months ago

  • Assignee changed from mame (Yusuke Endoh) to ko1 (Koichi Sasada)

invoke_bmethod で vm_exec が終わったあとに EXEC_EVENT_HOOK(ec, RUBY_EVENT_RETURN, ...) するため、このような挙動になっているようです。
これは仕様でしょうか。とりあえずささださんに振ります。

#3 [ruby-dev:50622] Updated by ko1 (Koichi Sasada) about 1 month ago

見逃してました。

これ、実装見てたら、どーしょーもない気がするんで、制限のある仕様、ってことで駄目でしょうか。駄目かなあ。実装アイディア募集。

#4 Updated by ko1 (Koichi Sasada) about 1 month ago

  • Status changed from Assigned to Feedback

Also available in: Atom PDF