使用 alloca 时发生访问冲突

Question

我的 stackAlloc 函数如下所示：

void* stackAlloc(size_t size) {
    if (size > maxStackAllocation)
        return malloc(size);
    else 
        return _alloca(size);
}
void stackAllocFree(void *ptr, size_t size) {
    if (size > maxStackAllocation) {
        free(ptr);
    }
}

如果我改变 stackAlloc 函数总是使用 malloc 而不是 alloca 一切正常。

我将函数更改为宏，现在它按预期工作：

#define maxStackAllocation 1024
#define stackAlloc(size) \
( \
    (size > maxStackAllocation)? \
         malloc(size): \
        _alloca(size) \
)

#define stackAllocFree(ptr, size) \
( \
    (size > maxStackAllocation)? \
        free(ptr): \
    void() \
)

Answer 1

假设您运行在 Windows，因为您的代码调用 _alloca()，根据 MSDN documentation:

_alloca allocates size bytes from the program stack. The allocated space is automatically freed when the calling function exits

请注意，调用函数退出时会释放内存 - 我假设这也意味着调用函数 returns。

您的代码：

void* stackAlloc(size_t size) {
    if (size > maxStackAllocation)
        return malloc(size);
    else 
        return _alloca(size);
}

returns，从而释放通过_alloca().

获得的内存

Answer 2

From the man page,

This temporary space is automatically freed when the function that called alloca() returns to its caller.

因此，每当您的 stackAlloc 函数 returns 时，它都会自动释放内存。

Answer 3

这有效，但我建议不要在生产中使用它：

#include <iostream>
#include <alloca.h>

auto stackAlloc(const size_t size)
{
    return [size](){ return alloca(size); };
}

int main() {
    char *ch = (char *)stackAlloc(40000)();
    ch[39999] = '[=10=]';

    return 0;
}

反查：如果我减少 stackAlloc 的参数，它就不起作用（这是预期的行为）随意在 stackAlloc 中添加检查等（通过返回不同的 lambda 或让 lambda 进行检查）。

使用 alloca 时发生访问冲突

Access violation when using alloca

c++

c

malloc

alloca