UnboundMethod

レシーバを持たないメソッドオブジェクトのクラスです。 Module#instance_method や Method#unbind により生成し、後で UnboundMethod#bind によりレシーバを割り当てた Method オブ ジェクトを作ることができます。

例: メソッドの再定義を UnboundMethod を使って行う方法^*1

class Foo
  def foo
    p :foo
  end
  @@orig_foo = instance_method :foo
  def foo
    p :bar
    @@orig_foo.bind(self).call
  end
end

Foo.new.foo

=> :bar
   :foo

スーパークラス:

Method

メソッド:

self[args, ...]

call(args, ...)

call(args, ...) { ... }

UnboundMethod はバインドしなければ起動できません。 常に例外 TypeError が発生します。

class Foo
  def foo
  end
end
Foo.instance_method(:foo).call

# => -:5:in `call': you cannot call unbound method; bind first (TypeError)

bind(obj)

self を obj にバインドして bound method オブジェクト (つまり Method オブジェクト) を生成し返します。ただしバイン ドできるのは、unbind したオブジェクトのクラスのインスタンスか、メ ソッド定義元のモジュールをインクルードしたクラスのインスタンスだけ です。そうでなければ例外 TypeError が発生します。

例:

# クラスのインスタンスメソッドの UnboundMethod の場合

class Foo
  def foo
    "foo"
  end
end

# UnboundMethod `m' を生成
p m = Foo.instance_method(:foo) # => #<UnboundMethod: Foo(Foo)#foo>

# Foo のインスタンスをレシーバとする Method オブジェクトを生成
p m.bind(Foo.new)               # => #<Method: Foo(Foo)#foo>

# Foo のサブクラス Bar のインスタンスをレシーバとする Method 
# オブジェクトを生成(これは許されない)

class Bar < Foo
end
# p m.bind(Bar.new)               # => -18:in `bind': bind argument must be an instance of Foo (TypeError)

# 同名の特異メソッドが定義されているとダメ
class << obj = Foo.new
  def foo
  end
end
p m.bind(obj)                   # => -:25:in `bind': method `foo' overridden (TypeError)

# モジュールのインスタンスメソッドの UnboundMethod の場合

module Foo
  def foo
    "foo"
  end
end

# UnboundMethod `m' を生成
p m = Foo.instance_method(:foo) # => #<UnboundMethod: Foo(Foo)#foo>

# Foo をインクルードしたクラス Bar のインスタンスをレシーバと
# する Method オブジェクトを生成
class Bar
  include Foo
end
p m.bind(Bar.new)               # => #<Method: Bar(Foo)#foo>

# Bar のサブクラスは Foo をインクルードしているのと同等なのでよい
class Baz <Bar
end
p m.bind(Baz.new)               # => #<Method: Baz(Foo)#foo>

# 同名の特異メソッドが定義されているとダメ
class << obj = Baz.new
  def foo
  end
end
p m.bind(obj)                   # => -:27:in `bind': method `foo' overridden (TypeError)

to_proc

self を call する Proc オブジェクトを生成して返します。

unbind

self を返します。

^*1あらい: 2001-02-19 aliasを使った方がよいのだろうな。。。