制御構造

条件分岐
- if
- if 修飾子
- unless
- unless 修飾子
- case
繰り返し
- while
- while 修飾子
- until
- until修飾子
- for
- break
- next
- redo
- retry
例外処理
その他
- return
- BEGIN
- END

Rubyでは(Cなどとは異なり)制御構造は式であって、何らかの値を返すものがあります(返さないものもあります。値を返さない式を代入式の右辺に置くと parse error になります)。

RubyはC言語やPerlから引き継いだ制御構造を持ちますが、その他にブロック付きメソッド呼び出しという制御構造の抽象化を援助する機能があります。ブロック付きメソッド呼び出しは繰り返しを始めとする制御構造をクラス設計者が定義する事が出来るものです.

条件分岐

if 修飾子

例:

print "debug\n" if $DEBUG

文法:

式 if 式

右辺の条件が成立する時に、左辺の式を評価してその結果を返します。条件が成立しなければ nil を返します。

unless

例:

unless baby?
  feed_meat
else
  feed_milk
end

文法:

unless 式 [then]
  式 ...
[else
  式 ... ]
end

unless は if と反対で、条件式が偽の時に then 以下の式を評価します。unless 式にelsif を指定することはできません。

unless 修飾子

例:

print "stop\n" unless valid(passwd)

文法:

式 unless 式

右辺の条件が成立しない時に、左辺の式を評価してその結果を返します。条件が成立しなければ nil を返します。

case

例:

case $age
when 0 .. 2
  "baby"
when 3 .. 6
  "little child"
when 7 .. 12
  "child"
when 13 .. 18
  "youth"
else
  "adult"
end

文法:

