在Visual Studio 2022（C++20 build）中，我收到了一个堆栈溢出异常，代码如下（运算符new从未被调用）：

struct cCoro
{
    struct promise_type
    {
        cCoro get_return_object() {
            return {
                // Uses C++20 designated initializer syntax
                .Handle = std::coroutine_handle<promise_type>::from_promise(*this)
            };
        }

        std::suspend_always initial_suspend() { return {}; }
        std::suspend_always final_suspend() noexcept { return {}; }
        void unhandled_exception() {}
        void return_void() {}

        void* operator new (size_t sz) {
            printf("%s %I64d\n", __FUNCTION__, sz);
            return malloc(sz);
        }
    };

    std::coroutine_handle<promise_type> Handle;
};

cCoro stack_or_heap()
{
    const int sz = 64 * 1024 * 1024; // larger than a normal thread stack ... blows stack!!!???
    uint8_t buffer[sz];

    co_await std::suspend_always();

    // ... use buffer here
}

int main()
{
    auto h = stack_or_heap(); // <== stack overflow here ...
}

按如下方式更改缓冲区大小（并调用运算符new）：

cCoro stack_or_heap()
{
    const int sz = 64 * 1024; // Works
    uint8_t buffer[sz];

    co_await std::suspend_always();

    // ... use buffer here
}

我不明白，C++协程中的“局部”变量是否在堆栈上？
我希望分配被传递给操作符new -不管缓冲区的大小。我不希望得到堆栈溢出...
看一下godbolt反汇编，代码在进入协程时将缓冲区大小添加到堆栈中--并且还将缓冲区大小和协程状态的额外字节传递给操作符new

cCoro stack_or_heap(void) PROC           ; stack_or_heap
$LN1:
        mov     eax, 67109128                   ; 04000108H
        call    __chkstk
        sub     rsp, rax
        xor     eax, eax
        test    eax, eax
        je      SHORT $LN8@stack_or_h
        lea     rax, QWORD PTR $T2[rsp]
        mov     QWORD PTR tv73[rsp], rax
        jmp     SHORT $LN9@stack_or_h
$LN8@stack_or_h:
        mov     eax, 67109040                   ; 040000b0H
        mov     ecx, eax
        call    static void * cCoro::promise_type::operator new(unsigned __int64)       ; cCoro::promise_type::operator new
        mov     QWORD PTR tv73[rsp], rax

我不明白为什么线程的堆栈会和缓冲区[sz]有关，当它作为C++协程状态的一部分被分配时（通过new操作符）？缓冲区[sz]不需要在堆栈帧中，对吗？
为什么要向堆栈帧添加空间，并且通过new操作符为同一缓冲区分配空间？