Chinaunix首页 | 论坛 | 博客
  • 博客访问: 257468
  • 博文数量: 52
  • 博客积分: 406
  • 博客等级: 一等列兵
  • 技术积分: 549
  • 用 户 组: 普通用户
  • 注册时间: 2012-04-21 12:34
个人简介

......

文章分类

全部博文(52)

文章存档

2014年(1)

2013年(32)

2012年(19)

我的朋友

分类: LINUX

2013-09-28 16:58:29

作者:gfree.wind@gmail.com
博客:linuxfocus.blog.chinaunix.net
   

  1. #include
  2. #include
  3. #include

  4. typedef struct padding_type {
  5.     short m1;
  6.     int m2;
  7. } padding_type_t;

  8. int main()
  9. {
  10.     padding_type_t a = {
  11.         .m1 = 0,
  12.         .m2 = 0,
  13.     };
  14.     padding_type_t b;

  15.     memset(&b, 0, sizeof(b));

  16.     if (0 == memcmp(&a, &b, sizeof(a))) {
  17.         printf("Equal!\n");
  18.     }
  19.     else {
  20.         printf("No equal!\n");
  21.     }

  22.     return 0;

  23. }
大家想一想,结果是什么?
  1. laptop:~/works/test$ gcc -g test.c
  2. laptop:~/works/test$ ./a.out
  3. No equal! 
为什么是这样呢?其实有经验的开发都会立刻反应到,这是由于对齐造成的。
没 错,就是因为struct padding_type->m1的类型是short型,而m2的类型是int型,根据自然对齐的原则。padding_type的每个成员需要对 齐到4字节。因此编译器会在m1后面插入2个padding字节,而padding的字节的值是随机的。也就是说a中的padding 字节的值是随机的,而b中的padding则被清零。所以当使用memcmpy去比较这两个结构体时,返回值是不等。

从这个例子,我们要记住,在对结构体进行比较时,不要使用字节比较,如memcmp。除非你人为保证了这些对齐的padding字节被清零了。否则,会得到意想不到的结果。

阅读(1386) | 评论(0) | 转发(0) |
给主人留下些什么吧!~~