ruby - 这种使用案例陈述的做法是不好的吗？

Question

我有这样的代码:

case Product.new.class # ActiveRecord instance class => Product
when Module
  'this condition will always be true'
when Product
  'i need this to be true, but first condition is always true, so it never happens'
end

这里，当 Module 总是 true。为什么？这是意外行为吗？

Answer 1

啊，这么简单的问题。但是是吗？

这里 Product 是一些类，比如:

Product = Class.new

自

Product.new.class
  #=> Product

你的案例陈述可以简化为

case Product
when Module
  'this condition will always be true'
when Product
  'i need this to be true, so it never happens'
end

回想一下，case 语句使用方法 === 来确定返回哪个对象，这意味着您的 case 语句等同于

if Module === Product
  'this condition will always be true'
elsif Product === Product
  'i need this to be true, so it never happens'
end

让我们看看这两个逻辑表达式是如何求值的:

Module  === Product  #=> true 
Product === Product  #=> false 

注意这是

的语法糖

Module.===(Product)  #=> true
Product.===(Product) #=> false

检查方法的文档 Module#===看看它是如何工作的:如果 Product 是 Module 或 Module 之一的实例，它会返回 true'的后代。嗯，是吗？

Product.class   #=> Class 
Class.ancestors #=> [Class, Module, Object, Kernel, BasicObject] 

是的!现在怎么样:

Product === Product

Product 是否有方法===？:

Product.methods.include?(:===)
  #=> true

它从哪里来(毕竟我们没有定义它)？我们先来看:

Product.ancestors
  #=> [Product, Object, Kernel, BasicObject]

Object 是否有方法 ===？检查文档我们发现它确实如此:Object#=== .¹

因此 Object#=== 被调用。正确的？让我们确认一下:

Product.method(:===).owner
  #=> Module

糟糕!它来自 Module(既是模块又是类)，而不是来自 Object。正如我们在上面看到的，Product 是 Class 的实例，Class 是 Module 的子类。另请注意，此处 === 是 Class(和 Module)² 的实例方法:

Class.instance_method(:===).owner
  #=> Module

所以 Product 进退两难。它应该使用 Module#===，一个由它的父类 (Class) 提供的实例方法，从 Module 继承它，还是应该使用它使用 Object#===，它继承自其父类(super class) Object？答案是前者优先。

这是 Ruby 的“对象模型”的核心。关于这一点我不会再多说了，但我希望我已经为读者提供了一些他们可以用来弄清楚发生了什么的工具(例如，Object#method 和 Method#owner。

由于 Product === Product 使用 Module#=== 就像 Module == Product 一样，我们确定前者是否返回true 通过回答问题，“Product 是 Product 的实例还是 Product 的后代之一？ ”。产品没有后代和

Product.class #=> Class,

所以答案是“否”，这意味着 Product === Product 返回 false。

编辑:我发现我忘了实际回答标题中提出的问题。我想这需要一个意见(一个 SO no-no)，但我认为 case 语句是自切片面包以来最伟大的事情。当需要使用 === 或 ==< 将各种值与引用值(例如，变量的内容或方法返回的值)进行比较时，它们特别有用。例如(参见 Fixnum#=== ，其中 === 等同于 ==——注意文档中的拼写错误，Regexp#=== 和 Range#=== ):

str =
case x
when 1                   then 'cat'
when 2,3                 then 'dog'
when (5..Float#INFINITY) then 'cow'
else                          'pig'
end

result =
case obj
when String
  ...
when Array
  ...
end

case str
when /\d/
  ...
when /[a-z]/
  ...
end

然而，除此之外，我经常使用 case 语句 代替 if..elsif..else..end 只是因为我认为它更整洁并且更美观:

case
when time == 5pm
  feed the dog
when day == Saturday
  mow the lawn
...
end

^{1 其实这个方法对所有对象都可用，只是不是一般被调用是因为该方法也是为后代定义的。}

^{2 为了彻底混淆，Class 还有一个三等式类方法:Class.method(:===).owner #=> 模块.}