当你凝视深渊的时候,深渊也在凝视你。
作者: 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;
本胖想到的第一个方案是:
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