當你凝視深淵的時候，深淵也在凝視你。

作者: [email protected]

NOTE: 此文件只是個人理解，其中如有錯誤望可以指正。

結論是這樣式兒的：

• 指標佔用記憶體空間儲存地址；陣列名是一個數組起始的位置。指標的指向可以修改，陣列在記憶體中起始位置無法修改。
• 對指標使用sizeof得到的是4位元組（32-bit）和8位元組（64-bit），而對陣列名使用sizeof得到的是陣列的大小。
• 做為形參的時，int a[]與int *a沒有實際作用上的區別。當然，如果你採用a[]作為形參，可以更明顯的體現這是一個數組。
• 第四點還沒想起來，想起來再說吧。。。

背景可能是這樣式兒的：

本胖遇到了一個常見的問題，即需要根據不同的情況構建佔用不同大小的儲存區域，並格式化。

即存在如下的兩個結構體，而其中N的值為不定值;

typedef struct _test_a_tag 
{
    int32_t a;
    int16_t b;
    uint8_t c;
} tat;

typedef struct _test_b_tag
{
    int16_t num;
    tat tat[N];
} tbt;

本胖想到的第一個方案是：

typedef struct _test_b_tag
{
    int16_t num;
    tat* tat;
} tbt;

tbt->tat = malloc(sizeof(N * tat));
 

這樣的結果是如果tbt同樣使用malloc獲取記憶體，就需要使用兩次malloc構建tbt。而在本胖的程式碼中這樣做會導致大量冗餘的操作。
於是，本胖換了一種結構體：

typedef struct _test_b_tag
{
    int16_t num;
    tat tat[];
}tbt;

tbt* tbt = (tbt*)malloc(sizeof(tbt) + N * sizeof(tat));

這樣可以省去兩次malloc的操作。

/*你可以修改一個指標的指向，但你不能修改陣列名的指向*/
tat* tat； //這裡實際上是申請了一個指標變數，其指向的目標在未賦值前是未知的。可以使用tat++；
tat tat[]; //這裡的tat實際上是定義了在這個位置是一個靜態的指標陣列。不可以使用tat++；
 

如果你在vs 2017的編譯環境下鍵入類似上述的結構，你會發現：

tat* tat; tat在vs除錯資訊中的型別是 test_a_tag*
tat tat[]；tat在vs除錯資訊中的型別是 test_a_tag[0]

需要注意的是：

在vs2017中：

typedef struct test_a_tag
{
    int32_t a;
    int32_t b[];
} tat;

sizeof(tat) = 4;  //32-bit