如何解决我在修改指针主题时的一个问题
为什么只有指针可以访问c ++或C中的堆内存,即指针的特殊功能是什么,它可以访问堆内存?
解决方法
关于指针没有什么特别的。只是因为变量的内存永远不会存储在堆中,因为它们不需要在那里。
- 自动变量在堆栈的激活记录中分配。编译器将这些变量的使用转换为堆栈指针的偏移量。
- 全局变量和静态变量分配在数据段(如果已初始化)或BSS段(如果使用默认零初始化)中。编译器将这些变量的使用转换为它们在这些内存段中的地址。
堆用于动态分配的数据,并且在函数返回后需要保留。分配了该内存后,该位置将作为指针返回,因此必须将其存储在指针变量中。
注意语言规范中没有任何内容涉及这些存储区域,仅描述了抽象语义。但是问题和答案是针对典型的实现。
从技术上讲,没有什么可以阻止实现使用堆来存储全局和/或静态变量。在程序启动时,它可以为每个全局变量或全部作为一个块请求堆分配。第一次使用静态变量输入函数时,它可以为该变量分配内存。但是指向这些分配的指针将必须存储在某个已知位置。而且这将使对变量的访问变慢,因为它们都必须通过这些指针进行间接访问。因此,在编译时分配这些地址会更有效。
类似地,激活记录可以在堆中动态分配。但是堆分配和释放比简单地添加到堆栈指针寄存器要昂贵得多。此外,还有一个难题:如果函数调用需要动态分配,那么如何调用动态分配函数呢?可以通过使用除普通函数调用方法以外的机制将动态分配内置到实现中来解决此问题,但是由于一开始没有理由这样做,因此不必保证如此复杂的级别。
某些编程语言具有closures,即使在函数返回后,它们也可以保留局部变量的绑定。这些语言的实现将使用它们的堆来存储这些激活记录,可能仅在创建闭包时动态地进行操作。但是C ++没有这些类型的函数。如果您返回一个函数,并且该函数尝试访问从其返回的范围之外的变量,则它是未定义的行为。将其添加为扩展的模块实现,C ++允许将所有自动变量存储在堆栈中,这是最有效的方法。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。