c++ - C 字符串 : Simple Question

Question

我在下面初始化了三个变量:

char c1[] = "Hello";
char c2[] = { 'H', 'e', 'l', 'l', 'o', '\0'};
char* c3 = "Hello";

我知道 c1 和 c2 是相同的，并且它们都是字符串，因为它们以\0 结尾。但是，c3 不同于 c1 和 c2。这是因为 c3 没有以\0 结尾吗？这是否意味着 c3 不是字符串？如果 c3 不是字符串，那么为什么 printf("%s", c3); 不报错？谢谢!

编辑:

为什么c1和c2可以修改而c3不能修改？

Answer 1

就 C 而言，c3 与其他语言之间最相关的区别是不允许您尝试使用 c3 修改底层字符。我经常发现这样想很有帮助:

char *xyz = "xyz";

将在堆栈上创建一个可修改的指针，并使其指向不可修改的字符序列{'x','y','z','\0'} 。另一方面，

char xyz[] = "xyz";

将在堆栈上创建一个足够大的可修改数组来容纳字符序列{'x','y','z','\0'}然后将该字符序列复制到其中。然后数组内容将是可修改的。请记住，该标准并未提及堆栈，但这通常是如何完成的。毕竟，它只是一种内存辅助工具。

形式上，c3 是一个指向字符串文字的指针，而 c1 和 c2 都是字符数组，它们都恰好以一个结尾空字符。当它们被传递给像 printf 这样的函数时，它们会衰减到指向数组第一个元素的指针，这意味着它们将在该函数中被视为与 c3 相同(实际上它们在很多情况下都会衰减，请参阅下面 c99 的第三个引述以了解异常(exception)情况)。

C99 的相关部分是 6.4.5 String literals，它解释了为什么不允许修改 c3 指向的内容:

It is unspecified whether these arrays are distinct provided their elements have the appropriate values. If the program attempts to modify such an array, the behavior is undefined.

以及为什么它确实有一个空终止符:

In translation phase 7, a byte or code of value zero is appended to each multibyte character sequence that results from a string literal or literals.

6.3.2.1 Lvalues, arrays, and function designators under 6.3 Conversions 指出:

Except when it is the operand of the sizeof operator or the unary & operator, or is a string literal used to initialize an array, an expression that has type ‘‘array of type’’ is converted to an expression with type ‘‘pointer to type’’ that points to the initial element of the array object and is not an lvalue. If the array object has register storage class, the behavior is undefined.