c++ - 具有两个相似 catch 部分的代码的异常处理行为

Question

我有一个仅为练习目的而创建的简短代码，我想检查如果我有两个 catch 部分会发生什么，一个通过引用捕获 (int&)，第二个按值捕获 (int)。问题是，当我运行这段代码时，即使我抛出“常规”整数，似乎也会发生引用捕获。为什么会这样？

注意:当我在 MSVS17 上编译时，出现错误 C2313:

'int': is caught by reference ('int&') on line 15

但是当我使用在线编译器时它工作得很好。

当我删除其中一个 catch 部分时，即使在 MSVS17 中它也能正常工作，但是，为什么调用的是带引用的 catch 部分而不是另一个

#include <iostream>
using namespace std;

int main()
{
    int i = 5;
    try {
        if (i)
            throw(i);
        return 0;
    }

    catch (int &)
    {
        cout << "Int&";
    }

    catch (int)
    {
        cout << "Int";
    }
}

Answer 1

长话短说

catch 匹配没有优先级。 catch 匹配或不匹配。与引用匹配。

不太简短的回答

cppreference says :

When an exception of type E is thrown by any statement in compound-statement, it is matched against the types of the formal parameters T of each catch-clause in handler-seq, in the order in which the catch clauses are listed.

即选择第一个匹配(没有“更好”或“更差”匹配的概念；catch 匹配或不匹配。)

进一步说:

The exception is a match if any of the following is true:

• ...
• T is an lvalue-reference to (possibly cv-qualified) E
• ...

因此，catch(int&)是一个匹配项； catch(int) 连被考虑的机会都没有。

Martin Bonner的例子

Martin Bonner 提供了一个很好的例子让你理解这一点，OP 理解得很透彻:

try {
    throw 5;
}
catch (int) { // int first
    // ...
}
catch (int&) { // this is not even considered!
    // ...
}