C函数参数类型提升
来源:互联网 发布:kali linux有什么用 编辑:程序博客网 时间:2024/05/17 23:54
曾看到printf的一道题,挺有意思,记录一下。
float value = 1.0;
printf("value_int = %d/n", value);
printf("value_float = %f/n", value);
应该输出什么?乍看这个题,很简单,浮点数1.0在内存中的存储形式是0x3f800000。float型在内存中占4Byte, int型也占4字节,按说就直接输出0x3f800000的十进制形式就可以呗。
谁知道一运行大跌眼镜,打印信息:
value_int = 0
value_float = 1.0
怎么回事?
使用gcc -S的参数把.c程序变成.s的汇编语言程序。我们可以看到:
flds -8(%ebp)
fstpl 4(%esp)
movl $.LC1, (%esp)
call printf
其中value的值被存在-8(%ebp)处,.LC1处存储"value = %d/n"字符串。
flds 指令意为把单精度value的值放入FPU的st7寄存器(64bit)中,此时st7中的值为0x3f80000000000000
接着fstpl 指令把FPU的寄存器中的值以双精度的形式出栈,并存储在4(%esp)处。即(%esp+4)中的值为0x00000000, (%esp+8)值为0x3f800000.
调用printf时,由于指定打印方式是%d,故printf只读取(%esp+4)的四个字节并把它们解释为十进制整形--0,而不会顾及到(%esp+8)的正确值0x3f800000。
你可能还会纳闷,float同样在内存中只占4个字节,为什么指定%f时不会出错?答案就是如果你指定printf输出参数为%f,那么printf在内存中读取8字节,而不是仅仅是低地址的4 Byte. 写一段程序测试一下便知:
int main()
{
int a=1, b=2, c=3;
printf("%f, %d/n", a,b,c);
return 0;
}
输出结果:
0.00000, 3
故可知,%f其实读取的是8 byte, 只不过a, b在转化成float型的时候,都因为值太小而被当作0.00000输出。
- C函数参数类型提升
- C函数参数类型提升 --- float类型
- C语言函数类型提升问题
- C语言可变长参数函数与默认参数提升
- C语言可变长参数函数与默认参数提升
- C语言可变长参数函数与默认参数提升
- C语言可变长参数函数与默认参数提升
- 弱类型?C语言参数提升带来的一个陷阱
- C类型提升
- C类型提升
- C的“类型提升”
- C的“类型提升”
- C语言 类型提升
- C语言类型提升
- 函数调用中的类型转换 c提升规则
- C语言main函数的参数类型
- C 语言可变参数类型函数
- c++:结构体类型作为函数参数
- 111 History Grading
- 常用的正则表达式(转)
- flex4兼容flex3
- 移植MiniGUI的调试记录
- spring入门了解
- C函数参数类型提升
- Recommended order of a field's mutiple modifiers
- 如何预测用户query意图
- spawn-fcgi与fcgi的运行机制分析
- 黑莓9000通过数据线不能写文件问题的解决
- 深度剖析C#序列化和反序列化
- 初来乍到,多多关照~
- 【调试】VS2010中的调试技巧(1)
- Default initial value of a field