字符串在 C 中是如何工作的？

Question

字符串在C编程语言中被称为常量。

所以，当我给出像char *s = "Hello" 这样的语句时，我了解到s 指向H 的内存位置，因为“Hello”存储在程序的某个静态内存中，并且"Hello" 也是不可变的。

这是否意味着变量s 现在是指向常量数据的指针 类型的变量，例如const int a = 3;const int *i = &a;。这似乎是因为我无法操作数据（当我这样做时，会导致分段错误）。

但是，如果是这样，编译器不应该能够检测并说我已将合格数据分配给不合格变量。 char *p p 是指向非限定字符的指针，当我说char *p="Hello" p 时，指向非限定字符的指针不能指向 const 字符类型？

我在这里错过了什么？

如果不是上述情况，那么如何使常量字符数组不可变？

Answer 1

语法 char *s = "Hello"; 是从 const 关键字不是 C 规范的一部分的日子开始出现的。后来它仍然是为了反向兼容。写这样的s[i] 会导致未定义的行为。 （在您的情况下观察到 Seg 故障几次运行）

这种行为（从字符串文字或 const char [] 转换为非常量 char *）在 C++ 中得到了短暂的支持，直到 C++11 才被弃用。

C 中的类型安全是有限的。

Answer 2

首先，C 中的 string 不是不可变的。 C 甚至不知道字符串的 type —— string 只是定义为以'\0' 结尾的char 序列。

您所说的是字符串文字，它们可以是不可变的。 C 标准定义尝试修改字符串文字是未定义的行为，但它们的类型仍然是char *。因此，如果您确定在您的 C 实现中，字符串文字是可写的，那么您可以这样做！ *)

但是您的代码将不再是明确定义的 C 代码，并且无法在具有只读字符串文字的其他平台上运行。它将编译，因为通过char * 编写完全没问题，但在运行时会以不可预知的方式失败（例如，可能是崩溃）。

因此，可移植代码的最佳做法是仅将字符串文字分配给const char * 指针，如果您需要可变字符串，请将字符串文字用作char [] 的初始化程序 .

---

*) 注意这是非常不常见的，现在你会发现它只有针对嵌入式或非常旧的平台的专门编译器。现代平台将将字符串文字放置在只读数据段或类似数据段中。