どうしてそういった挙動になるのか理解できない件

Question

Rubyの技術者試験の勉強をしていて理解できないことがあったので、質問します。

def hoge
  x = 0
  (1...5).each do |i|
    x += 1
  end
  x
end
puts hoge

hogeを出力すると4と表示されるのですが、個人的には0が表示されると思いました。
理由としてはブロック引数に渡されているiがブロックの中にないため、eachが回らないと考えたからです。
そこでブロックの中身をi += 1に書き換えた結果、出力結果が0になりました。

なぜブロック引数と、そのブロックに入っている変数が違うのに、eachが動作しているのでしょうか。
よろしくお願いします。

Answer 1

hogeを出力すると4と表示されるのですが、個人的には0が表示されると思いました。

初期値0で、4回+1してるので、4です。

理由としてはブロック引数に渡されているiがブロックの中にないため、eachが回らないと考えたからです。

ブロック引数を使おうが使うまいが、そもそもブロック引数宣言を省略しようが、ループが回るかどうかには関係ないです。

そこでブロックの中身をi += 1に書き換えた結果、出力結果が0になりました。

xに対しての代入が最初のx=0しかないのだったら、ずっと0のままなのは当然です。

なぜブロック引数と、そのブロックに入っている変数が違うのに、eachが動作しているのでしょうか。

よろしくお願いします。

ブロックの中では、ブロック引数以外の変数がたくさん出てきますよ。見たこと無いでしょうか？

わざとらしい例ですが、

sum = 0
(1..10).each do |i|
  i2 = i*2
  sum += i2
end
p sum #=> 110 ブロックの外で定義された変数は中でも有効。
p i   #=> これはエラー。iはブロック内のみの変数なので、抜けたら未定義。
p i2  #=> これもエラー。理由は同上。

さらにわざとらしいですが、ブロック引数をやめてこう書いてもいいです。

sum = 0
i = 0
(1..10).each do #ブロック引数無し
  i += 1
  i2 = i*2
  sum += i2
end
p sum #=> 110
p i   #=> 10  ブロックの外で定義された変数なので。
p i2  #=> これはエラー。理由は前出。

Comments

[shinjia305]

大変わかりやすい回答をありがとうございます。他のブロック引数以外のものが入っているのはみたことがありましたが、理解せずに使っていました。かなり丁寧に解説いただいたので、ベストアンサーとします。

Answer 2

理由としてはブロック引数に渡されているiがブロックの中にないため、eachが回らないと考えたからです。

特にそんなことはありません。

普通は「ブロックに渡される値を全く使わない場合」、|i|そのものを書きませんが、実際に引数が渡されている場合に「受け取って使わない」のと動作は変わりません。

Comments

[maisumakun]

なお、「ブロックに渡される値のうち、2つ目だけ使いたい」場合には、|_, value|や|_key, value|のようにアンダーバーで始まる変数を立てて「使わない」意図をコードに残しておくことが一般的に行われます。

[maisumakun]

> なぜブロック引数と、そのブロックに入っている変数が違うのに、eachが動作しているのでしょうか。

(1...5).each自体が、「あとに続くブロックを5回呼び出す」という動作を行うので、（文法違反になる場合や、nextやbreakなどの制御をブロック内で行う場合を除けば）ブロックの中身は「ループする」という動作には全く影響しません。

[shinjia305]

大変わかりやすい回答をありがとうございます。eachだけでその後に続くブロックを5回呼び出すと言う動作を行うと言う説明で、理解できたように思います。丁寧に回答いただきありがとうございました！