数组中的C等运算符

Question

const char ca[]="test";
const char cb[]="test";

const char *pca="test"; //(*)
const char *pcb="test";

cout<<(ca==cb)<<endl; //0
cout<<(pca==pcb)<<endl; //1

我对这个结果很困惑。

ca cb是不同的对象，当处理ca==cb时，它会比较第一个元素的地址，所以

但是我不明白< code>pca pcb的行为。

（*）是否等于

const char temp[]="test";
const char *pca = temp;

?

“测试”是一个对象吗？pca和pcb都指向这个物体的第一个元素？

Answer 1

const char ca[]="test";
const char cb[]="test";

这将创建名为ca和cb的新变量，大到足以保存初始化（而不是赋值）中给定的字符串文字中的字符和终止符，然后将文字字符串的内容复制到每个变量中。

const char *pca="test"; //(*)
const char *pcb="test";

这只是将字符指针设置为指向给定的字符串文字。一个实现可以自由地为这些文字使用相同的内存，有效地为多种目的混淆了内存。它可以这样做而不受惩罚，因为无论如何尝试修改字符串文字都是未定义的行为。

关于您关于指针等效于以下内容的最后一点：

const char temp[]="test";
const char *pca = temp;

事实并非如此。pca变量现在指向允许您修改的内存（通过temppca或

还要记住，此字符串文字别名可能比最初想象的更微妙。代码段：

cout << a << "is " << "invalid\n";
cout << b << "is " << "valid\n";

可能最终只有两个字符串文本存储在内存中：

Addr:
  0   1     2      3   4   5   6   7   8   9  10   11   12
+---+---+-------+----+---+---+---+---+---+---+---+----+----+
| i | s | <spc> | \0 | i | n | v | a | l | i | d | \n | \0 |
+---+---+-------+----+---+---+---+---+---+---+---+----+----+

使用:

• <代码>是

而且，如果其他代码段需要 id\n，它可以只使用地址 9。