C语言的隐式类型转换
看了一篇博文，该文章中有如下描述
1 #include <stdio.h>
2
3 int main()
4 {
5 unsigned short a = 1;
6 unsigned short b = 0;
7
8 if (a < (b-1)) //a和b-1的结果-1都被转换为int类型进行比较，1<-1，显然false
9 {
10 printf("in if\n");
11 }
12
13 return 0;
14
15 } 预期结果时打印“in if”，但实际运行时却发现啥都没有输出。改为如下代码就可以正常输出“in if”，此时与预期相符
1 #include <stdio.h>
2
3 int main()
4 {
5 unsigned short a = 1;
6 unsigned int b = 0;
7
8 if (a < (b-1)) //b-1的结果-1，被转换为0xffffffff，1<0xffffffff，显然true啊
9 {
10 printf("in if\n");
11 }
12
13 return 0;
14
15 } 使用汇编，直接对比两者结果（公司安全不让发送外网图片..），发现主要差异在如下5行，前四行中对short进行了扩展，由2字节扩展为4字节，高位填充0。导致运行结果与与预期不符合的原因就在第5行：jge 8048461
1 08048425 <main>:
2 8048425: 8d 4c 24 04 lea 0x4(%esp),%ecx
3 8048429: 83 e4 f0 and $0xfffffff0,%esp
4 804842c: ff 71 fc pushl -0x4(%ecx)
5 804842f: 55 push %ebp
6 8048430: 89 e5 mov %esp,%ebp
7 8048432: 51 push %ecx
8 8048433: 83 ec 14 sub $0x14,%esp
9 8048436: 66 c7 45 f6 01 00 movw $0x1,-0xa(%ebp)
10 804843c: 66 c7 45 f4 00 00 movw $0x0,-0xc(%ebp)
11 8048442: 0f b7 45 f6 movzwl -0xa(%ebp),%eax
12 8048446: 0f b7 55 f4 movzwl -0xc(%ebp),%edx
13 804844a: 83 ea 01 sub $0x1,%edx
14 804844d: 39 d0 cmp %edx,%eax
15 804844f: 7d 10 jge 8048461 <main+0x3c>
16 8048451: 83 ec 0c sub $0xc,%esp
17 8048454: 68 00 85 04 08 push $0x8048500
18 8048459: e8 a2 fe ff ff call 8048300 <puts@plt>
19 804845e: 83 c4 10 add $0x10,%esp
20 8048461: b8 00 00 00 00 mov $0x0,%eax
21 8048466: 8b 4d fc mov -0x4(%ebp),%ecx
22 8048469: c9 leave
23 804846a: 8d 61 fc lea -0x4(%ecx),%esp
24 804846d: c3 ret
25 804846e: 66 90 xchg %ax,%ax汇编中的数值是没有符号之分的，但指令是有符号分别的，上述使用的jge即是有符号比较的方式，导致比较结果为：if (1<-1)，为false，不会打印字符串
指令 | 含义 | 运算符号 |
|---|---|---|
jbe | unsigned below or equal (lower or same) | <= |
jae | unsigned above or equal (higher or same) | >= |
jb | unsigned below (lower) | < |
ja | unsigned above (higher) | > |
jle | signed less or equal | <= |
jge | signed greater or equal | >= |
jl | signed less than | < |
jg | signed greater than | > |
本文参与 腾讯云自媒体分享计划，分享自作者个人站点/博客。
原始发表：2018-03-20 ，如有侵权请联系 cloudcommunity@tencent.com 删除
评论
登录后参与评论
推荐阅读