通过引用抛出非常量临时值

Question

通过非常量引用在 try 块中抛出在堆栈上构造的对象，捕获它并修改它，然后通过引用另一个 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

不存在“通过引用抛出”这样的事情。这根本不可能。没有相应的语法。每次尝试“抛出引用”时，实际上都会抛出引用对象的副本。不用说，您的代码中没有尝试通过引用抛出异常。

可以通过引用（甚至是非常量异常）捕获先前抛出的异常，并通过它修改临时异常对象。它会起作用的。事实上，您可以重新抛出现在已修改的现有异常对象，而不是创建新异常对象。即，您可以在 catch 子句中执行

throw;

而不是

throw e;

仍然获得正确行为的代码，即原始对象（经过修改）将继续在处理程序层次结构中飞行。

因此您的代码在调用

e.app("1"); 

但是，由于参数是非常量引用， （以及对 app 的其他调用）时格式不正确。将 app 声明更改为任一

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

以便编译。

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