Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Why can procs be invoked with === in ruby 1.9?

This article mentions 4 ways to invoke procs in ruby 1.9, and === is one of them. I don't understand why this would be done this way at all. Does it have any relationship to the normal meaning of === (asking if the two objects are the same object)?

irb(main):010:0> f =-> n {[:hello, n]}
=> #
irb(main):011:0> f.call(:hello)
=> [:hello, :hello]
irb(main):012:0> f === :hello
=> [:hello, :hello]
irb(main):013:0> Object.new === Object.new
=> false
irb(main):014:0> f === f
=> [:hello, #]
like image 201
John Bachir Avatar asked Mar 12 '12 21:03

John Bachir


2 Answers

Note that === in Ruby is NOT about equality, unlike JavaScript. It is specifically used for case expressions:

case cats.length
  when 42                         # Uses 42      === cats.length
    puts :uh
  when /cool/i                    # Uses /cool/i === cats.length
    puts :oh
  when ->(n){ n.odd? || n/3==6 }  # Passes cats.length to the proc
    puts :my
end
like image 174
Phrogz Avatar answered Sep 29 '22 10:09

Phrogz


This is what the docs have to say:

It is to allow a proc object to be a target of when clause in the case statement.

This is a, perhaps contrived, example:

even = proc { |x| x % 2 == 0 }
n = 3
case n
when even
  puts "even!"
else
  puts "odd!"
end

It works because the case/when is basically executed like this:

if even === n
  puts "even!"
else
  puts "odd!"
end

The case/when checks which branch to execute by calling === on the arguments to when clauses, picking the first that returns a truthy value.

Despite its similarity to the equality operator (==) it not a stronger or weaker form of it. I try to think of the === operator as the "belongs to" operator. Class defines it so that you can check if an object belongs to the class (i.e. is an instance of the class or a subclass of the class), Range defines it as to check if the argument belongs to the range (i.e. is included in the range), and so on. This doesn't really make the Proc case make more sense, but think of it as a tool for making your own belongs to operators, like my example above; I defined an object that can determine if something belongs to the set of even numbers.

like image 38
Theo Avatar answered Sep 29 '22 12:09

Theo