这个救援示例有什么问题？

Question

x = StandardError.new(:hello)
y = StandardError.new(:hello)
x == y # => true
x === y # => true

begin
  raise x
rescue x
  puts "ok" # gets printed
end

begin
  raise x
rescue y
  puts "ok" # doesn't get printed
end

为什么不打印第二个“ok”？我想不通。我读过 here 说 ruby​​ 使用 === 运算符来匹配救援子句的异常，但表面上并非如此。

我使用的是 Ruby 1.9.3

编辑：所以在执行raise x、x == y 和x === y 之后似乎不再成立。似乎是因为x 和y no longer have the same backtrace。

Answer 1

我认为这是一个错误，或者说是 Ruby 1.9 的规格不足。请注意，Ruby 2.0 提出了一个

TypeError: class or module required for rescue clause

在第 8 行和第 14 行。

请注意，raise 也不一定按照您的想法进行。当您raise 一个对象时，您实际上并没有引发 那个 对象，而是引发了一个 new 对象，该对象是根据以下简单规则从您传递的对象构造的：

• 如果对象响应exception，则在对象上调用exception并提高返回值
• 如果对象是Exception的子类，调用new并提高返回值
• 否则失败
• 如果上述任何方法的返回值不是Exception 的实例，也会失败

所以，你不是实际上提高了x，你提高了x.exception。不过，根据Exception#exceptionx.exception 的文档是x。

Answer 2

我只想在表格中添加一些内容：OP 代码表明这两个异常是相同的，但它们不是 - 此外，我想说明 OP 的含义：

所以看起来在做 raise x 之后，x == y 和 x === y 不再成立。这似乎是因为 x 和 y 不再具有相同的回溯。

 x = StandardError.new(:hello)
 y = StandardError.new(:hello)
 class Object
   def all_equals(o)
     ops = [:==, :===, :eql?, :equal?]
     Hash[ops.map(&:to_s).zip(ops.map {|s| send(s, o) })]
   end
 end

 puts x.all_equals y # => {"=="=>true, "==="=>true, "eql?"=>false, "equal?"=>false}

 begin
   raise x
 rescue
   puts "ok" # gets printed
 end

 puts x.all_equals y # => {"=="=>false, "==="=>false, "eql?"=>false, "equal?"=>false}

Answer 3

救援的定义好像是：

[rescue [error_type [=> var],..]

x 和 y 都不是严格意义上的 error_type。它们是错误类型的实例。我不认为你真的以你在那里的方式运行有效的代码。

如果你运行：

begin
  raise x
rescue y.class
  puts "ok"
end

然后它将按预期工作。

还要注意，在 Ruby 1.8 上，x == y 和 x === y 都不会返回 true。

Answer 4

编辑：为了澄清问题以供将来回复，因为我认为我的回复不正确，这里的微妙之处在于 x 和 y 是 instances而不是 classes，通常你会在 raise 语句中使用类。

---

如果预期的行为是在第二次救援时打印，y 将无法解决问题。您正在引发类 x 的异常，并且您没有可以处理 x 的救援子句。但是，如果您捕获了公共基类 StandardError，您会看到第二个块打印了“ok”：

begin
  raise x
rescue StandardError
  puts "ok"
end

关于#===，我认为问题在于，当您提出时，您处理的是x 的实例，而不是x 作为一个类。