2.1 创建调试用结构体#

1
struct Girl {
2
    double height;
3
    char firstChar;
4
    int age;
5
    short hairCount;
6
}Misa;
7

8
struct Boy {
9
    double height;
10
    int age;
11
    char firstChar;
12
    short hairCount;
13
}Light;
14

15
struct Kira {
16
    double height;
17
    int age;
18
    char firstChar;
19
    short hairCount;
20
    struct Girl misa;
21
    struct Boy light;
22
}Together;

2.2 调试输出结构体大小#

1
(lldb) po sizeof(Misa)
2
24
3

4
(lldb) po sizeof(Light)
5
16
6

7
(lldb) po sizeof(Together)
8
56

2.3 思考#

奇怪了，Misa和Light，明明内存成员相同，怎么一个16，一个24呢？下面我们先了解一个东西：内存对齐

3.1 数据成员对齐规则#

• 第一个数据成员从偏移量为0的地方开始，占用该成员大小的字节。
  • 如Misa，以double开始，那么就是0-7
• 以后每个成员的存储起始位置都要从该成员大小或者成员的子成员大小的整数倍开始
  • 子成员，如：
    • 数组、结构体等

3.2 结构体作为成员对齐规则#

• 如果一个结构体A内，有结构体B作为成员。则该成员要从其内部最大元素大小的整数倍地址开始存储.

3.3 总大小对齐#

• 结构体总大小，必须是其内部最大成员的整数倍，不足要补齐。

4.1 Misa的结构#

• double
  • 8字节
  • 从0开始，占用0-7
• char
  • 1字节
  • 从1的整数倍开始，8满足条件，占用8
• int
  • 4字节
  • 从4的整数倍开始，上一个末位为8，那么先后找，就找从12开始，占用12-15
• short
  • 2字节
  • 从2的整数倍开始，上一个末位为15，那就从16开始，暂用16-17
• 总大小
  • 这些成员暂用了0-16共17个字节
  • 按照第三条对齐规则，向上取最大成员8的倍数，结果就是0-23，即24字节。和实际输出相同

4.2 Light的结构#

• double
  • 8字节
  • 从0开始，占用0-7
• int
  • 4字节
  • 从4的倍数开始，合适的是8，暂用8-11
• char
  • 1字节
  • 从1的倍数开始，合适的是12，占用12
• short
  • 2字节
  • 从2的倍数开始，合适的是14，占用14-15
• 总大小
  • 成员占用了0-15
  • 按照原则3，需要是最大成员8的倍数，即16字节。和实际输出相同

4.3 对比Light和Misa#

如此我们可以发现，对于结构体来说，内部成员的顺序直接影响了结构体占用的空间。

5.1 Together的外层结构#

由于比较长，Girl和Boy我们拿出来做

5.2 Girl#

从8的整数倍开始，即16

5.3 Boy#

从8的整数倍开始，即40

5.4 总size#

• 占用0-55
• 最大成员8，则Together总大小为56。与输出一致。

6.1 顺序影响大小，我们知道OC对象的本质就是结构体,那么是不是我们在开发的时候要算出最优解，再来排列成员呢？#

并不用，这里内部做了优化了的。后面我们会单独对这里进行研究。

6.2 做内存对齐的意义何在呢？#