关于bennyhuo不是算命的老师视频的一些感悟。
首先看看这样一段结构体,在这段结构体中定义了一个没有制定长度的数组
typedef struct person {
int age;
char const* name;
char intro[];
} Person;
平时我们在设置数组的时候,都会设置好数组的具体大小,比如uint8_t data[32]
,或者是使用指针uint8_t* data
来表示一个不定长数组。还有,在传参的过程中,我们有时候需要传递一个数组,写成uint8_t* data
或者是uint8_t data[]
作用是相同的。
那么思考:在这个结构体里面,char* intro
和char intro[]
是否相同呢?
初步分析
typedef struct person {
int age; // 4个字节的整型
char const* name; // 对于64位程序来说,指本身也是一个变量,占8个字节
char intro[];
} Person;
那么char intro[]
呢?
我们都知道,数组的名字一般来说可以看作是一个地址,比如:
int a[10] = {
0 };
printf("%x", a); // 10ffc3c
所以我们可以粗略的得出一个结果:
char* intro
表示的是一个指针,它占8个字节,可以指向其他的任意地址char intro[]
表示的是一个地址,指向的是结构体内的地址
调试
现在我们来尝试着写一下创建对象的方法:
Person* newPerson(char const* name, int age, char const* intro) {
size_t intro_len = (intro ? strlen(intro) : 0) + 1; // 字符串都是以'/0'结尾
Person* p = (Person*)malloc(sizeof(Person) + intro_len);
p->age = age;
p->name = name;
if (intro) {
strcpy(p->intro, intro);
}
else {
p->intro[0] = 0;
}
return p;
}
然后在malloc动态开辟空间的时候打个断点看看:
注意:一个十六进制数等于四个二进制数,一个字节有八位
比如
0xcd
可以表示为二进制11001101
,这恰好为一个字节的长度
现在我们去0x000001463EE4EFF0
看看那里有什么,目前看上去还是一团乱码:
往下走一步,将p->age = age;
执行完毕看看:
再往下走一步,执行p->name = name;
后再看看:
(关于字节的补齐可以参考字节对齐这个概念,我放在总结中介绍)
因此,我们使用sizeof(Person)
方法,将会运算得出16。
现在,再往下走一步,执行p->intro
的拷贝操作后再看看:
不难发现,p->intro
部分紧紧的贴合在了p对象内存地址的后面。
总结
在结构体当中:
- 长度为0的数组并不占有内存空间
- 指针方式需要占用内存空间
在我们这个Person
结构体当中:
- 如果采用的是
char intro[];
,在分配内存时一次性将所需的内存全部分配给它,释放也是一次释放。数组和结构体的内存是连续的。 - 而如果采用的是
char* intro;
,首先,需为结构体分配一块内存空间;其次再为结构体中的成员变量指针分配内存空间。这样两次分配的内存是不连续的,需要分别对其进行管理。
另外,关于字节对齐:
它主要是针对结构体而言的,通常编译器会自动对其成员变量进行对齐,以提高数据存取的效率;理论上计算机对于任何变量的访问都可以从任意位置开始,然而实际上系统会对这些变量的存放地址有限制,通常将变量首地址设为某个数N的倍数,这就是内存对齐。
这里介绍默认对齐,默认对齐方式内存分配满足以下三个条件:
- 结构体第一个成员的地址和结构体的首地址相同
- 结构体每个成员地址相对于结构体首地址的偏移量是该成员大小的整数倍,如果不是则编译器会在成员之间添加填充字节
- 结构体总的大小要是其成员中最大size的整数倍,如果不是编译器会在其末尾添加填充字节。