case [式]
[when 式 [, 式] ...[, `*' 式] [then]
  式..]..
[when `*' 式 [then]
  式..]..
[else
  式..]
end

case は一つの式に対する一致判定による分岐を行います。when 節で指定された値と最初の式を評価した結果とを演算子 === を用いて比較して、一致する場合には when 節の本体を評価します。

つまり、

case 式0
when 式1, 式2
  stmt1
when 式3, 式4
  stmt2
else
  stmt3
end

は以下の if 式とほぼ等価です。

_tmp = 式0
if 式1 === _tmp or 式2 === _tmp
  stmt1
elsif 式3 === _tmp or 式4 === _tmp
  stmt2
else
  stmt3
end

when 節の評価順序はこの上記 if 文に書き直した場合と同じです。つまり上から順に(そして左から順に) === が評価されます。また「式0」は1回だけ評価されます。

when 節の最後の式に `*' を前置すればその式は配列展開されます。

ary = [1,2,3]

case v
when *ary
 ..
end

は、

case v
when 1, 2, 3
 ..
end

と等価です。

=== がどのような条件で真になるかは、各クラスの === メソッドの動作についてのドキュメントを参照して下さい。

case の「式」を省略した場合、when の条件式が偽でない最初の式を評価します。

foo = false
bar = true
quu = false

case
when foo then puts 'foo is true'
when bar then puts 'bar is true'
when quu then puts 'quu is true'
end
# "bar is true"と表示される

case は、条件が成立した when 節、(あるいは else 節) の最後に評価した式の結果を返します。いずれの条件も成り立たなければ nil を返します。

例外処理

raise

例:

raise "you lose"  # 例外 RuntimeError を発生させる
# 以下の二つは SyntaxError を発生させる
raise SyntaxError, "invalid syntax"
raise SyntaxError.new("invalid syntax")
raise             # 最後の例外の再発生

文法:

raise
raise messageまたはexception
raise error_type, message
raise error_type, message, traceback

例外を発生させます。第一の形式では直前の例外を再発生させます。第二の形式では、引数が文字列であった場合、その文字列をメッセージとする RuntimeError 例外を発生させます。引数が例外オブジェクトであった場合にはその例外を発生させます。第三の形式では第一引数で指定された例外を、第二引数をメッセージとして発生させます。第四の形式の第三引数は $@または callerで得られるスタック情報で、例外が発生した場所を示します。

発生した例外は後述の begin 式の rescue 節で捕らえることができます。その場合 rescue error_type => var の形式を使えば例外オブジェクトを得られます。このオブジェクトは組み込み変数 $! でも得られます。また例外が発生したソースコード上の位置は変数 $@ に格納されます。

raise は Ruby の予約語ではなく、Kernel モジュールで定義されている関数的メソッドです。

begin

例:

begin
  do_something
rescue
  recover
ensure
  must_to_do
end

文法:

begin
  式..
[rescue [error_type,..] [=> evar] [then]
  式..]..
[else
  式..]
[ensure
  式..]
end

本体の実行中に例外が発生した場合、rescue 節(複数指定できます)が与えられていれば例外を捕捉できます。発生した例外と一致する rescue 節が存在する時には rescue 節の本体が実行されます。発生した例外は $! を使って参照することができます。また、指定されていれば変数 evar にも $! と同様に発生した例外が格納されます。

begin
  raise "error message"
rescue => evar
  p $!
  p evar
end
# => #<RuntimeError: error message>
     #<RuntimeError: error message>

例外の一致判定は例外のクラスが rescue 節で指定したクラスと同じかまたはサブクラスであるかどうか Object#kind_of? を用いて判定されます^*3。

error_type が省略された時は StandardError のサブクラスである全ての例外を捕捉します。Rubyの組み込み例外は(SystemExit や Interrupt のような脱出を目的としたものを除いて) StandardError のサブクラスです。

例外クラスのクラス階層については例外クラスを参照してください。

rescue では error_type は通常の引数と同じように評価され、そのいずれかが一致すれば本体が実行されます。error_type を評価した値がクラスやモジュールでない場合には例外 TypeError が発生します。

省略可能な else 節は、本体の実行によって例外が発生しなかった場合に評価されます。

ensure 節が存在する時は begin 式を終了する直前に必ず ensure 節の本体を評価します。

begin式全体の評価値は、本体／rescue節／else節のうち最後に評価された文の値です。また各節において文が存在しなかったときの値はnilです。いずれにしてもensure節の値は無視されます。

rescue修飾子

例:

open("nonexistent file") rescue STDERR.puts "Warning: #$!"

文法:

式1 rescue 式2

式1で例外が発生したとき、式2を評価します。以下と同じ意味です。捕捉する例外クラスを指定することはできません。 (つまり、StandardError 例外クラスのサブクラスだけしか捕捉できません)

begin
  式1
rescue
  式2
end

rescue修飾子を伴う式の値は例外が発生しなければ式1、例外が発生すれば式2 です。ただし、大抵の場合、優先順位の都合により式全体を括弧で囲む必要があります。

var = open("nonexistent file") rescue false
p var
=> nil      # 値を持たない変数 var が定義されただけ

var = (open("nonexistent file") rescue false)
p var
=> false

特にメソッドの引数に渡す場合は二重に括弧が必要となります。

p(open("nonexistent file") rescue false)
=> parse error

p((open("nonexistent file") rescue false))
=> false

ruby 1.7 feature: 1.7 では、rescue の優先度が変更され、この心配はなくなっています。

var = open("nonexistent file") rescue false
p var
=> false

p(open("nonexistent file") rescue false)
=> false

その他

return

例:

return
return 12
return 1,2,3

文法:

return [式[`,' 式 ... ]]

式の値を戻り値としてメソッドの実行を終了します。式が2つ以上与えられた時には、それらを要素とする配列をメソッドの戻り値とします。式が省略された場合には nil を戻り値とします。

BEGIN

例:

BEGIN {
   ...
}

文法:

BEGIN '{' 文.. '}'

初期化ルーチンを登録します。BEGINブロックで指定した文は当該ファイルのどの文が実行されるより前に実行されます。複数のBEGINが指定された場合には指定された順に実行されます。

BEGINブロックはコンパイル時に登録されます。即ち一つの記述につきただ一回だけ登録が行われます。

if false
  BEGIN { p "begin" }
end

# => "begin"

BEGINブロックは独立したローカル変数のスコープを導入するため、ローカル変数を外部と共有できません。ブロックの外と情報を伝達するには定数やグローバル変数などを介する必要があります。

BEGIN { $foo, foo = true, true }
p $foo  # => true
p foo   # undefined local variable or method `foo' for main:Object (NameError)

BEGINはメソッド定義式中には書けません。parse error になります。

def foo
  BEGIN { p "begin" }
end
# => -:2: BEGIN in method

END

例:

END {
   ... 
}

文法:

END '{' 文.. '}'

「後始末」ルーチンを登録します。END ブロックで指定した文はインタプリタが終了する時に実行されます。Ruby の終了時処理について詳しくは終了処理を参照してください。

複数の END ブロックを登録した場合は、登録したときと逆の順序で実行されます。

END { p 1 }
END { p 2 }
END { p 3 }

# => 3
     2
     1

END ブロックは一つの記述につき最初の一回のみ有効です。たとえば以下のようにループの中で実行しても複数の END ブロックが登録されるわけではありません。そのような目的には at_exit を使います。

5.times do |i|
  END { p i }
end
# => 0

END をメソッド定義式中に書くと警告が出ます ^*4。意図的にこのようなことを行いたい場合は at_exit を使います。

def foo
  END { p "end" }
end
p foo

# => -:2: warning: END in method; use at_exit
     nil
     "end"

END は、BEGIN とは異なり実行時に後処理を登録します。したがって、以下の例では END ブロックは実行されません。

if false
  END { p "end" }
end

END や at_exit で登録した後処理を取り消すことはできません。

END ブロックは BEGIN ブロックとは異なり周囲とスコープを共有します。すなわちイテレータと同様のスコープを持ちます。

END ブロックの中で発生した例外はその END ブロックを中断しますが、すべての後始末ルーチンが実行されるよう、インタプリタは終了せずにメッセージだけを出力します。

例:

END { p "FOO" }
END { raise "bar"; p "BAR" }
END { raise "baz"; p "BAZ" }

=> baz (RuntimeError)
   bar (RuntimeError)
   "FOO"

^*1あるいは、突然エラーになってインタプリタが終了します。 retry #=> -:1: retry outside of rescue clause
^*2あらい 2002-01-13: ensure は大域脱出を捕まえるので retry が (d) に飛んでいるあまり良い例じゃないか
^*3ruby 1.7 feature: 1.7 での例外の一致判定は Module#=== を用いて行われます
^*4ruby 1.8 feature: これは 1.8.1 から [ruby-dev:21513]

if 修飾子

unless 修飾子

while 修飾子