Switch结构学习笔记
来源:互联网 发布:去掉下划线php 编辑:程序博客网 时间:2024/06/05 13:31
一、case 小于等于3项的情况
先看第一个程序段:
switch (nscore) { case 1: ntmpNum = 1; break; case 3: ntmpNum = 3; break; case 4: ntmpNum = 4; break; default: ntmpNum = 10; }printf("%d", ntmpNum); // 要调用一下ntmpNum,否则上面的switch会被优化掉OD载入,看一下:
00401013 >|. E8 0F010000 call 00401127 ; scanf00401018 |. 8B4424 08 mov eax, dword ptr [esp+8]0040101C |? 83C4 08 add esp, 8 ; 上面scanf是C类调用0040101F |? 48 dec eax ; 通过EAX的减法来判断属于哪个分支00401020 |? 74 1D je short 0040103F00401022 |. 83E8 02 sub eax, 200401025 \. 74 11 je short 0040103800401027 48 dec eax00401028 74 07 je short 004010310040102A B8 0A000000 mov eax, 0A0040102F EB 13 jmp short 00401044 ; break00401031 |. B8 04000000 mov eax, 400401036 |. EB 0C jmp short 0040104400401038 |? B8 03000000 mov eax, 30040103D |? EB 05 jmp short 004010440040103F |? B8 01000000 mov eax, 100401044 |. 50 push eax00401045 |? 68 38904000 push 00409038 ; ASCII "%d"这种情况跟if差不多,不多分析。
二、case项多于3项且有规律的情况
看第二段代码:
scanf("%d", &nscore);switch (nscore){case 3:ntmpNum = 1;break;case 1:ntmpNum = 3;break;case 5:ntmpNum = 4;break;case 9:ntmpNum = 4;break;case 7:ntmpNum = 4;break;case 11:ntmpNum = 4;break;default:ntmpNum = 10;}printf("%d", ntmpNum); // 要调用一下ntmpNum,否则上面的switch会被优化掉这段代码,我们将有规律的case打乱顺序,然后看编译器是怎么处理的。
OD中查看反汇编形式:
0040100E |. 68 38904000 push 00409038 ; ASCII "%d"00401013 |. E8 3F010000 call 00401157 ; scanf00401018 |. 8B4C24 08 mov ecx, dword ptr [esp+8]; 得到输入的内容0040101C |. 83C4 08 add esp, 80040101F |. 8D41 FF lea eax, dword ptr [ecx-1]; 输入的内容-1; Switch (cases 1..B)00401022 |. 83F8 0A cmp eax, 0A00401025 |. 77 1C ja short 0040104300401027 |. FF2485 641040>jmp dword ptr [eax*4+401064]; 查表,跳转到对应的CASE中0040102E |> B8 01000000 mov eax, 1 ; Case 3 of switch 0040101F00401033 |. EB 13 jmp short 0040104800401035 |> B8 03000000 mov eax, 3 ; Case 1 of switch 0040101F0040103A |. EB 0C jmp short 004010480040103C |> B8 04000000 mov eax, 4 ; Cases 5,7,9,B of switch 0040101F00401041 |. EB 05 jmp short 0040104800401043 |> B8 0A000000 mov eax, 0A ; Default case of switch 0040101F00401048 |> 50 push eax00401049 |. 68 38904000 push 00409038 ; ASCII "%d"0040104E |. E8 D3000000 call 00401126 ; printf跟随下这个表,我们发现,这个表就在调用它的函数后,如下:
跳转表:
00401064 00401035 switch.0040103500401068 00401043 switch.00401043 插入的是default分支的首地址0040106C 0040102E switch.0040102E00401070 00401043 switch.00401043 插入的是default分支的首地址00401074 0040103C switch.0040103C00401078 00401043 switch.00401043 插入的是default分支的首地址0040107C 0040103C switch.0040103C00401080 00401043 switch.00401043 插入的是default分支的首地址00401084 0040103C switch.0040103C00401088 00401043 switch.00401043 插入的是default分支的首地址0040108C 0040103C switch.0040103C认真对比一下这个表,发现,它先是对case后的常量排序,然后再将对应的处理代码的首地址写成一个表,通过jmp dword ptr [eax*4+401064] 查表直接进入到对应的case中。对于缺省的case(我们是间隔2递增的case)在表中填充的是default分支的首地址。
三、多于三项部分有规律的情况
上个我们发现,它会给缺省的case表项中填补default分支的首地址,那我们将这个间隔调大,观察一下编译器会怎么处理,代码段如下:
scanf("%d", &nscore); switch (nscore) { case 1: ntmpNum = 1; break; case 2: ntmpNum = 2; break; case 3: ntmpNum = 3; break; //这里丢失20多个case case 26: ntmpNum = 26; break; case 27: ntmpNum = 27; break; case 28: ntmpNum = 28; break; default: ntmpNum = 10; }printf("%d", ntmpNum); // 要调用一下ntmpNum,否则上面的switch会被优化掉反汇编观察一下:
0040100E 68 38904000 push 00409038 ; ASCII "%d"00401013 E8 6F010000 call 00401187 ; scanf00401018 8B4C24 08 mov ecx, dword ptr [esp+8] ; 得到输入的内容0040101C 83C4 08 add esp, 80040101F 8D41 FF lea eax, dword ptr [ecx-1] ; 输入的内容-100401022 83F8 1B cmp eax, 1B00401025 77 39 ja short 0040106000401027 33D2 xor edx, edx00401029 8A90 9C104000 mov dl, byte ptr [eax+40109C] ; 检索case的下标索引值表;它参与运算从地址表中找到对应的case地址0040102F FF2495 80104000 jmp dword ptr [edx*4+401080] ; 通过值表填充的CASE索引值,查地址表00401036 B8 01000000 mov eax, 10040103B EB 28 jmp short 00401065 ; break0040103D B8 02000000 mov eax, 200401042 EB 21 jmp short 0040106500401044 B8 03000000 mov eax, 300401049 EB 1A jmp short 004010650040104B B8 1A000000 mov eax, 1A00401050 EB 13 jmp short 0040106500401052 B8 1B000000 mov eax, 1B00401057 EB 0C jmp short 0040106500401059 B8 1C000000 mov eax, 1C0040105E EB 05 jmp short 0040106500401060 B8 0A000000 mov eax, 0A00401065 50 push eax00401066 68 38904000 push 00409038 ; ASCII "%d"下标索引表:
0040109C 00 DB 00 case 1的索引值0040109D 01 DB 01 case 2的索引值0040109E 02 DB 02 case 3的索引值0040109F 06 DB 06 下面全部填充default的索引值004010A0 06 DB 06...004010B4 06 DB 06004010B5 03 DB 03 case 4的索引值004010B6 04 DB 04 case 5的索引值004010B7 05 DB 05 case 6的索引值跳转地址表:
00401080 00401036 switch.0040103600401084 0040103D switch.0040103D00401088 00401044 switch.004010440040108C 0040104B switch.0040104B00401090 00401052 switch.0040105200401094 00401059 switch.0040105900401098 00401060 switch.00401060这样查两个表,缺省的case项在索引表中插入 default 的索引值,这样每个case项就节省了3个字节的空间。
mov dl, byte ptr [eax+40109C] // 40109C是索引表首地址jmp dword ptr [edx*4+401080] // 401080是跳转地址表的首地址。这样,就可以定位到对应的case项了。
我们继续增大这个case之间的差距,让它超过255,代码段如下:
00401018 8B4424 08 mov eax, dword ptr [esp+8] ; 得到输入的内容0040101C 83C4 08 add esp, 80040101F 3D 46010000 cmp eax, 146 ; 判断是不是大case中最小的00401024 7F 27 jg short 0040104D ; 如果大于,就进入大case中比较00401026 74 1E je short 00401046 ; 如果相等就直接进入0x146的case代码段00401028 48 dec eax ; 否则就到小的case段中比较。00401029 74 14 je short 0040103F0040102B 48 dec eax0040102C 74 0A je short 004010380040102E 48 dec eax0040102F 75 26 jnz short 00401057 ; default了。00401031 B8 03000000 mov eax, 300401036 EB 32 jmp short 0040106A00401038 B8 02000000 mov eax, 20040103D EB 2B jmp short 0040106A0040103F B8 01000000 mov eax, 100401044 EB 24 jmp short 0040106A00401046 B8 1A000000 mov eax, 1A0040104B EB 1D jmp short 0040106A0040104D 2D 47010000 sub eax, 147 ; 减去一个case项值,得到一个差值,这样就可以判断大case了。00401052 74 11 je short 0040106500401054 48 dec eax00401055 74 07 je short 0040105E00401057 B8 0A000000 mov eax, 0A0040105C EB 0C jmp short 0040106A0040105E B8 1C000000 mov eax, 1C00401063 EB 05 jmp short 0040106A00401065 B8 1B000000 mov eax, 1B0040106A 50 push eax0040106B 68 38904000 push 00409038 ; ASCII "%d"00401070 E8 B1000000 call 00401126看到了么?这里就分成了两段,每段当做if来处理的,我想应该是我们每段的case数量太少,我们让上面的case 数量大于3个试试,看看会不会是只要大于三项的有规律case就查表,少于等于3项的就当成if来处理。
代码段如下:
scanf("%d", &nscore); switch (nscore) { case 1: ntmpNum = 1; break; case 2: ntmpNum = 2; break; case 3: ntmpNum = 3; break; case 4: ntmpNum = 4; break; case 5: ntmpNum = 5; break; //这里丢失几个case case 326: ntmpNum = 326; break; case 327: ntmpNum = 327; break; case 328: ntmpNum = 328; break; default: ntmpNum = 10; } printf("%d", ntmpNum); // 要调用一下ntmpNum,否则上面的switch会被优化掉反汇编看下效果:
0040100E 68 38904000 push 00409038 ; ASCII "%d"00401013 E8 5F010000 call 00401177 ; scanf00401018 8B4424 08 mov eax, dword ptr [esp+8] ; 得到输入的内容0040101C 83C4 08 add esp, 80040101F 3D 46010000 cmp eax, 146 00401024 7F 39 jg short 0040105F00401026 74 30 je short 0040105800401028 48 dec eax00401029 83F8 04 cmp eax, 40040102C 77 3B ja short 004010690040102E FF2485 98104000 jmp dword ptr [eax*4+401098]00401035 B8 01000000 mov eax, 10040103A EB 40 jmp short 0040107C0040103C B8 02000000 mov eax, 200401041 EB 39 jmp short 0040107C00401043 B8 03000000 mov eax, 300401048 EB 32 jmp short 0040107C0040104A B8 04000000 mov eax, 40040104F EB 2B jmp short 0040107C00401051 B8 05000000 mov eax, 500401056 EB 24 jmp short 0040107C00401058 B8 46010000 mov eax, 1460040105D EB 1D jmp short 0040107C0040105F 2D 47010000 sub eax, 14700401064 74 11 je short 0040107700401066 48 dec eax00401067 74 07 je short 0040107000401069 B8 0A000000 mov eax, 0A0040106E EB 0C jmp short 0040107C00401070 B8 48010000 mov eax, 14800401075 EB 05 jmp short 0040107C00401077 B8 47010000 mov eax, 1470040107C 50 push eax0040107D 68 38904000 push 00409038 ; ASCII "%d"00401082 E8 BF000000 call 00401146跳转表如下:
00401098 00401035 switch.004010350040109C 0040103C switch.0040103C004010A0 00401043 switch.00401043004010A4 0040104A switch.0040104A004010A8 00401051 switch.00401051哈哈,不多说了,我们看下无规律的情况。
四、对于毫无规律的情况。
通过上个例子的分析,我们大概可以猜出来,编译器会择优选择查表,查双表来对部分离得比较近的case项作处理,最后才考虑毫无规律的情况,为了提高我们这次测试的成功率,我们让每个相邻的case项差值都超过255,为了避免switch当做if来处理,我们多写几个case,具体代码段如下:
scanf("%d", &nscore); switch (nscore) { case 1: ntmpNum = 1; break; case 300: ntmpNum = 300; break; case 570: ntmpNum = 570; break; case 830: ntmpNum = 830; break; case 1094: ntmpNum = 1094; break; case 1314: ntmpNum = 32; break; case 1614: ntmpNum = 1614; break; case 1894: ntmpNum = 1894; break; case 2199: ntmpNum = 2199; break; case 2578: ntmpNum = 2578; break; case 2800: ntmpNum = 2800; break; case 3178: ntmpNum = 3178; break; case 3568: ntmpNum = 3568; break; case 3856: ntmpNum = 3856; break; case 4212: ntmpNum = 4212; break; case 4679: ntmpNum = 4679; break; case 5050: ntmpNum = 5050; break; case 5486: ntmpNum = 5486; break; case 5797: ntmpNum = 5797; break; case 6089: ntmpNum = 6089; break; case 6713: ntmpNum = 6713; break; case 8425: ntmpNum = 8425; break; case 8973: ntmpNum = 8973; break; case 9545: ntmpNum = 9545; break; case 9987: ntmpNum = 9987; break; case 11254: ntmpNum = 11254; break; case 12489: ntmpNum = 12489; break; case 15798: ntmpNum = 15798; break; case 26874: ntmpNum = 26874; break; case 34721: ntmpNum = 34721; break; case 39681: ntmpNum = 39681; break; default: ntmpNum = 10; } printf("%d", ntmpNum); // 要调用一下ntmpNum,否则上面的switch会被优化掉反汇编结果:
0040100E |. 68 38A04000 push 0040A038 ASCII "%d"00401013 |. E8 EF020000 call 0040130700401018 |. 8B4424 08 mov eax, dword ptr [esp+8] ; 得到输入的内容0040101C |. 83C4 08 add esp, 80040101F |. 3D 47120000 cmp eax, 1247 ; 0x1247是case后常量中间的一个元素; Switch (cases 1..9B01)00401024 |. 0F8F 16010000 jg 00401140 ; 如果大于就比较0x25490040102A |. 0F84 06010000 je 00401136 ; 等于就跳到对应的case中00401030 |. 3D 66070000 cmp eax, 766 ; 如果小于就再跟766比较00401035 |. 0F8F 84000000 jg 004010BF ; 同上,遍历二叉树的方法……0040103B |. 74 78 je short 004010B50040103D |. 3D 3E030000 cmp eax, 33E00401042 |. 7F 3F jg short 0040108300401044 |. 74 33 je short 0040107900401046 |. 48 dec eax ; 用输入的数据依次减去某个CASE后的常量值,来判断是否为0……00401047 |. 74 26 je short 0040106F; 所以,看到这寄存器连续做减法运算应该就是这种switch的特征了吧……00401049 |. 2D 2B010000 sub eax, 12B0040104E |. 74 15 je short 0040106500401050 |. 2D 0E010000 sub eax, 10E00401055 |. 0F85 A9010000 jnz 004012040040105B |. B8 3A020000 mov eax, 23A ; Case 23A of switch 0040101F00401060 |. E9 B9010000 jmp 0040121E00401065 |> B8 2C010000 mov eax, 12C ; Case 12C of switch 0040101F0040106A |. E9 AF010000 jmp 0040121E0040106F |> B8 01000000 mov eax, 1 ; Case 1 of switch 0040101F00401074 |. E9 A5010000 jmp 0040121E00401079 |> B8 3E030000 mov eax, 33E ; Case 33E of switch 0040101F0040107E |. E9 9B010000 jmp 0040121E00401083 |> 3D 46040000 cmp eax, 44600401088 |. 74 21 je short 004010AB0040108A |. 3D 22050000 cmp eax, 5220040108F |. 74 10 je short 004010A100401091 |. 3D 4E060000 cmp eax, 64E00401096 |. 0F85 68010000 jnz 004012040040109C |. E9 7D010000 jmp 0040121E ; Case 64E of switch 0040101F004010A1 |> B8 20000000 mov eax, 20 ; Case 522 of switch 0040101F004010A6 |. E9 73010000 jmp 0040121E004010AB |> B8 46040000 mov eax, 446 ; Case 446 of switch 0040101F004010B0 |. E9 69010000 jmp 0040121E004010B5 |> B8 66070000 mov eax, 766 ; Case 766 of switch 0040101F004010BA |. E9 5F010000 jmp 0040121E004010BF |> 3D 6A0C0000 cmp eax, 0C6A004010C4 |. 7F 3E jg short 00401104004010C6 |. 74 32 je short 004010FA004010C8 |. 3D 97080000 cmp eax, 897004010CD |. 74 21 je short 004010F0004010CF |. 3D 120A0000 cmp eax, 0A12004010D4 |. 74 10 je short 004010E6004010D6 |. 3D F00A0000 cmp eax, 0AF0004010DB |. 0F85 23010000 jnz 00401204004010E1 |. E9 38010000 jmp 0040121E ; Case AF0 of switch 0040101F004010E6 |> B8 120A0000 mov eax, 0A12 ; Case A12 of switch 0040101F004010EB |. E9 2E010000 jmp 0040121E004010F0 |> B8 97080000 mov eax, 897 ; Case 897 of switch 0040101F004010F5 |. E9 24010000 jmp 0040121E004010FA |> B8 6A0C0000 mov eax, 0C6A ; Case C6A of switch 0040101F004010FF |. E9 1A010000 jmp 0040121E00401104 |> 3D F00D0000 cmp eax, 0DF000401109 |. 74 21 je short 0040112C0040110B |. 3D 100F0000 cmp eax, 0F1000401110 |. 74 10 je short 0040112200401112 |. 3D 74100000 cmp eax, 107400401117 |. 0F85 E7000000 jnz 004012040040111D |. E9 FC000000 jmp 0040121E ; Case 1074 of switch 0040101F00401122 |> B8 100F0000 mov eax, 0F10 ; Case F10 of switch 0040101F00401127 |. E9 F2000000 jmp 0040121E0040112C |> B8 F00D0000 mov eax, 0DF0 ; Case DF0 of switch 0040101F00401131 |. E9 E8000000 jmp 0040121E00401136 |> B8 47120000 mov eax, 1247 ; Case 1247 of switch 0040101F0040113B |. E9 DE000000 jmp 0040121E00401140 |> 3D 49250000 cmp eax, 254900401145 |. 7F 73 jg short 004011BA00401147 |. 74 6A je short 004011B300401149 |. 3D C9170000 cmp eax, 17C90040114E |. 7F 3E jg short 0040118E00401150 |. 74 32 je short 0040118400401152 |. 3D BA130000 cmp eax, 13BA00401157 |. 74 21 je short 0040117A00401159 |. 3D 6E150000 cmp eax, 156E0040115E |. 74 10 je short 0040117000401160 |. 3D A5160000 cmp eax, 16A500401165 |. 0F85 99000000 jnz 004012040040116B |. E9 AE000000 jmp 0040121E ; Case 16A5 of switch 0040101F00401170 |> B8 6E150000 mov eax, 156E ; Case 156E of switch 0040101F00401175 |. E9 A4000000 jmp 0040121E0040117A |> B8 BA130000 mov eax, 13BA ; Case 13BA of switch 0040101F0040117F |. E9 9A000000 jmp 0040121E00401184 |> B8 C9170000 mov eax, 17C9 ; Case 17C9 of switch 0040101F00401189 |. E9 90000000 jmp 0040121E0040118E |> 3D 391A0000 cmp eax, 1A3900401193 |. 74 17 je short 004011AC00401195 |. 3D E9200000 cmp eax, 20E90040119A |. 74 09 je short 004011A50040119C |. 3D 0D230000 cmp eax, 230D004011A1 |. 75 61 jnz short 00401204004011A3 |. EB 79 jmp short 0040121E ; Case 230D of switch 0040101F004011A5 |> B8 E9200000 mov eax, 20E9 ; Case 20E9 of switch 0040101F004011AA |. EB 72 jmp short 0040121E004011AC |> B8 391A0000 mov eax, 1A39 ; Case 1A39 of switch 0040101F004011B1 |. EB 6B jmp short 0040121E004011B3 |> B8 49250000 mov eax, 2549 ; Case 2549 of switch 0040101F004011B8 |. EB 64 jmp short 0040121E004011BA |> 3D B63D0000 cmp eax, 3DB6004011BF |. 7F 2E jg short 004011EF004011C1 |. 74 25 je short 004011E8004011C3 |. 3D 03270000 cmp eax, 2703004011C8 |. 74 17 je short 004011E1004011CA |. 3D F62B0000 cmp eax, 2BF6004011CF |. 74 09 je short 004011DA004011D1 |. 3D C9300000 cmp eax, 30C9004011D6 |. 75 2C jnz short 00401204004011D8 |. EB 44 jmp short 0040121E ; Case 30C9 of switch 0040101F004011DA |> B8 F62B0000 mov eax, 2BF6 ; Case 2BF6 of switch 0040101F004011DF |. EB 3D jmp short 0040121E004011E1 |> B8 03270000 mov eax, 2703 ; Case 2703 of switch 0040101F004011E6 |. EB 36 jmp short 0040121E004011E8 |> B8 B63D0000 mov eax, 3DB6 ; Case 3DB6 of switch 0040101F004011ED |. EB 2F jmp short 0040121E004011EF |> 3D FA680000 cmp eax, 68FA004011F4 |. 74 23 je short 00401219004011F6 |. 3D A1870000 cmp eax, 87A1004011FB |. 74 15 je short 00401212004011FD |. 3D 019B0000 cmp eax, 9B0100401202 |. 74 07 je short 0040120B00401204 |> B8 0A000000 mov eax, 0A ; Default case of switch 0040101F00401209 |. EB 13 jmp short 0040121E0040120B |> B8 019B0000 mov eax, 9B01 ; Case 9B01 of switch 0040101F00401210 |. EB 0C jmp short 0040121E00401212 |> B8 A1870000 mov eax, 87A1 ; Case 87A1 of switch 0040101F00401217 |. EB 05 jmp short 0040121E00401219 |> B8 FA680000 mov eax, 68FA ; Case 68FA of switch 0040101F0040121E |> 50 push eax0040121F |. 68 38A04000 push 0040A038 ; ASCII "%d"00401224 |. E8 AD000000 call 004012D6这个看起来很麻烦哦,仔细观察下,像是在遍历二叉树,又像是二分法排序,嘿嘿,可以看得出来这个是以最高效的方式找到相应的case项。
五、小结
通过上面几个小例子的分析,我对编译器处理switch结构的流程大概有了了解,对于一堆无规律的case,编译器会:
1、 先对case后的常量排序
2、 对小于3个相连的case常量仿照if结构(最迅速)
3、 对于多于三个的case相连或差距很小的case常量,它会创建跳转表,不存在的常量地址填补default段的首地址。(效率很高,不用每个项目都比较)
4、 对于间距小于255但也很大的case常量会再额外创建一个索引表,不存在的索引填补default索引。
(比方案3节省地址空间,效率不如3。)
5、 最后处理毫无规律且间距大于255的case项(最不效率)
0 0
- Switch结构学习笔记
- C#学习回顾笔记九:switch选择分支结构
- iOS学习笔记第3天——C基础:选择结构switch
- PHP学习笔记——多向条件分支结构switch子句;
- 11.5.30学习笔记(switch)
- 【C++学习笔记】switch语句
- java学习之switch选择结构
- java学习09--选择结构-switch语句
- Switch结构
- switch结构
- 【菜鸟C++学习笔记】15.switch语句
- JavaScript学习笔记-- The switch Statement
- 黑马学习笔记——switch
- PHP Switch 语句之学习笔记
- [javase学习笔记]-3.2 switch语句
- [学习笔记]if、switch 流程控制
- swift 学习笔记(16)-switch 语句
- Go丨语言学习笔记--switch
- 网站建设-网站设计怎么样做的更好?
- 软考-信息安全工程师-IP协议
- 面向对象编程思想的六大原则
- 关于web前端,css小技巧的笔记——图片动态比例显示
- pandas.Dataframe 的合并
- Switch结构学习笔记
- Android自定义Actionbar title字体
- 【算法作业11】LeetCode 70. Climbing Stairs
- 右值引用
- Java学习路线图
- Spring自动注入properties文件
- 软考-信息安全工程师-防火墙
- iOS开发-类库管理工具CocoaPods
- 【京东商城首页实战11】制作轮播图