C语言中'\0'字面量占4字节但字符串中占1字节的原因及内存疑问

1. '\0'字面量与字符数组中占用空间不同的原因 #

这不是编译器的特殊处理，是C语言标准的规定：

• 单引号包裹的字符常量（比如'\0'），类型是int而非char。所以sizeof('\0')等价于sizeof(int)，在32位系统下通常是4字节。
• 当把'\0'赋值给char类型的数组元素或变量时，会发生隐式类型转换，将int类型的0截断为char类型的0，只占用1字节空间，这完全符合C的类型转换规则。

2. 动态内存分配时对空终止符的注意事项 #

必须根据实际使用场景判断：

• 如果要存储C风格字符串（即需要用strcpy、printf("%s")等依赖空终止符的函数处理），分配内存时必须额外预留1字节给'\0'。比如要存长度为n的有效字符，需要调用malloc(n + 1)，否则会因缺少终止符导致未定义行为（比如字符串函数读取越界）。
• 如果只是存储普通字符数组（不需要作为字符串处理），不需要特意预留终止符空间，但要确保所有操作都不越界访问分配的内存。

3. 给出的程序存在的问题 #

这段程序有两个明显的潜在问题：

• 未检查malloc的返回值：如果内存分配失败，malloc会返回NULL，后续对message的赋值操作会触发空指针访问，导致程序崩溃。
• 内存泄漏：程序结束前没有调用free(message)释放分配的内存，虽然程序退出后操作系统会回收，但这是不良编程习惯，长期运行的程序会积累内存泄漏问题。

另外需要注意：程序中虽然在message[3]和message[7]位置写入了'\0'，但如果后续用printf("%s", message)输出，只会打印ABC，因为第一个'\0'会截断字符串；而message[8]和message[9]的X、Y不会被字符串函数处理，但它们的赋值本身没有越界。

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