C语言中申请0内存与结构体中数组长度为0深入解析

最新推荐文章于 2021-08-12 17:12:36 发布

fsfsfsdfsdfdr

最新推荐文章于 2021-08-12 17:12:36 发布

阅读量2.3k

点赞数 3

CC 4.0 BY-SA版权

分类专栏：数据结构

本文链接：https://blog.csdn.net/fsfsfsdfsdfdr/article/details/97613920

本文探讨了C语言中malloc申请0长度内存的实现原理，解释了分配的内存实际上不为0，可能导致内存越界问题。同时，文章讨论了结构体中长度为0的数组在GNU C中的特殊用法，这种用法虽然节省空间但不具备移植性。总结了在处理这类情况时应注意的编程实践。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

最近在从事C语言发面的开发，发现自己的基础一般，工作中遇到了C语言中malloc申请长度为0的情况，此时居然返回的指针不是空，造成了业务终端的问题，同时对结构体中数组长度为0的内存分配不是很清楚，因此总结他人的博客和自己的见解进行了深入分析。

一、malloc申请0长度内存

初始化在堆上malloc了一块区域，但是malloc()的size为0，这块地址被用来存了很多数据，数据依然可以使用，但是存的数据会将其他地址踩掉，就会在用其他地址的时候存在segment fault段错误问题

在标准的malloc实现中，并不检查输入值的大小，而是将输入值做对齐操作后直接从堆上分配空间。
　　不论输入值的大小为多少，在malloc的内部最小的内存分配大小是一个定值（一般是8B），因为malloc需要用这部分空间来维护堆上的内存块链表。所以当用户申请一块0B的空间时，malloc实际分配的空间是8B，如果用户申请的空间是X，则malloc实际分配的空间是(对齐(X)+8)。这也是为什么malloc分配的空间千万不能越界使用的原因：堆的内部链表结构将被破坏。
　　
　　对于new和delete malloc和free这样的内存分配与释放函数：到底delete和free是怎么知道要释放掉多少内存的呢？
　　其实在new和malloc内存分配成功时，系统除了返回一个指向这块内存的指针外，还会获得一块用于记录此处分配的内存大小的内存块。