免费注册 查看新帖 |

Chinaunix

  平台 论坛 博客 文库
最近访问板块 发新帖
查看: 2261 | 回复: 6
打印 上一主题 下一主题

[C++] 不解,一个极其简单的c++程序 [复制链接]

论坛徽章:
0
跳转到指定楼层
1 [收藏(0)] [报告]
发表于 2007-12-28 04:49 |只看该作者 |倒序浏览
t0.cpp:

#include <iostream>
#include <iomanip>
struct employee {
    short int cmplno;
    char name[20];
    float wage;
};
void HexDump(void* data, int length);
int main()
{
    employee emp = {
        123,
        "Andy Jones",
        32.43
};
HexDump(&emp, sizeof emp);
    return 0;
    }
void HexDump(void* data,int length)
{
    char* cp = (char*)data;
    for (int i = 0 ; i < length; i++) {
        if ((i%8)==0)
            std::cout << std::endl;
        unsigned int ch = * cp++ & 0xff;
        std::cout << std::setw(2)
                  << std::hex << ch << ' ';
    }
}


g++ t0.cpp -o t0.exe

运行
d:\code>t0

7b  0 41 6e 64 79 20 4a
6f 6e 65 73  0  0  0  0
0  0  0  0  0  0  0  0
52 b8  1 42

运行
d:\code>t0.exe

7b  0 41 6e 64 79 20 4a
6f 6e 65 73  0  0  0  0
0  0  0  0  0  0 3c 4f
52 b8  1 42

为什么同样的程序运行结果会不同呢?

论坛徽章:
1
荣誉版主
日期:2011-11-23 16:44:17
2 [报告]
发表于 2007-12-28 09:18 |只看该作者
你把employee的各成员的长度加起来,
然后和sizeof(employee)比一下,看有什么不同。
而你的结果中又有多少字节是不同的。

论坛徽章:
0
3 [报告]
发表于 2007-12-28 10:17 |只看该作者

回复 #1 adonais 的帖子

这个很正常啊,C++并没有定义对象的二进制存储规范,各种不同的编译器实现一般都是不一样的,所以你dump出来的内容肯定也不能保证是一样的。

如果C++对象是二进制兼容的,那么VC++编译出来的C++二进制类库就可以被g++使用,反过来也是如此。但是现实显然不是如此的。

论坛徽章:
0
4 [报告]
发表于 2007-12-28 14:08 |只看该作者
楼上说的有道理。支持

论坛徽章:
0
5 [报告]
发表于 2008-01-10 10:28 |只看该作者
迷惑:
winxp + VC6.0编译后多次运行结果一致,
solaris + Gcc34.3编译后多次运行结果一致.
我想是不是对齐的原因造成的?

论坛徽章:
0
6 [报告]
发表于 2008-01-12 20:26 |只看该作者
struct employee {
    short int cmplno;
    char name[20];
    float wage;
};

运行
d:\code>t0

7b  0 41 6e 64 79 20 4a
6f 6e 65 73  0  0  0  0
0  0  0  0  0  0  0  0
52 b8  1 42

运行
d:\code>t0.exe

7b  0 41 6e 64 79 20 4a
6f 6e 65 73  0  0  0  0
0  0  0  0  0  0 3c 4f
52 b8  1 42


这个可以对照数据结构分析。

short int 2bytes, 123 = 0x7b
char name[20] 20bytes,
而float型 4bytes, 但float型必须是以机器字长对齐的, 32位平台,必须4byte alignment的地址。
所以就有的2个padding bytes, 对于这padding bytes, 一般是不赋值的。
所以默认值一般就是内存中原来的值, 是个乱码。 而每次运行一般都分配到同一个地址, 所以这个padding byte的位置也不变。 但这是随机的, 你可以在emp变量前面定义一个大的变量,比如 int a[20]; 看看, 那个padding byte变量没有。

另外, 不同的编译器,和不同编译模式, 对堆栈的默认值的处理也是不同的。 有的debug模式编译出来的代码,分配时自动先把stack清0, 所以就是全0了, 还有些情况下, 比如以前的VC在x86平台上的debug模式, 分配stack的时候会全填充为 3F, 这个3F,便是"int 3"的assembly code,会使x86进入调试中断, 从而是VC获得控制, 变相的stack non executable,算是一种保护机制。

论坛徽章:
1
2015年辞旧岁徽章
日期:2015-03-03 16:54:15
7 [报告]
发表于 2008-01-12 20:37 |只看该作者
再强调一遍:
语义!
您需要登录后才可以回帖 登录 | 注册

本版积分规则 发表回复

  

北京盛拓优讯信息技术有限公司. 版权所有 京ICP备16024965号-6 北京市公安局海淀分局网监中心备案编号:11010802020122 niuxiaotong@pcpop.com 17352615567
未成年举报专区
中国互联网协会会员  联系我们:huangweiwei@itpub.net
感谢所有关心和支持过ChinaUnix的朋友们 转载本站内容请注明原作者名及出处

清除 Cookies - ChinaUnix - Archiver - WAP - TOP