c - 以下(关于 const char *)是编译器特定功能吗？

Question

这个问题已经有答案了:

C/C++: Optimization of pointers to string constants (6 个回答)

已关闭 8 年前。

我的编译器有一些奇怪的行为。如果已经定义了特定的字符串，那么如果我定义具有相同字符串值的另一个变量，它实际上会指向原始实例。例如

const char * a = "dog";
const char * b = "dog";
printf("a = %p\n",a);
printf("b = %p\n",b);

示例输出为

a = 00404060
b = 00404060

我猜这没有错，但我想知道是否是编译器特定的或者是否有任何关于此的规则。出现这个问题是因为为我工作的人编写了一个应该比较和计算字符串匹配的函数。事实上，他们比较并计算了指针值，但仍然得到了正确的答案。

我正在使用 gcc(或 g++)4.6.3

Answer 1

它是编译器特定的，C 标准说它是未指定的:

C11 §6.4.5 String literals

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.