以下是引用huangapple在2011-3-2 22:55:49的发言：


以上是win—tc里的结果

以下是引用卧龙孔明在2011-3-2 23:23:55的发言：

非常建议楼主好好看书，如果你现在确实认真看了，那么建议你换一本书。
现在我来解释你这个问题：
首先，你要明白char *a = "ASDFGHJ";倒地是什么意思。
"ASDFGHJ"是一个常量，a指向这个常量。
验证a指向的是常量的方法：你试试a[0] = 1 可用否？程序崩溃了吧。
现在解释第一个问题，a,b都是指向了"ASDFGHJ"的字符指针，为什么a,b相同？因为你代码中a=,b=后的字符串是同一个字符串，编译器做了处理。
你可以做另外一个实验，让a=,b=后的字符串不相同，那么你会发现它们的地址是不同的。
而"BCCN" == "BCCN"中你所比较的，是两个常量字符串的地址，由之前所述，这两个常量字符串地址是相同的（好比1=1），所以输出了=。
最后，输出地址请用%p。
为楼主实践精神所感写下这些，希望对楼主有帮助。
ps: 现在的C语言教材水平参差不齐，大多数教材错误或不符合标准的内容不计其数，一些作者真是混蛋。

以下是引用pangding在2011-3-2 23:27:57的发言：

标准里对编译器的实现几乎没有限制。这个问题或者只从标准的角度出发看，或者就是从实践的角度去看。差别非常大。

刚刚没仔细看楼主 7 楼说的。看了之后确实发现楼主对标准的作用有一定的誤解。我明天出点标准的原文，可能能使楼主在很大程度上加深对“标准是什么”这个问题的理解～

以下是引用pcbaichi在2011-3-3 00:09:15的发言：

楼主这样说是有道理，但lz肯定是没有那种深刻体会，否则我也不会来发表意见，孔明大牛说的真的没错

以下是引用pangding在2011-3-3 18:30:25的发言：

标准学习完毕。呵呵，标准里关于这方面的描述没我想像的复杂，和我以前学习其它的概念相比容易了不少。

字符串常量的语义是“字符串字面(string literal)"。 就是说这是个基本类型了，与 整型 之类的享有同等的地位。不过看标准里关于这个类型的描述量，并没看出同等。
行为是：静态储存域(static storage duration)；在编译时分配空间，其大小应该正好等于字面值加上一个\0的位置；类型视为 字符型数组(注意不是 const char 型的)。虽然不是常字符类型，但对其更改的行为是未定义的。(我觉得在标准里没有特别描述 string literal 语义特征的时候，把它理解成非具名数组应该是最接近的。不然标准里有些规定就要自相矛盾了。)
在预处理阶段，要把毗邻的字面字串连接在一起。所有在预处理阶段应该处理的标记(token)规则，不对其生效。
标准描述了很多关于如何判断一个字面是 char 类型，还是 w_char 类型的规则。和你的问题关系不是很大，我就不介绍了。
可以用于对字符型数组的初始化，享有可选 {} 的权利(就是说可以写 char a[] = "abc", 或 char a[] = { "abc" } )。如果指定数组的大小足以容纳拖尾的 \0，或者未指定大小，则 \0 也被视为初值之一。

6.4.5 中的 第6条，提到了楼主敏感的那个问题，它的上下文是第5条(我下面都给出了)。它的内容是“是否将两个字面视为同一是未明确的，除非它们的元素有适宜的值。"(这是我翻译的，没什么权威性，请参见以下原文)。
这个适宜是个很模糊的说法。我的解释是：标准认为可以将两个一样的字符串视为同一个，也可以不。既 TC 的实现方法是可以接受的。
因为在编译器实现的时候必须考虑多字节编码，而不只是 ascii 编。比如很常见到大家在写注释，甚至字面的时候用中文。很多比较函数受本地环境影响，有很大的出入。比如“简历”的 英文 resume 和 法文 résume 在一定的系统环境变量控制下，会在 strcmp(我是这意思，当然你不能用这个函数比较非 char 类型) 里返回 true。所以标准在这为编译器的实现者提供了人性化，就是吃不准就分开，任何做法都符合标准。

“未明确(unspecified)”是指，标准对这个語法项给出了不止一种选择，但不做强迫选哪个的规定。实现必须选择其中一种，并在文档中申明。其它条目中出现的“未定义(undifined)”是指，标准对这种行为不施加任何限制，实现可以任意方式实现(甚至选择不实现)。

基本上就这些。我还从标准里选了点相关的条目。大家可以自己看看。
以下引用出自：ISO/IEC 9899:1999 (E)