为何C字符串与字符数组并非完全等价？初始化语法差异解析

首先明确，以下三种C字符串定义是等价的，都会生成以空字符'\0'结尾的字符数组：

const char str1[] = {"abc"};
const char str2[] = {'a', 'b', 'c', '\0'};
const char str3[] = {97, 98, 99, '\0'};

两种有效初始化方式的原因 #

const char * str_arr[] = {"abc", "ABCD"};
const char * str_arr[] = { str1, str2, str3 };

• 第一种里的"abc"是字符串字面量：C语言会自动将其存储为以'\0'结尾的字符数组，同时字符串字面量会被隐式转换为指向该数组首元素的const char*指针，完全匹配数组元素的类型。
• 第二种里的str1、str2、str3是字符数组名：在表达式中，数组名会自动退化为指向数组首元素的const char*指针，和数组元素类型完全匹配，因此能正常完成初始化。

报错写法的问题根源 #

const char * str_arr[] = { {'a', 'b', 'c', '\0'}, {'A', 'B', 'C', 'D', '\0'} };
// 报错：fatal error: excess elements in scalar initializer

核心原因是类型不匹配：

• str_arr的每个元素是const char*类型的标量指针，而{'a', 'b', 'c', '\0'}是字符数组的聚合初始化器，它只能用来初始化字符数组，无法直接赋值给单个指针。
• C语言规则明确禁止用多元素的聚合初始化器去初始化单个标量（指针属于标量类型），编译器会判定你给一个指针塞了多个元素，因此抛出“标量初始化器中有多余元素”的错误。

如果想用类似写法实现，有两种可行方案：

// 方案1：先定义字符数组再初始化指针数组
const char s1[] = {'a', 'b', 'c', '\0'};
const char s2[] = {'A', 'B', 'C', 'D', '\0'};
const char * str_arr[] = {s1, s2};

// 方案2：使用二维字符数组（注意要预留足够的列数）
const char str_arr[][5] = {{'a', 'b', 'c', '\0'}, {'A', 'B', 'C', 'D', '\0'}};

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