如何确定堆栈上的内容？

Question

假设我有一个名为MainComponent的C ++类，并且其中包含一些类：WindowClass，InputClass，GameClass。 主要功能是这样设置的：

int main()
{
    MainComponent app;
    app.start(); // Initializes the MainComponent class, opens window, starts game and all that.

    return 0;
}

由于GameClass等包含的对象，MainComponent类可能会变得很大。 是否应为MainComponent应用动态分配新的应用？ 还是应该在MainComponent类中分配带有新的GameClass对象？ 还是只要它运行良好就可以将其保留在堆栈上？

Answer 1

取决于“大”的含义。 此链接显示某些操作系统的默认堆栈大小限制。 您需要确保MainComponent在堆栈上分配的大小远低于这些数字中的任何一个。

此外，如果有一些事情被动态创建，或某些阵列/资产太大，落入下MainComponent或另一个结构是下面MainComponent ，那么就可以始终堆分配该结构/阵列/类，同时仍保持MainComponent本身在堆栈上。

从概念上讲，将MainComponent保留在堆栈上更有意义，因为其生命周期正好通过main函数中的作用域进行建模。

为了回答您更笼统的问题， 如何决定堆栈中的内容？ ，请考虑三个方面：

1. 所有权 。 特定数据结构的所有权是否明确？ 它是否明确属于某个特定函数（及其子代）或特定结构/类，并且可以使用RAII进行建模？
2. 生命周期 。 特定数据结构是否应该存在于与创建它的类或创建它的函数的生命周期非常相似的时间轴中？ 范围是什么？
3. 在编译时知道大小吗？ 这在分配可变大小的数组时出现。 许多STL容器就是这种情况。 在这种情况下，基本的struct / class会在堆栈上包含一些内容，然后维护指向堆分配结构的指针。

Answer 2

你说：

由于GameClass包含对象，因此MainComponent类可能会变得很大

对象大小是恒定的。 例如：空std::string具有相同sizeof非常长std::string ，它是任何对象相同。

sizeof(object)是堆栈上唯一占用的字节。 所有其余的都归堆了。

因此，如果达到堆栈限制并出现堆栈溢出异常，则应尝试将一些对象移到堆中。 或者，如果它是单个对象（如您的MainComponent类），则也可以使用singleton模式，或者只是将其声明为static ，以将其从堆栈中移至其他内存段。