创建2D数组时出现异常:在C++中重新抛出之前进行清理

我想要一个函数，它可以动态创建并返回2D数组，或者当内存分配失败时，在清理已分配的行后，通过异常而不丢失信息：

double **create (int rows, int cols)
{
    double **array = new double* [rows];
    for (int x=0; x<rows; x++)
    {
        try { array[x] = new double [cols]; }
        catch (exception &e)
        {
            x--;
            for (; x>=0; x--)
                delete[] array[x]; // clean up already allocated rows
            delete[] array;
            throw e; // pass exception
        }
        for (int y=0; y<cols; y++)
            array[x][y] = 0; // initialize array
    }
    return array;
}

所以我可以肯定，如果create抛出，就不会出现内存泄漏。但我能确定，传递的异常e是否与new抛出的directy"相同"而未被捕获吗？

例如

int main ()
{
    double **d;
    try { d = create (HUGE_x, HUGE_y); }
    catch (exception &e)
    {
        // 1. e could be thrown by new double* [rows]
        //      e.g. if HUGE_x is already to huge
        // 2. e could be thrown by throw e
        //      e.g. if after some rows no memory anymore
        // in both cases: is e the same?
    }
    return 0;
}

或者create函数中是否有必要包含catch (bad_alloc &e)？还是仅适用于catch (...) { /* do clean-up*/ throw; }？当重新抛出不是简单地使用throw;时，是否存在与C#中丢失堆栈跟踪相同的问题？

还有另一个更普遍的问题：

void f () { throw Object(); } // or throw "help";
void main ()
{
    try { f(); }
    catch (Object &e) // or catch (char *)
    {
        // Where is the Object or C-String created on the stack in function f()
        // since we aren't any more in function f() but we are dealing with
        // references/pointers to a non-existent stack?
    }
}