堆与堆栈对象创建：深入探讨

在 C 中，对象创建可以分为基于堆栈的或基于堆的基于。虽然这两种创建类型的语法略有不同，但了解底层内存管理原理至关重要。

基于堆栈的对象

提供的代码片段，Object o;，在函数堆栈上分配一个对象。通过自动存储持续时间，这些对象在函数执行期间驻留在堆栈上，并在函数返回时被销毁。指针 o 存储堆栈上对象的地址。

基于堆的对象

对于基于堆的对象，代码通常遵循以下模式：Object*哦； o = 新对象();。在第一行中，指针 o 在堆栈上分配，而在第二行中使用 new 运算符在堆上创建实际对象。指针 o 现在指向堆分配的对象。

超越堆栈和堆

需要注意的是，堆栈和堆的概念在C 标准。相反，该标准引入了存储持续时间的概念，它可以是自动的、动态的、静态的或线程本地的。

自动存储通常在堆栈上实现，用于局部变量和某些类型的对象。另一方面，静态存储通常不与堆栈或堆关联，而是驻留在单独的内存区域中。成员变量继承它们所属对象的存储持续时间。

示例

考虑以下代码：

struct Foo {
    Object o;
};

Foo foo;

int main() {
    Foo f;
    Foo* p = new Foo;
    Foo* pf = &f;
}

• foo.o：静态存储，驻留在单独的内存区域。
• f.o：自动存储，位于堆栈上。
• p->o ：动态存储，分配在堆上。
• pf->o：指向与f.o相同的对象，具有自动storage.

虽然指针变量 p 和 pf 存储在堆栈上，但它们指向的对象具有不同的存储持续时间。

总之，理解 C 中的对象创建超出了堆栈与堆的简单二分法。通过理解存储持续时间并考虑定义对象的上下文，开发人员可以有效地管理内存分配并避免潜在的内存相关问题。