C语言中字符数组与字符串的差异：数组无终止符如何判断结尾？

首先得明确：字符串是C语言里一种特殊约定的字符数组，而普通数组的“范围判定”逻辑和它完全不同，核心在于——普通数组的长度信息是编译期确定并由程序员主动管理的，而非依赖数据里的特殊标记。

普通数组的长度是怎么来的？ #

当你写int arr[] = {1, 2, 3};这种代码时，编译器在编译阶段就会数清楚数组里的元素个数（这里是3个int），并把这个长度信息直接嵌入到后续使用数组的代码中：

• 如果你写sizeof(arr)，编译器会直接替换成3 * sizeof(int)这个常量值；
• 如果你要遍历数组，要么直接用编译期已知的长度（比如for(int i=0; i<3; i++)），要么通过sizeof(arr)/sizeof(arr[0])计算出长度（这也是编译期就能算好的常量）。

但如果把数组传给函数，情况会变：数组会退化为指向首元素的指针，此时函数里拿到的只是一个地址，完全不知道原数组的长度。这时候就必须手动把长度作为参数传给函数，比如：

void print_arr(int *arr, int len) {
    for(int i = 0; i < len; i++) {
        printf("%d ", arr[i]);
    }
}

int main() {
    int arr[] = {1,2,3};
    print_arr(arr, sizeof(arr)/sizeof(arr[0])); // 主动传递长度
    return 0;
}

说白了，普通数组的“结束位置”是由程序员传递的长度信息或者编译期确定的常量范围来界定的，不需要在数据里加特殊标记。

为什么字符串需要nul terminator？ #

字符串的特殊之处在于，它经常需要以“可变长度的字符序列”形式传递（比如用户输入的字符串、文件里读出来的字符串），如果每次都要手动传长度会非常繁琐。于是C语言约定：用'\0'（ASCII值为0的字符）作为字符串的结束标记。

像strlen、printf("%s")这类函数，就是通过遍历字符，直到遇到'\0'才停止，以此来确定字符串的长度和结束位置。本质上是用数据本身的特殊标记来替代外部的长度信息，这是一种权衡后的设计选择——牺牲一个字节的存储空间，换来使用上的便捷性。

补充：两者的本质区别 #

• 普通数组：范围由外部元数据（编译期长度、手动传递的长度）定义，数据本身不需要特殊标记；
• 字符串（字符数组）：范围由数据内部的特殊标记（'\0'）定义，是C语言针对字符序列场景的特殊约定。

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