使用 alloca 时发生访问冲突

Access violation when using alloca

我的 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() \
)

假设您 运行 在 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().

获得的内存

From the man page,

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

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

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

#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 进行检查)。