笔试题

EMC
3. 补充语句，使下面程序 if 判断语句始终为真，不能改动 if 判断语句，即只能在之前加语句

if ((*f = 0)||(void *)f == (void *)&f)
{
  /* statements always executed*/
}

 

答： *f=0 返回 0 值，因此要想 if 始终为真，则要求 (void *)f == (void *)&f 始终返回 1 ，

即 (void *)f 和 (void *)&f 总是相等。所以可以添加 inf f[10]; 在 if 之前。

       对指针进行加 1 操作，得到的是下一个元素的地址。所以一个类型为 T 的指针的移动，以 sizeof(T) 为移动单位。

       &a+1 取数组 a 的首地址，该地址需要加上 sizeof(a) 的值，即 &a+5*sizeof(int) ，也就是下一个数组的首地址，显然当前指针已经越过了数组的界限。

       a[10] 中， a 和 &a 的值一样，但意思不一样， a 是数组元素的首地址，即 a[0] 的地址； &a 是数组的首地址； a+1 是 a[1] 的地址而 &a+1 是下一个数组的首地址。

 

完美时空

5. 定义一个结构体，来表示以下文件头结构

域名称 地址偏移 占用字节

文件名 0x0000     4

文件大小 0x0004   2

数据量大小 0x0006    4

x 坐标 0x0010    2

y 坐标 0x0012    2

 

答：此题考察内存的 4 字节对齐问题。

字节对齐的细节和编译器实现相关，但一般而言，满足三个准则：

1) 结构体变量的首地址能够被其最宽基本类型成员的大小所整除；

2) 结构体每个成员相对于结构体首地址的偏移量（ offset ）都是成员大小的整数倍，如有需要编译器会在成员之间加上填充字节（ internal adding ）；

3) 结构体的总大小为结构体最宽基本类型成员大小的整数倍，如有需要编译器会在最末一个成员之后加上填充字节（ trailing padding ）。