使用 alloca 时访问冲突答案

【问题标题】：Access violation when using alloca使用 alloca 时访问冲突
【发布时间】：2016-10-13 20:54:01
【问题描述】：

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

【问题讨论】：

maxStackAllocation 的值是多少？我建议您也阅读alloca 文档页面上的所有警告。
它的1024，我这里只分配124字节
stackoverflow.com/a/1029951/366904（既然 Vulkan 显然是一个 C API，为什么不使用变长数组？）
我用的是VS2015，不支持
@dev 你在说什么？他的代码按照您描述的方式工作。如果stackAlloc 调用malloc，那么stackAllocFree 调用free。没有理由释放_alloca 释放的内存。

标签： c++ c malloc alloca

【解决方案1】：

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

_alloca 从程序堆栈中分配 size 个字节。调用函数退出时自动释放分配的空间

请注意，当调用函数退出时，内存会被释放——我假设这也意味着调用函数返回。

您的代码：

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

返回，从而释放通过_alloca()获得的内存。

【讨论】：

我想知道如果函数标记为static inline __forceinline，这是否适用。
@JonathonReinhart，当然它也适用于那里。 alloca 不是“真正的”malloc，它只是从堆栈指针中减去更多空间。这意味着它总是会被自动释放，因为 CPU 会处理这些。因此，函数是否内联并不重要。
@JonathonReinhart 不允许内联更改内联函数的语义。（内联不是类似宏的替换。）
@Devolus 我了解alloca 是如何实现的。如果在（内联）函数中减去esp，编译器是否会立即在内联函数结束处添加到esp？还是会在调用函数返回之前放弃清理？
@molbdnilo 对于“正常”内联，我同意。但是__forceinline 是非标准的，所以像alloca 这样的东西在这种情况下“工作”是合理的。无论哪种方式，这里的“正确”答案是，将这个 stackAlloc 设为宏，或者根本不使用 alloca。

【解决方案2】：

From the man page,

这个临时空间被自动释放当调用 alloca() 的函数返回给它的调用者时。

所以每当你的stackAlloc 函数返回时，它会自动释放内存。

【讨论】：

【解决方案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] = '\0';

    return 0;
}

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

【讨论】：