C语言中字符串未以空字符终止的程序输出疑问

嘿，这个问题问到点子上了——这可是C语言新手最容易踩的经典坑之一，咱们一步步拆解清楚：

核心本质：C语言里的“字符串”到底是什么？ #

首先得明确：C语言没有原生的字符串类型！我们平时说的“字符串”，本质是以空字符\0（ASCII值为0）结尾的字符数组。像printf("%s")、strlen()这类处理字符串的标准函数，逻辑都是从传入的内存地址开始，逐个读取字节，直到遇到\0才停止工作。

如果你的字符数组没有结尾的\0，这些函数就会“失控”：它们会越过数组的边界，继续读取后面的内存内容，直到碰巧遇到一个\0为止——这就是所谓的越界访问，属于C标准里的「未定义行为」。

为什么会“打印到第10个索引才终止”？ #

你看到的这个结果完全是巧合，不是什么固定规律！

举个例子，假设你的代码是这样的：

#include <stdio.h>
int main() {
    char arr[5] = {'a', 'b', 'c', 'd', 'e'}; // 没有添加终止空字符
    printf("%s\n", arr);
    return 0;
}

printf会从arr[0]开始读，读完arr[4]（也就是'e'）之后，不会停下，而是继续读取arr[5]、arr[6]……直到在某个内存地址读到\0。你看到的“到第10个索引终止”，只是因为在你的当前程序运行时，数组后面的第5个内存位置（相对于数组起始地址）刚好存了一个\0而已。

你测试不同大小的数组都出现“先打印数组大小然后终止”，也是同样的道理——你的测试环境的栈内存布局里，刚好在数组后面的对应位置有个\0。但这绝对不是必然的：换个编译器、换个操作系统、甚至只是换个编译时间，结果都可能完全不同——比如打印一堆乱码、程序直接崩溃，或者触发内存保护机制报错。

这种“看起来有规律”的结果为什么不能依赖？ #

因为这属于「未定义行为」——C标准没有规定程序在越界访问时必须怎么做，编译器可以自由处理。今天你在自己电脑上看到的是“到第10个索引终止”，明天换个环境可能就变成打印到第20个索引，甚至直接崩溃。依赖这种行为写代码，早晚会出大问题。

正确的做法是什么？ #

要避免这种问题，你需要确保字符数组始终以\0结尾：

• 手动添加终止符：char arr[6] = {'a', 'b', 'c', 'd', 'e', '\0'};（注意数组大小要比实际字符数多1）
• 用字符串字面量初始化：char arr[] = "abcde";——字符串字面量会自动在末尾添加\0，这里数组的实际大小是6
• 如果是动态赋值的字符数组（比如用malloc分配的），一定要记得在最后一个有效字符后面写入\0

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