这个问题问得好！很多刚学C语言的同学都会在这里踩坑，核心差异就藏在C字符串的**空终止符'\0'**里，咱们一步步拆解：

1. 双引号初始化的特殊待遇 #

当你用"abcdefg"这种字符串字面量初始化字符数组时，C编译器会自动帮你做一件事：在字符序列的末尾悄悄添加一个'\0'（ASCII值为0的字符）。这个字符是C语言里标记字符串结束的“哨兵”——所有标准字符串处理函数（比如strlen、printf("%s")、strcpy）都依赖它来判断字符串的边界。

所以数组x的实际内容是：{'a','b','c','d','e','f','g', '\0'}，它的总长度是8（7个可见字符+1个隐藏的空终止符）。

2. 花括号初始化的“严格性” #

而用{'a','b','c','d','e','f','g'}这种逐个字符初始化的方式时，编译器只会严格按照你给出的内容来初始化数组——你给了7个字符，数组y就只有7个元素，没有自动添加'\0'。

这就导致y只是一个普通的字符数组，不是C标准意义上的“字符串”，因为它缺少结束标记。

3. 实际使用中的差异 #

最直接的影响就是字符串处理函数的行为：

• 对x调用strlen(x)会返回7，因为它找到'\0'就停止计数；
• 对y调用strlen(y)会触发未定义行为——函数会从y的第一个元素开始往后找，直到碰巧在内存中遇到一个'\0'，结果可能是随机的数字，甚至导致程序崩溃。

你可以用这段代码验证一下：

#include <stdio.h>
#include <string.h>

int main() {
    char x[] = "abcdefg";
    char y[] = {'a','b','c','d','e','f','g'};
    
    // 用sizeof看数组的实际字节数
    printf("x的总长度：%zu\n", sizeof(x)); // 输出8
    printf("y的总长度：%zu\n", sizeof(y)); // 输出7
    
    // 用strlen看字符串长度（仅对x安全）
    printf("x的字符串长度：%zu\n", strlen(x)); // 输出7
    // 下面这行注释掉，运行会有风险！
    // printf("y的字符串长度：%zu\n", strlen(y)); 
    return 0;
}

4. 怎么让y和x等价？ #

如果想让y和x完全一样，只需要手动在初始化列表末尾加上'\0'：

char y[] = {'a','b','c','d','e','f','g', '\0'};

这样两个数组的内容和长度就完全一致了。

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