Ruby yieldを使ったコードとProcオブジェクトを生成したコードで出力が違う

Question

ソースコード

def enjoy
  output = "Enjoy "
  yield
  puts output
end

enjoy { output << "Programming!"}

def enjoy
  output = "Enjoy "
  Proc.new { output << "Programming!"}.call
  puts output
end

enjoy

出力

Main.rb:7:in `block in <main>': undefined local variable or method `output' for main:Object (NameError)
	from Main.rb:3:in `enjoy'
	from Main.rb:7:in `<main>'

Enjoy Programming!

質問

1.上記二つのコードの出力結果が異なっている原因がわかりません。ブロックがProcオブジェクトへ変換されているのならこのようにしても同じになると思っています。

2.この原因について調べていたところ、手続きオブジェクトについてリファレンスには以下のように記載されていたのですが、あまり良く理解できませんでした。教えていただけると幸いです。

手続きオブジェクトとは

手続きオブジェクトとはブロックをコンテキスト(ローカル変数のスコープやスタックフレーム)とともにオブジェクトしたものです。Procクラスのインスタンスとして実現されています。ブロック内では、新たなスコープが導入されるとともに、外側のローカル変数を参照できます。

試したこと

ローカル変数をインスタンス変数に変えて実行したところ、予想通りの出力を得られました。

Answer 1

外側のローカル変数を参照できます。

とありますが、ブロック内から参照できるのは字句的に外側にあるローカル変数です。ブロックを呼び出したメソッドのローカル変数と結びつくわけではありません。

Answer 2

enjoy { output << "Programming!"}

outputという変数が未定義で、いきなり<<しているのでエラーです。

def enjoyの中で定義しているつもりかも知れませんが、それはメソッドのローカル変数です。
メソッドの外とは関係ないです。

手続きオブジェクトとは

外側のローカル変数を参照できます。

なので、

Proc.new { output << "Programming!"}.call

のブロック内のoutputはその外側（def enjoyの内側）のoutputと同じです。

意図通りのことをしたいのなら、outputというローカル変数じゃなくてグローバル変数にすると出来ます。

def enjoy
  $output = "Enjoy "
  yield
  puts $output
end

enjoy { $output << "Programming!"}

グローバル変数をこのように使うのは普通では無いですが。

普通は、ブロック引き数を使って、

def enjoy
  output = "Enjoy "
  yield output
  puts output
end

enjoy {|x| x << "Programming!"}

でしょうね。

Comments

[Tai4]

> outputという変数が未定義で、いきなり<<しているのでエラーです。
Procオブジェクトが実行されるのはcallされてからだと思うので、yieldの前でoutputを定義しておけば大丈夫だと思っていたのですが...

defined?を使ってみると、たしかに未定義なことが確認できました。
ただ、未定義になる理由がわからないです...

[otn]

プログラムにはクラスやメソッドという構造があります。
メソッド定義の中のローカル変数は、メソッドにローカルな変数です。

[Tai4]

yieldでProcオブジェクトが実行されるのであれば、
メソッド定義内で output << Programming! としていることにはやっぱりならないんですかね...?

[otn]

ブロックやメソッドは、それが書かれた環境で実行されます。
呼び出した側の環境で実行されるわけじゃいです。

[Tai4]

実行されるのはcallされてからではないのですか？
ブロックは実行される前にまず手続きオブジェクト(Procオブジェクト)に変換されてから、callされてやっと実行されるという認識なのですが...

```Ruby
def enjoy(&proc)
output = "Enjoy "
puts @output
end

enjoy { output << "Programming!" }
```
のようにしてもエラーを吐きませんでした。

解釈が違っていればすみません...

P.S.
マークダウン使えないの忘れてました。

もしかして、実行される場所のことをおっしゃっていたのですか？
それなら自分の解釈が間違ってますね... すみません

[otn]

> プログラムにはクラスやメソッドという構造があります。
> メソッド定義の中のローカル変数は、メソッドにローカルな変数です。
> ブロックやメソッドは、それが書かれた環境で実行されます。
> 呼び出した側の環境で実行されるわけじゃいです。

の意味が理解できないということでしょうか？

> 実行されるのはcallされてからではないのですか？

それは当たり前です。

> のようにしてもエラーを吐きませんでした。

ブロックが呼ばれないので、エラーにはなりません。
if false
puts xxxxxx
end
と未定義変数を実行されないところに書いてもエラーにならないのと同じです。

[Tai4]

> ブロックやメソッドは、それが書かれた環境で実行されます。
これを即実行と仰られているのかと勘違いしておりました。

callするとenjoyの行で実行されるという認識で大丈夫ですか？

[otn]

> > ブロックやメソッドは、それが書かれた環境で実行されます。
> これを即実行と仰られているのかと勘違いしておりました。

ああ、そういう誤読ですか。
「呼ばれないと実行されないのは当たり前」という大前提があるので。。。

> callするとenjoyの行で実行されるという認識で大丈夫ですか？

enjoyメソッド呼び出しの行ということであれば、その通りです。

他の言語だと、呼び出し時にブロックを直接書けないので、Rubyだとブロックに書くのと同内容の関数を引き数に渡しますが、それを「コールバック関数」と呼びます。呼び返してもらうと言うことで、Rubyのブロックも同じです。

> enjoy { output << "Programming!"}
で、enjoyを呼び出したけど、そのenjoyからブロックが呼び返されるということ。

[Tai4]

なるほど～
Ruby以外はほとんど触ったことがないので勉強になります。

しかし、callした環境で実行されるものだと勝手に思ってました...
自分の検索力が弱いのか中々調べてもそういうことは出てこなかったもので(苦笑)
今回は何回も質問してしまって申し訳ないです。回答ありがとうございました。

[otn]

呼んだ環境で実行しようとすると、eval系を使うしか無いでしょうね。
def enjoy(proc)
output = "Enjoy "
eval proc
puts output
end

enjoy 'output << "Programming!"'
調べるともうちょっとましな方法があるかも。