由于0長度數組是GNU C的擴展，有一些巧妙編寫的詭異代碼，其執行結果就是依賴于編譯器和優化策略的實現的，我們來看看以下代碼：

#include 
#include 

int main(void)
{
    char a[0];
    printf("%pn", a);

    char b[0];
    printf("%pn", b);

    const char *c= "Hello";
    printf("%pn", c);

    const char *d = "Hello";
    printf("%pn", d);

    return EXIT_SUCCESS;
}

編譯結果是：

可以看到a和b的地址就會被編譯器優化到一處，因為a[0] 和 b[0] 對于程序來說是無法使用的，同樣編譯器對于相同字符串常量，往往地址也是優化到一處，減少空間占用。

所以其本質上涉及到的是一個C語言里面的數組和指針的區別問題，Programming Abstractions in C一書中提到：

“arr is defined to be identical to &arr[0]”.

也就是說，char a[1]里面的a實際是一個常量，即a = &a[0]。而char *b是有一個實實在在的指針變量b存在。所以，a=b是不允許的，而b=a是允許的。

#include 
char a[1];
char *b;

int main () {
 b = a; 
  //a=b會報錯，incompatible types when assigning to type ‘char[1]’ from type ‘char *’
 a = b;
 return 0;
}

兩種變量都支持下標式的訪問，那么對于a[0]和b[0]本質上是否有區別？我們可以通過一個例子來說明。

審核編輯：湯梓紅