Co jest nie tak z tym przykładem ratunkowym?

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 

Dlaczego nie drukuje się drugie "ok"? Nie mogę tego rozgryźć. Przeczytałem here, że ruby ​​używa operatora ===, aby dopasować wyjątki do klauzul ratunkowych, ale nie jest to prawdą.

Używam Ruby 1.9.3

EDIT: A więc wydaje się, że po zrobieniu raise x, x == y i x === y nie trzymać. Wydaje się, ponieważ x i yno longer have the same backtrace.

Answer 1

Chcę tylko dodać coś do tabeli: Kod OP sugeruje, że te dwa wyjątki są takie same, ale nie są one - ponadto chcę zilustrować co PO rozumie się:

Więc wydaje się, że po wykonaniu podbicia x, x == yi x === y już nie trzyma. Wydaje się, ponieważ x i y nie mają już tego samego śledzenia wstecznego.

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 2

EDIT: Aby wyjaśnić ten problem dla przyszłych odpowiedziach, ponieważ myślę, że moja odpowiedź jest błędna, subtelność jest to, że x i y są przypadki zamiast klas i normalnie użyć klas w raise oświadczenie.

---

Jeżeli zamierzone zachowanie jest drukowanie na drugim ratunek The y nie załatwi. Podnosisz wyjątek klasy x i nie masz klauzuli ratunkowej, która obsłuży x. będzie można zobaczyć „ok” wydrukowane na drugim bloku, jeśli złapany StandardError, wspólną klasę bazową, choć:

begin 
    raise x 
rescue StandardError 
    puts "ok" 
end 

Odnośnie # ===, myślę, że problemem jest to, że podczas podnoszenia, masz do czynienia z instancją o numerze z x zamiast z x jako klasą.

Answer 3

Wydaje się, że definicja jest ratunek:

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

Ani x ani y jest stricly error_type. Są to instancje typu błędu. Nie sądzę, żebyś naprawdę uruchamiał poprawny kod tak, jak to robisz.

Jeśli prowadzisz:

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

Wtedy to będzie działać zgodnie z oczekiwaniami.

Należy również zauważyć, że na Ruby 1.8 ani x == y ani x === y nie zwraca true.

Answer 4

Myślę, że to błąd, a raczej underspecyfikacja Rubiego 1.9. Zauważ, że Ruby 2.0 podnosi

TypeError: class or module required for rescue clause 

na liniach 8 i 14.

Należy pamiętać, że raise niekoniecznie robić to, co myślisz, że to robi, albo.Kiedy raise przedmiot, nie faktycznie podnieść że obiekt, możesz podnieść nowy przedmiot, który jest zbudowany z obiektu zdałeś zgodnie z tymi prostymi zasadami:

• jeśli obiekt odpowiada exception zadzwoń exception na obiekcie i podniesienia wartości zwracanej
• jeśli obiekt jest podklasą Exception, zadzwoń new i podniesienia wartości zwracanej
• inaczej nie
• również powiedzie się, jeśli wartość zwracana żadnej z powyższych metod nie jest instancją Exception

Więc jesteś nie faktycznie podniesienie x, jesteś podnoszenie x.exception. Według dokumentacji Exception#exceptionx.exception jest to jednak x.