理解C语言malloc参数大小及代码中malloc(inputNum+1)、exit(1)的作用

你给出的代码片段如下：

buffer = (char*) malloc (inputNum+1);
if (buffer==NULL) exit (1);

前置基础概念 #

• malloc是C标准库<stdlib.h>提供的堆内存动态申请函数，参数为要申请的内存字节数，申请成功返回内存块首地址的void*指针，申请失败返回空指针NULL。
• exit同样是<stdlib.h>提供的进程主动终止函数，参数为进程退出状态码，会返回给操作系统：0代表程序正常退出，所有非0值都代表异常退出。

逐行逻辑解析 #

第一行 buffer = (char*) malloc (inputNum+1); #

这段代码的场景是申请存储字符串的内存：

• C语言的字符串以\0（空终止符）作为结束标识，inputNum一般是需要存储的字符串有效字符长度，多申请的1字节就是专门用来存储这个终止符的，避免后续执行strlen、strcpy等字符串操作时出现越界访问，触发未定义行为。
• 前面的(char*)是强制类型转换，作用是把malloc返回的无类型指针void*转为字符指针char*再赋值给buffer变量。纯C环境下这个转换可以省略，编译器会自动完成隐式转换，只有需要兼容C++或者遵循旧编码规范的场景才需要显式编写。

第二行 if (buffer==NULL) exit (1); #

这是内存申请的标准容错处理逻辑：

• 当系统剩余内存不足、或者堆空间碎片化找不到连续的足够大内存块时，malloc就会申请失败返回NULL，此时如果直接读写buffer指向的地址会直接触发段错误崩溃。
• 这里判断到buffer为空时调用exit(1)，主动终止程序运行，1是自定义的异常状态码，用来告知操作系统或上层调用方，程序是因为内存申请失败异常退出的。

malloc参数大小设定常见注意点 #

• 申请对应类型的数组内存时，建议用元素个数 * sizeof(元素类型)的写法，不要硬编码固定数值，避免不同平台基础类型长度不同导致空间不足或浪费，比如申请10个int的内存，参数写10 * sizeof(int)更规范。
• 所有字符串类的内存申请一定要多留1字节给空终止符，这是C字符串操作的核心要求。
• 动态申请的内存用完后必须调用free(buffer)释放，否则会出现内存泄漏，长时间运行的程序会逐渐占满系统内存。

内容的提问来源于stack exchange，提问作者DunPushSoHard