Возвращает ли alloca() память при возникновении исключения?

Вполне вероятно, что проблема связана с уровнем косвенности.

Буквальный вопрос: «Возвращает ли alloca память, если выдается исключение?». И ответ на это; Он возвращает только память, которая была выделена напрямую. Никакие деструкторы не запускаются, и происходит утечка любого указателя-владельца внутри alloca-выделенной памяти.

В C++ вы не должны использовать подпрограммы управления памятью C. В современном C++ интеллектуальные указатели предоставляют вам мелкозернистую детерминированную сборку мусора.

Хотя пространство, выделенное через alloca(), вероятно, освобождается с исключениями (поскольку это обычно делается путем увеличения размера текущего кадра стека). Это не является частью стандарта, и поэтому я не думаю, что вы можете дать какие-либо гарантии.

НО Это также означает, что любые соответствующие деструкторы объекта никогда не будут вызываться. Это означает, что если объект самостоятельно управляет памятью, она не будет очищена (поскольку деструктор не запускается для ее очистки).

Хотя alloca() наверное очень быстрый. Я думаю, что дополнительная нагрузка, которую он добавляет для управления памятью, (в общем случае) того не стоит; хотя, если у вас есть особая потребность в дополнительной скорости, это может стоить того.

Код выглядит следующим образом:

void func()
{
    MyType* x = (MyType*)alloca(sizeof(MyType));

    passXtoCFunctionThatDoesNotTakeOwnership(x);
}

Должно быть написано так:

void func()
{
    std::unique_ptr<MyType> x = std::make_unique<MyType>();

    passXtoCFunctionThatDoesNotTakeOwnership(x.get());
}

Если вы используете его для хранения массива объектов.

void func()
{
    MyType* x = (MyType*)alloca(sizeof(MyType) * arraySize);

    // STUFF
    x[0].stuff();
}

Тогда лучше использовать std::vector

void func()
{
    std::vector<MyType> x;
    x.reserve(arraySize);   // or resize() if that is appropriate

    // STUFF
    x[0].stuff();
}

Если вы используете его для простых объектов. Тогда вам, вероятно, следует просто объявлять автоматические переменные:

void func()
{
    MyType* x = (MyType*)alloca(sizeof(MyType));

    x->myData = 5;
}

Вы должны просто объявить переменную:

void func()
{
    MyType x;

    x.myData = 5;
}

Из Linux man

....

Поскольку пространство, выделенное alloca(), выделяется внутри кадра стека, это пространство автоматически освобождается, если функция return перепрыгивает вызовом longjmp(3) или siglongjmp(3).

....

Встроенный код часто состоит из одной инструкции, настраивающей указатель стека, и не проверяет переполнение стека. Таким образом, нет возврата ошибки NULL.

.....

Ошибки Если кадр стека не может быть расширен, отсутствует индикация ошибки. (Однако после неудачного выделения программа, скорее всего, получит сигнал SIGSEGV, если попытается получить доступ к нераспределенному пространству.) Во многих системах alloca() нельзя использовать внутри списка аргументов вызов функции, потому что пространство стека, зарезервированное alloca(), появится в стеке в середине пространства для аргументов функции.

Таким образом, исключение не может вызвать утечку памяти для памяти, выделенной alloca в кадре стека. Однако это, как и любое исключение, может привести к утечке памяти в куче, поскольку деструкторы и методы освобождения памяти, размещенные после alloca, будут пропущены.