大神洗礼第三讲——接上一讲
大神洗礼第三讲——接上一讲
Author：bakari Date:2012.10.26
这一讲的主要内容和上一讲相同，是上一讲的深入分析。内存对齐涉及内存实现的细节，复杂声明是对指针的深入理解，这些内容平时用到很少，学习之益于开拓思维，达到宏观调控自己的知识结构。
1、对于内存对齐上一讲没有提到计算的方法，其实上一讲的内容足以解决如何计算的问题，但有个规律或许会更容易计算。下面是概况出来的规律：
< 1 >、编译器默认对齐的字节：8字节，对齐字节数只能选2^n（一般不超过16字节） 在程序中用#pragma back( X ) ……. #pragma pop()来转换。
< 2 >、单个成员变量的自身对齐位：min（默认对齐位，本身所占字节数）
< 3 >、结构体的有效对齐位：该结构体（或union或class）的成员变量中， min（最大所占位数，默认对齐位） 其中< 2 >可以不考虑，< 3 >是考虑的关键
< 4 >、除以上3点外，还要考虑一个关键特性：圆整。
何为圆整？每个变量所占字节数之和与 < 3 >中的有效对齐位求模，如若为0，则不作改变，否则，系统自动以 CC 作为填充，以保证对齐。
E.g：具体看下面的几个例子：
1 struct Test {
2 char szA[5];
3 double dB;
4 int iC;
5 char cD;
6 };编译器的默认对齐位是:8 即#pragma back (8)，结构体最大的成员变量是dB，占8个字节，所以结构体的有效对齐位是 8. 通过上面三条规则，可以得出：sizeof（Test）= 5 + 3cc + 8 + 4 + 1 + 3cc = 24; 内存布局：
< 2 >、将double dB 改为int iB；
1 struct Test {
2 char szA[5];
3 int iB;
4 int iC;
5 char cD;
6 };同理，sizeof（Test） = 5 + 3cc + 4 + 4 + 1 + 3 cc = 20; 内存布局：
< 3 >较为复杂，道理一样，分开看
1 struct AX {
2 void *pC;
3 char cA;
4 char szBuf[3];
5 int iB;
6 void *p;
7 };
8
9 union BX {
10 double dA;
11 int iB
12 };
13
14 struct xTest {
15 int iA;
16 int iB;
17 char cC;
18 void *pD;
19 char *pVoid;
20 AX objAX;
21 BX objBX;
22 char cE;
23 double dF;
24 };直接看内存布局：（sizeof（xTest） = 64）
2、复杂声明我就不多讲了，想了解的朋友可以去看我的另一篇文章：https://cloud.tencent.com/developer/article/1017820
这里我们来点刺激的，将复杂声明的语句用机器打印出来，换句话说不是你来说，而是交给机器来显示：（关于这一点The C programming language一书有讲）
我们直接看代码：（只显示三个主要的函数）
1 int gettoken(void)
2 {
3 char c;
4 char *p = token;
5
6 while ((c = getch()) == ' ' || c == '\t');
7 if (c == '(') {
8 if ((c = getch()) == ')') {
9 strcpy(token, "()");
10 return tokentype = PARENS;
11 }
12 else {
13 ungetch(c);
14 return tokentype = '(';
15 }
16 }
17 else if (c == '[') {
18 for (*p ++ = c; (*p ++ = getch()) != ']'; );
19 *p = '\0';
20 return tokentype = BRACKETS;
21 }
22 else if (isalpha(c)) {
23 for (*p ++ = c; isalnum(c = getch()); )
24 *p ++ = c;
25 *p = '\0';
26 ungetch(c);
27 return tokentype = NAME;
28 }
29 else
30 return tokentype = c;
31 }
32
33 void dcl (void)
34 {
35 int ns;
36 for( ns = 0; gettoken() == '*'; )
37 ns ++;
38 dirdcl();
39 while (ns -- > 0)
40 strcat(out, " pointer to");
41 }
42
43 void dirdcl(void)
44 {
45 int type;
46
47 //void parmdcl(void);
48 if (tokentype == '(') {
49 dcl();
50 if (tokentype != ')')
51 errmsg("ERROR!:missing ) \n");
52 //printf("ERROR!:missing ) \n");
53 }
54 else if (tokentype == NAME) {
55 //if (name[0] == '\0')
56 strcpy(name, token);
57 }
58 else
59 //errmsg("ERROR: expected name or (dcl) \n");
60 prevtoken = YES;
61 while ((type = gettoken()) == PARENS || type == BRACKETS || type == '(') {
62 if (type == PARENS)
63 strcat (out, " function returning");
64 else if (type == '(') {
65 strcat(out , "function expecting");
66 parmdcl();
67 strcat(out, " and returning");
68 }
69 else {
70 strcat(out, " array");
71 strcat(out, token);
72 strcat(out, " of");
73 }
74 }
75 }