为什么在我的 C++ 代码中会抛出这个确切的异常？

Question

我正在分析我讲座中的部分代码。 我设法编译它，但我无法理解： 为什么我的程序输出“Wyjatek”和 0 而不是“WyjatekNieoznaczony”？

我很确定应该抛出 WyjatekNieoznaczony()，因为 a=0 和 b=0 也是如此。现在我有点困惑。 请你帮帮我好吗？

class Wyjatek {};
class WyjatekBledny : public Wyjatek {};
class WyjatekNieoznaczony : public Wyjatek {};

double f(double a, double b) {
    if (b == 0) {
        if (a == 0)
            throw WyjatekNieoznaczony();
        else
            throw WyjatekBledny();
    }
    return a / b;
}


double g(double a, double b) throw (int) {
    try {
        return f(a, b);
    }
    catch (WyjatekBledny) {
        cout << "Wyjatek bledny" << endl;
        throw 1;
    }
    catch (Wyjatek) {
        cout << "Wyjatek" << endl;
    }
    catch (WyjatekNieoznaczony) {
        cout << "Wyjatek nieoznaczony" << endl;
        throw;
    }
    return 0;
}

int main()
{
    double a = 0, b = 0;
    try {
        cout << g(a, b) << endl;
    }
    catch (...)
    {
        cout << "Inny wyjatek" << endl;
    }
    system("pause");
    return 0;
}

Answer 1

是的，确实抛出了 WyjatekNieoznaczony，但在捕获站点，catch (Wyjatek) { 是匹配项（由于继承），因此它被捕获。

捕获站点在行为上更像是 if else 块 - 每个 catch 可能性都按照它们的写入顺序进行考虑 - 而不是 switch 块，您可以在其中将标签放在任何点你喜欢的。

另请注意，通过const 引用而不是通过值来捕获异常是个好主意，否则您可能会遭受对象切片的陷阱。

Answer 2

如果您启用（并阅读）编译器警告，您会遇到以下诊断：

警告：“WyjatekNieoznaczony”类型的异常将被“Wyjatek”的早期处理程序捕获 [...]。

这基本上意味着WyjatekNieoznaczony，通过继承Wyjatek，将首先被catch(Wyjatek) 子句捕获，因为它是可转换的。问题是由于object slicing，它会失去它的Nieoznaczonyness。

我的建议是重新排序catch 子句，这样切片的可能性就消失了（在这种情况下）：

catch (WyjatekBledny) {
    cout << "Wyjatek bledny" << endl;
    throw 1;
}
catch (WyjatekNieoznaczony) {
    cout << "Wyjatek nieoznaczony" << endl;
    throw;
}
catch (Wyjatek) {
    cout << "Wyjatek" << endl;
}