throw 和 throw with arg of catch Exception 有什么区别？

Question

想象两段相似的代码：

try {
  [...]
} catch (myErr &err) {
  err.append("More info added to error...");
  throw err;
}

它们

try {
  [...]
} catch (myErr &err) {
  err.append("More info added to error...");
  throw;
}

实际上是相同的还是有一些微妙的不同？例如，第一个是否会导致运行复制构造函数，而第二个可能会重用同一对象来重新抛出它？

Answer 1

根据您安排异常层次结构的方式，通过在 throw 语句中命名异常变量来重新引发异常可能会分割原始异常对象。

无参数的 throw 表达式将抛出当前异常对象，并保留其动态类型，而带参数的 throw 表达式将根据 throw< 的参数的 static 类型抛出新的异常/代码>。

例如，

int main()
{
    try
    {
        try
        {
            throw Derived();
        }
        catch (Base& b)
        {
            std::cout << "Caught a reference to base\n";
            b.print(std::cout);
            throw b;
        }
    }
    catch (Base& b)
    {
        std::cout << "Caught a reference to base\n";
        b.print(std::cout);
    }

    return 0;
}

如上面所写，程序将输出：

Caught a reference to base
Derived
Caught a reference to base
Base

如果将 throw b 替换为 throw，则外层 catch 也会捕获最初抛出的 Derived 异常。如果内部类通过值而不是通过引用捕获 Base 异常，这仍然成立 - 尽管这自然意味着原始异常对象无法修改，因此对 b 的任何更改> 不会反映在外部块捕获的 Derived 异常中。

Answer 2

在第二种情况下，根据 C++ 标准 15.1/6，不使用复制构造函数：

没有操作数的 throw 表达式会重新抛出正在处理的异常。使用现有临时重新激活异常；没有创建新的临时异常对象。 异常不再被认为已被捕获；因此，uncaught_Exception() 的值将再次为 true。

在第一种情况下，将根据 15.1/3 抛出新的异常：

throw 表达式初始化一个临时对象，称为异常对象，其类型是通过从 throw 操作数的静态类型中删除任何顶级 cv 限定符并调整来确定的
从“T 的数组”或“返回 T 的函数”到“指向 T 的指针”或“指向返回 T 的函数的指针”的类型，
分别。 <...>该临时变量用于初始化匹配处理程序 (15.3) 中指定的变量。 throw 表达式的类型不应是
不完整类型，或指向不完整类型的指针或引用，除了 void*、const void*、
易失性 void* 或 const 易失性 void*。除了这些限制和以下限制外
15.3 中提到的类型匹配， throw 的操作数被完全视为调用中的函数参数
(5.2.2) 或 return 语句的操作数。

在这两种情况下，抛出阶段都需要复制构造函数（15.1/5）：

当抛出的对象是类对象，并且用于初始化临时副本的复制构造函数不可访问时，程序格式错误（即使可以消除临时对象）。
同样，如果该对象的析构函数不可访问，则程序格式错误（即使可以消除临时对象）。