两个字符串指向不同字符串文字的地址是相同的

Question

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

int main()
{
    char * p = "abc";
    char * p1 = "abc";
    printf("%d %d", p, p1);
}

当我打印两个指针的值时,它打印相同的地址.为什么？

Answer 1

具有相同内容的两个不同字符串文字是否放置在相同的内存位置或不同的内存位置是依赖于实现的.

你应该总是把p和p1为两个不同的指针(即使它们具有相同的内容),因为它们可能会或可能不会指向同一个地址.您不应该依赖编译器优化.

C11标准,6.4.5,字符串文字,语义

如果这些数组的元素具有适当的值,则这些数组是否不同是未指定的.如果程序试图修改此类数组,则行为未定义.

打印格式必须是%p:

  printf("%p %p", (void*)p, (void*)p1);

看到这个答案的原因.

Answer 2

您的编译器似乎非常聪明,检测到两个文字是相同的.由于文字是不变的,编译器决定不将它们存储两次.

似乎值得一提的是,这不一定是必须的.请参阅Blue Moon对此的回答.

顺便说一句:printf()声明应该是这样的

printf("%p %p", (void *) p, (void *) p1);

as "%p"用于打印指针值,并且void *仅为类型指针定义.^*1

另外我会说代码错过了一个return声明,但C标准似乎正在被改变.其他人可能会澄清这一点.

^{*1:void *对于char *指针,不需要转换到此处,而是指向所有其他类型的指针.}

Answer 3

您的编译器已经完成了一个名为"字符串池"的操作.你指定你想要两个指针,都指向相同的字符串文字 - 所以它只制作了一个文字的副本.

技术上:它应该抱怨你没有使指针"const"

const char* p = "abc";

这可能是因为您使用的是Visual Studio,或者您在没有-Wall的情况下使用GCC.

如果您明确希望将它们存储在内存中两次,请尝试:

char s1[] = "abc";
char s2[] = "abc";

在这里,您明确声明您需要两个c字符串字符数组而不是两个指向字符的指针.

警告:字符串池是编译器/优化器功能,而不是语言的一个方面.因此,不同环境下的不同编译器会根据优化级别,编译器标志以及字符串是否位于不同的编译单元中而产生不同的行为.

Answer 4

正如其他人所说,编译器注意到它们具有相同的值,因此决定让它们在最终的可执行文件中共享数据.但它变得更加漂亮:当我编译以下内容时gcc -O

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

int main()
{
  char * p = "abcdef";
  char * p1 = "def";
  printf("%d %d", p, p1);
}

它打印4195780 4195783给我.也就是说,之后p1开始3个字节p,因此GCC已经看到了def(包括\0终结符)的公共后缀,并对您显示的那个进行了类似的优化.

^{(这是一个答案,因为评论太久了.)}