通过引用抛出非常量临时对象

Question

通过非常量引用在try-block中抛出一个构建在堆栈上的对象，捕获并修改它，然后通过引用另一个catch块抛出它有什么问题吗？

以下是我所指内容的简短示例。

struct EC {
    EC(string msg) { what = msg; }
    string where;
    string what;

    void app(string& t) { where += t; }
    string get() { return what; }
};

try {
    try {
        try {
            EC error("Test");
            throw error;
        }
        catch (EC& e) {
            e.app("1");
            throw e;
        }
    }
    catch (EC& e) {
        e.app("2");
        throw e;
    }
}
catch (EC& e) {
     e.app("3");
     cout << e.where << endl;
     cout << e.get() << endl;
}

这是否可能导致 e.what 包含垃圾，但 e.where 保持不变？例如：
e.哪里是“123”
e.get() 返回大量垃圾数据，直到碰巧碰到一个空字节。

Answer 1

没有“通过引用抛出”这样的东西。这简直是​​不可能的。没有语法。每次尝试“抛出引用”时，实际上都会抛出被引用对象的副本。不用说，在您的代码中没有尝试通过引用抛出。

可以捕获通过引用（甚至是非常量的）先前抛出的异常，并通过它修改临时异常对象。它会起作用的。事实上，您可以重新抛出现在修改的 existing 异常对象，而不是创建一个 new 异常对象。 IE。你可以这样做

throw;

而不是

throw e;

在您的 catch 子句中，仍然可以获得行为正确的代码，即原始对象（带有修改）将继续通过处理程序层次结构飞行。

但是，您的代码格式不正确

e.app("1"); 

调用（以及对app 的其他调用），因为参数是非常量引用。将 app 声明更改为

void app(const string& t) { where += t; }  // <- either this
void app(string t) { where += t; }         // <- or this

编译。

否则，您的代码应该可以正常工作。你不应该从get() 得到任何垃圾。如果你这样做了，那一定是你的编译器有问题，或者你的代码没有显示。