Bug #17764: ブロック付きメソッドにおけるproc(または Proc.new)の参照がArgumentErrorを吐く問題

• Status: Closed
• Assignee: -
• Target version: -
• ruby -v: ruby 3.0.0p0 (2020-12-25 revision 95aff21468) [x86_64-linux]
• Backport: 2.5: UNKNOWN, 2.6: UNKNOWN, 2.7: UNKNOWN, 3.0: UNKNOWN

[firelzrd (Masahito Suzuki)]

ブロック付きメソッドにおけるproc(または Proc.new)の参照がArgumentErrorを吐く問題
Ruby 3.0.0 linux x86-64およびWindows上のmingw-x86-64バイナリにて発生し、2.7.2-1ではいずれも発生しないことを確認済み。
また、2021/3/31現在、TryRubyサイト( https://try.ruby-lang.org/ ) の上でも発生することを確認済み。

def foo
  puts (block_given? ? proc : proc{"ブロックなし"}).call
end

# @ruby 3.0.0
foo #ブロックなし => "ブロックなし"
foo{"ブロックあり"} #ブロックあり => ArgumentError: tried to create Proc object without a block

# @ruby 2.7.2
foo #ブロックなし => "ブロックなし"
foo{"ブロックあり"} #ブロックあり => "ブロックあり"

[osyo (manga osyo)]

Ruby 3.0 からはブロック引数がない Proc.new / proc は ArgumentError になるようになりました。

ブロックを指定しない lambda は Ruby 2.6 までは警告メッセージ「warning: tried to create Proc object without a block」が出力され、Ruby 2.7 では ArgumentError (tried to create Proc object without a block) が発生します。
ブロックを指定しない proc は、Ruby 2.7 では $VERBOSE = true のときには警告メッセージ「warning: Capturing the given block using Proc.new is deprecated; use &block instead」が出力され、Ruby 3.0 では ArgumentError (tried to create Proc object without a block) が発生します。
https://docs.ruby-lang.org/ja/2.7.0/method/Kernel/m/lambda.html

• 関連PR:https://github.com/ruby/ruby/pull/3208

[firelzrd (Masahito Suzuki)]

ご返答ありがとうございます。

本件は「ブロックを指定しない proc」についてではなく「ブロックを指定した proc」がどうもバグっているのではないかと思い報告させていただきました。
ブロック付きでメソッドをコールしたとき、メソッド内ではblock_given?の値がtrueとなり、proc (またはProc.new)で渡されたブロックを参照可能なはずですが、
サンプルプログラムの挙動でもお分かりいただけるように、block_given?==trueの時のprocの参照がArgumentErrorを吐いているというものです。

以上、お力添えをいただければ幸いです。

osyo (manga osyo) wrote in #note-1:

Ruby 3.0 からはブロック引数がない Proc.new / proc は ArgumentError になるようになりました。

ブロックを指定しない lambda は Ruby 2.6 までは警告メッセージ「warning: tried to create Proc object without a block」が出力され、Ruby 2.7 では ArgumentError (tried to create Proc object without a block) が発生します。
ブロックを指定しない proc は、Ruby 2.7 では $VERBOSE = true のときには警告メッセージ「warning: Capturing the given block using Proc.new is deprecated; use &block instead」が出力され、Ruby 3.0 では ArgumentError (tried to create Proc object without a block) が発生します。
https://docs.ruby-lang.org/ja/2.7.0/method/Kernel/m/lambda.html

• 関連PR:https://github.com/ruby/ruby/pull/3208

[ko1 (Koichi Sasada)]

• Status changed from Open to Closed

ブロック付きメソッドの中でブロックなし proc したとき、エラーになるようになった、というのが、3.0 での変更点です。

def foo
  proc
end
foo{} #=> `proc': tried to create Proc object without a block (ArgumentError)

[firelzrd (Masahito Suzuki)]

ご返答ありがとうございます。
ご主旨、理解いたしました。ご教示ありがとうございます。お騒がせいたしました。

つきましては、差し支えなければ、
①ブロック引数として渡されたprocをメソッド内で変数として参照したい
②メソッド呼び出し時のブロック引数は省略可能にしておきたい
というニーズが両立する場合にどのようにすればよいか、ヒントをいただければ幸いです。

①を実現するだけならば&の付いたブロック引数を取ればよさそうですが…

あるメソッドにブロックが渡された場合にはprocをインスタンス変数に代入しておいて、後でcallbackする、という使い方を想定しています。
何卒ご教示を賜われれば幸いです。

以上よろしくお願いいたします。

ko1 (Koichi Sasada) wrote in #note-3:

ブロック付きメソッドの中でブロックなし proc したとき、エラーになるようになった、というのが、3.0 での変更点です。

def foo
  proc
end
foo{} #=> `proc': tried to create Proc object without a block (ArgumentError)

[osyo (manga osyo)]

firelzrd (Masahito Suzuki) wrote in #note-4:

ご返答ありがとうございます。
ご主旨、理解いたしました。ご教示ありがとうございます。お騒がせいたしました。

つきましては、差し支えなければ、
①ブロック引数として渡されたprocをメソッド内で変数として参照したい
②メソッド呼び出し時のブロック引数は省略可能にしておきたい
というニーズが両立する場合にどのようにすればよいか、ヒントをいただければ幸いです。

①を実現するだけならば&の付いたブロック引数を取ればよさそうですが…

あるメソッドにブロックが渡された場合にはprocをインスタンス変数に代入しておいて、後でcallbackする、という使い方を想定しています。
何卒ご教示を賜われれば幸いです。

以上よろしくお願いいたします。

やりたいこととしてはこういうことでしょうか？

def foo(&block)
  # ブロック引数がない場合は block は nil になる
  puts (block ? block : proc{"ブロックなし"}).call
end

foo #ブロックなし => "ブロックなし"
foo{"ブロックあり"} # ブロックあり => "ブロックあり"

[matz (Yukihiro Matsumoto)]

「メソッド呼び出し時のブロック引数は省略可能にしておきたい」という要求の正確な意味がわからなかったのですが、これが「引数リストに&blk変数を指定したくない」というものだとすれば、それは3.0からできなくなりました。これまではprocメソッドを引数なしで呼び出す方法でメソッドに渡されたブロックをProcとして取り出せていましたが、暗黙のコンテキスト参照が入りますし、読解の点からも望ましくないと考えての変更です。「&blk引数」を使ってください。それに、たぶんこっちのほうが高速です。

Matz.

[firelzrd (Masahito Suzuki)]

ご教示大変ありがとうございます。
希望した動作ができました。

恥ずかしながら、ブロック引数の指定がない場合に&blkがnilとなる挙動を把握できていませんでした。
さらに一時遅いと言われたことのある&引数は従来のprocよりも高速なのですね。勉強いたします。
諸兄のご親切に重ねて御礼申し上げます。

貴重なお時間をありがとうございました。

osyo (manga osyo) wrote in #note-5:

やりたいこととしてはこういうことでしょうか？

def foo(&block)
  # ブロック引数がない場合は block は nil になる
  puts (block ? block : proc{"ブロックなし"}).call
end

foo #ブロックなし => "ブロックなし"
foo{"ブロックあり"} # ブロックあり => "ブロックあり"

matz (Yukihiro Matsumoto) wrote in #note-6:

「メソッド呼び出し時のブロック引数は省略可能にしておきたい」という要求の正確な意味がわからなかったのですが、これが「引数リストに&blk変数を指定したくない」というものだとすれば、それは3.0からできなくなりました。これまではprocメソッドを引数なしで呼び出す方法でメソッドに渡されたブロックをProcとして取り出せていましたが、暗黙のコンテキスト参照が入りますし、読解の点からも望ましくないと考えての変更です。「&blk引数」を使ってください。それに、たぶんこっちのほうが高速です。

Matz.

[hsbt (Hiroshi SHIBATA)]

• Description updated (diff)