int a[]与int* a的区别_形参int a[]

当你凝视深渊的时候，深渊也在凝视你。

---

作者: zhanghaoli12345@163.com

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;
1
2
3
4
5
6
7
8
9
10
11
12

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

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

tbt->tat = malloc(sizeof(N * tat));
1
2
3
4
5
6
7

这样的结果是如果tbt同样使用malloc获取内存，就需要使用两次malloc构建tbt。而在本胖的代码中这样做会导致大量冗余的操作。
于是，本胖换了一种结构体：

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

tbt* tbt = (tbt*)malloc(sizeof(tbt) + N * sizeof(tat));
1
2
3
4
5
6
7

这样可以省去两次malloc的操作。

/*你可以修改一个指针的指向，但你不能修改数组名的指向*/
tat* tat； //这里实际上是申请了一个指针变量，其指向的目标在未赋值前是未知的。可以使用tat++；
tat tat[]; //这里的tat实际上是定义了在这个位置是一个静态的指针数组。不可以使用tat++；
1
2
3

如果你在vs 2017的编译环境下键入类似上述的结构，你会发现：

tat* tat; tat在vs调试信息中的类型是 test_a_tag*
tat tat[]；tat在vs调试信息中的类型是 test_a_tag[0]
1
2

需要注意的是：

在vs2017中：

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

sizeof(tat) = 4;  //32-bit
1
2
3
4
5
6
7