字符数组可以初始化赋值，却不能直接赋值，为啥?

最新推荐文章于 2025-08-27 19:29:45 发布

原创最新推荐文章于 2025-08-27 19:29:45 发布 · 782 阅读

CC 4.0 BY-SA版权

文章标签：

58 篇文章

订阅专栏

在C语言中，字符数组（如 char[20]）可以在初始化时赋值，但不能在定义后直接赋值，这是由C语言的设计规则和底层内存管理机制决定的。下面详细解释原因。

数组名的本质：
在C语言中，数组名是一个指向数组首元素的常量指针（例如 char[20] 的数组名会被视为 char* const 类型）。

初始化（Declaration with Initialization）：

char name[20] = "Alice";  // 合法：初始化时编译器会填充数组内存

这是编译器在编译阶段完成的静态内存填充，不涉及运行时赋值操作。

赋值（Assignment after Declaration）：

char name[20];
name = "Alice";  // 非法：运行时试图修改数组名的指向

这里 name 是常量指针，不能重新指向其他地址（如字符串字面量 "Alice" 的地址）。

C++的 std::string：
C++的 std::string 是类类型，支持直接赋值（重载了 = 运算符），但底层仍是通过动态内存管理实现的：

std::string name;
name = "Alice";  // 合法：实际上是调用了 operator=()

Python/Java的字符串：
这些语言的字符串是不可变对象，变量名本质是指针，赋值只是改变指针指向：

name = "Alice"  # name指向新字符串

C的严格性：
C语言为了效率和贴近硬件，直接暴露内存管理，因此数组名是固定的内存块标识符，不允许重新绑定。

初始化时的内存填充：

char name[20] = "Alice";

编译器会在程序加载到内存时，直接将字符串 "Alice\0" 的字节序列拷贝到数组的内存空间（静态或栈内存）。

赋值时的操作：

name = "Alice";  // 试图做什么？

如果允许这种语法，实际需要完成以下步骤：

1. 找到字符串字面量 "Alice" 的地址（通常存储在只读区）。
2. 将 name 的指向改为该地址。
  但 name 是数组的首地址常量，无法被修改（类似 char* const 指针）。

char name[20];
strcpy(name, "Alice");  // 将字符串内容复制到数组内存中

char *name = malloc(20);
strcpy(name, "Alice");  // 合法：指针可以重新赋值
free(name);

结构体初始化允许整体赋值（因为编译器会隐式处理）：

struct Person {
    char name[20];
};
struct Person p = {"Alice"};  // 合法：初始化时整体填充内存